{"entities":{"Q4015152":{"pageid":6044946,"ns":120,"title":"Item:Q4015152","lastrevid":55183006,"modified":"2026-02-04T13:02:34Z","type":"item","id":"Q4015152","labels":{"en":{"language":"en","value":"Unfold/fold transformations of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 79243"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015152$429E1DD6-7B8E-43AA-B72F-6F16A6B20BE6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9491ca0c77425b2ea921f529f10568287da62641","datavalue":{"value":{"text":"Unfold/fold transformations of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4015152$81D63115-C862-4F11-8D20-45F3354DA564","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b60c2f8275832453fd6ada28c862daa37d6173c","datavalue":{"value":"0749.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015152$BF5E4A71-7072-4478-8EF1-9C6F16A19A85","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b2ade4c3309273a8b2abc7f465c5de582987d1e7","datavalue":{"value":"10.1017/S0960129500001419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015152$152EB5D1-950D-472E-96AD-B290CC703026","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015152$DB251F5A-04DC-46FC-9097-C87FC659C246","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e5cafb6badc877b48cbd5258713fee782f99abf4","datavalue":{"value":{"time":"+1992-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4015152$8FE647FD-3226-4294-B893-889C8BB19A33","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015152$2EDAB127-2C2F-4D10-88AF-50656FD3611F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015152$AB80B74F-AE0A-41FE-8DBF-AE7EAACDEFF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"419e1de4b6371b86c30ef1d036dc1393a3d0095b","datavalue":{"value":"79243","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4015152$1C8BF1D8-13CE-4E94-B0CB-40C7B8DD0492","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015152$5C8C955D-3BF7-4ADD-BFD6-6B5B74A5103E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7ea2e6aa486885877954e235576f4a5fbbab368","datavalue":{"value":"same success set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015152$E12E1B5F-F8CF-48C0-82C0-A27A43DBF2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6efe618e9dc96f8b5d3e2c8db712e1f01edf4e18","datavalue":{"value":"finite failure set","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015152$BFAA7FF6-1472-4E80-B776-3A1EA39D8527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3760fe679ea5c39273b469524ef822f4314e8255","datavalue":{"value":"least Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015152$30C9F8A4-FB10-4FF6-9F70-0F0EB4801D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bd2b411df4ec5da5d4932208cc92c897b0a58e1","datavalue":{"value":"complementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015152$5BA6681C-C042-40C6-8FFE-AC3F84D9028F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015152$8199473A-D1D8-4E4E-AE8F-AFF0254B506C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"856d39441439c9ba1a009a39c01f9293685c715f","datavalue":{"value":"folding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4015152$73F83A4E-D696-4CF0-B159-F9E6330DBEB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c85264f8b354889753fca623f6e4dac99319a70","datavalue":{"value":{"entity-type":"item","numeric-id":1254850,"id":"Q1254850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015152$CDFD09A2-2037-4485-8A2A-04C27F9BEC09","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015152$0017AE94-A1AF-4FFD-9A47-8D613CA5656F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4aacb26a2f6eb48ad6441a165669579076c7401","datavalue":{"value":{"entity-type":"item","numeric-id":3916005,"id":"Q3916005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015152$399245B6-D1A6-4FD2-94B9-A7B2BD7EEEE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015152$68DFF91F-3AB6-43D3-9916-C4C1CF03C3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b26b52e432dbd456c2997e91926441e72642f519","datavalue":{"value":{"entity-type":"item","numeric-id":3206282,"id":"Q3206282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015152$3A29CDB2-C9D3-4CB1-B518-BF4660800B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e85cd0f6b188ab1c1b71db2a56555536feb7268","datavalue":{"value":{"entity-type":"item","numeric-id":1216171,"id":"Q1216171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015152$0E584B76-DEFA-4BB3-847C-AE8C3E63059B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606b55142cd4468a9a74e0ea3982d2b3991333cb","datavalue":{"value":{"entity-type":"item","numeric-id":3992908,"id":"Q3992908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4015152$3AE42809-E6CC-44A7-B8B0-B53B0610294F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba3da6a37d3581b6e1e63394cd02fa6779cb08a3","datavalue":{"value":{"entity-type":"item","numeric-id":5286915,"id":"Q5286915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a4b8f53ad334178e5a1ee3cc25871167be5048b","datavalue":{"value":{"amount":"+0.861188530921936","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4015152$35A66C56-C70C-4CBC-A354-2FC70457B786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fd969b5fc7f97a2b5042f32c27d3b98479b4a6d","datavalue":{"value":{"entity-type":"item","numeric-id":3021960,"id":"Q3021960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5467b0704a0df991c0f541f76f5e19549d068d2d","datavalue":{"value":{"amount":"+0.8488049507141113","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4015152$F448B455-9A59-4E44-80A7-47CCA7655427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8c9595ff9c2620074ae5ff7ad2665b1a026b43","datavalue":{"value":{"entity-type":"item","numeric-id":1177929,"id":"Q1177929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8446fcc9e7e915b99c90c19c2b4f8e4d1f9a7574","datavalue":{"value":{"amount":"+0.8483145236968994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4015152$23FEEA11-93AE-4620-940F-C9F2B1F545B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430fd0482eb849f118395adb9fd09baf288afd93","datavalue":{"value":{"entity-type":"item","numeric-id":3698293,"id":"Q3698293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ab3f53b761e6e1d3222d6547c2357677e81efaa","datavalue":{"value":{"amount":"+0.8477702736854553","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4015152$A259BE5E-D1E0-4B71-8973-63F93B11130A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63910f2f446b7fa086e16d5930d4930a5f04c87d","datavalue":{"value":{"entity-type":"item","numeric-id":915479,"id":"Q915479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"594173496ec53f854370065833691fe9e1f40fe1","datavalue":{"value":{"amount":"+0.8433398008346558","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4015152$0075648B-6752-4A02-A048-73C22149707C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4015152","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4015152"}}}}}