{"viewingHint":"paged","attribution":"Universit\u00e4tsbibliothek","service":[],"structures":[{"ranges":["https://digital.ub.uni-paderborn.de/i3f/v20/42004/range/1577634","https://digital.ub.uni-paderborn.de/i3f/v20/42004/range/1577636","https://digital.ub.uni-paderborn.de/i3f/v20/42004/range/1577638","https://digital.ub.uni-paderborn.de/i3f/v20/42004/range/1577640","https://digital.ub.uni-paderborn.de/i3f/v20/42004/range/1577642"],"viewingHint":"top","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/range/42004","@type":"sc:Range","label":"Table of Contents"},{"canvases":["https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577635"],"@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/range/1577634","@type":"sc:Range","label":"Seite 2 "},{"canvases":["https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577637"],"@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/range/1577636","@type":"sc:Range","label":"Seite 3 "},{"canvases":["https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577639"],"@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/range/1577638","@type":"sc:Range","label":"Seite 4 "},{"canvases":["https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577641"],"@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/range/1577640","@type":"sc:Range","label":"Seite 5 "},{"canvases":["https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577643"],"@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/range/1577642","@type":"sc:Range","label":"Seite 6 "}],"sequences":[{"canvases":[{"height":2338,"width":1587,"images":[{"resource":{"service":{"profile":"http://iiif.io/api/image/2/level2.json","@context":"http://iiif.io/api/image/2/context.json","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/1577633"},"format":"image/jpeg","height":1473,"width":1000,"@id":"https://digital.ub.uni-paderborn.de/download/webcache/1000/1577633","@type":"dctypes:Image"},"on":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577633","motivation":"sc:painting","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/annotation/1577633","@type":"oa:Annotation"}],"label":"[1]","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577633","@type":"sc:Canvas"},{"height":2338,"width":1587,"images":[{"resource":{"service":{"profile":"http://iiif.io/api/image/2/level2.json","@context":"http://iiif.io/api/image/2/context.json","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/1577635"},"format":"image/jpeg","height":1473,"width":1000,"@id":"https://digital.ub.uni-paderborn.de/download/webcache/1000/1577635","@type":"dctypes:Image"},"on":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577635","motivation":"sc:painting","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/annotation/1577635","@type":"oa:Annotation"}],"label":"[2]","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577635","@type":"sc:Canvas"},{"height":2338,"width":1587,"images":[{"resource":{"service":{"profile":"http://iiif.io/api/image/2/level2.json","@context":"http://iiif.io/api/image/2/context.json","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/1577637"},"format":"image/jpeg","height":1473,"width":1000,"@id":"https://digital.ub.uni-paderborn.de/download/webcache/1000/1577637","@type":"dctypes:Image"},"on":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577637","motivation":"sc:painting","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/annotation/1577637","@type":"oa:Annotation"}],"label":"[3]","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577637","@type":"sc:Canvas"},{"height":2338,"width":1587,"images":[{"resource":{"service":{"profile":"http://iiif.io/api/image/2/level2.json","@context":"http://iiif.io/api/image/2/context.json","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/1577639"},"format":"image/jpeg","height":1473,"width":1000,"@id":"https://digital.ub.uni-paderborn.de/download/webcache/1000/1577639","@type":"dctypes:Image"},"on":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577639","motivation":"sc:painting","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/annotation/1577639","@type":"oa:Annotation"}],"label":"[4]","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577639","@type":"sc:Canvas"},{"height":2338,"width":1587,"images":[{"resource":{"service":{"profile":"http://iiif.io/api/image/2/level2.json","@context":"http://iiif.io/api/image/2/context.json","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/1577641"},"format":"image/jpeg","height":1473,"width":1000,"@id":"https://digital.ub.uni-paderborn.de/download/webcache/1000/1577641","@type":"dctypes:Image"},"on":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577641","motivation":"sc:painting","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/annotation/1577641","@type":"oa:Annotation"}],"label":"[5]","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577641","@type":"sc:Canvas"},{"height":2338,"width":1587,"images":[{"resource":{"service":{"profile":"http://iiif.io/api/image/2/level2.json","@context":"http://iiif.io/api/image/2/context.json","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/1577643"},"format":"image/jpeg","height":1473,"width":1000,"@id":"https://digital.ub.uni-paderborn.de/download/webcache/1000/1577643","@type":"dctypes:Image"},"on":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577643","motivation":"sc:painting","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/annotation/1577643","@type":"oa:Annotation"}],"label":"[6]","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577643","@type":"sc:Canvas"}],"viewingHint":"paged","startCanvas":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/canvas/1577633","viewingDirection":"left-to-right","label":"Current Page Order","@context":"http://iiif.io/api/presentation/2/context.json","@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/sequence/normal","@type":"sc:Sequence"}],"label":"An inference engine for function free logic programs","thumbnail":{"width":304,"height":447,"@id":"https://digital.ub.uni-paderborn.de/i3f/v21/1577633/full/304/0/default.jpg","@type":"dctypes:Image","format":"image/jpeg"},"logo":{"@id":"https://digital.ub.uni-paderborn.de/domainresource/static/graphics/connectors/viewerLogo.gif","service":{"profile":"http://iiif.io/api/image/2/level2.json","@context":"http://iiif.io/api/image/2/context.json","@id":"http://www.ub.uni-paderborn.de/"}},"@context":"http://iiif.io/api/presentation/2/context.json","metadata":[{"value":"An inference engine for function free logic programs","label":"Titel"},{"value":"B\u00f6ttcher, Stefan","label":"Autor"},{"value":"Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, Hemdon, Virginia, 1990, S. 885-890","label":"Enthalten in"},{"value":"2009","label":"Entstehung"},{"value":"Englisch","label":"Sprache"},{"value":"Aufsatz in einem Sammelwerk","label":"Dokumenttyp"},{"value":"0-8186-2084-6","label":"ISBN"},{"value":"urn:nbn:de:hbz:466:2-4242","label":"URN"}],"@id":"https://digital.ub.uni-paderborn.de/i3f/v20/42004/manifest","@type":"sc:Manifest","seeAlso":{"format":"application/xml","@id":"https://digital.ub.uni-paderborn.de/oai?verb=GetRecord&metadataPrefix=mets&identifier=42004","label":"METS"}}