{"entities":{"Q4939537":{"pageid":6969119,"ns":120,"title":"Item:Q4939537","lastrevid":47444164,"modified":"2026-01-01T18:42:57Z","type":"item","id":"Q4939537","labels":{"en":{"language":"en","value":"Synthesis and transformation of logic programs using unfold/fold proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1399929"}},"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":"Q4939537$71CDFAFE-6BF0-4C40-A897-50044B43822C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d85ebcc1e4dc00a1ea2fef04e1716972539280cc","datavalue":{"value":{"text":"Synthesis and transformation of logic programs using unfold/fold proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4939537$2D8A1107-D23F-4000-A6C1-A204E8CB0156","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ed89215ebeedba55e0ce3a84a864fa17b6e1224","datavalue":{"value":"0944.68024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939537$27159DF6-F001-4E87-B0F1-08C3328808AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5db372e9a0b48f00984502b8f0c1aa80d65471a0","datavalue":{"value":"10.1016/S0743-1066(99)00029-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939537$3EBAAA6F-919D-4134-973E-D737D2F4C94D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939537$3E68B0A6-9404-4632-9902-D6CE73D915A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939537$952629F3-161B-471E-8F37-18E9AFD99095","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4939537$387CC280-54D3-4D0A-AFF6-7182CF853524","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c18056b37955dade89582792d7a4ac307de9148","datavalue":{"value":{"time":"+2000-02-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4939537$86EF8821-4580-4AAE-9C64-9DBF496B807B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939537$A2C1CEBC-CAF0-4BF1-BEE6-88AF9FA94214","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faa078e997745b91577860a20bb9e21743261548","datavalue":{"value":"1399929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939537$850B9AD2-CFE7-4BA6-8C28-3A1A323ED46E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05c053f89f0201d48f26f090ab4435e40ab8adc8","datavalue":{"value":"unfold/fold proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4939537$70E587A0-910E-403F-9A3F-B0E434012142","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":"Q4939537$C0D74535-EBE4-4A50-BE86-4E2CFCE8AE60","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3d47170383ea8efb33f9465c23e87ef784a211b2","datavalue":{"value":"Q127087544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4939537$80861469-9423-4B40-B3F5-C5218968A238","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e640e0b096b62fb7b7b757a42951d65f787da9","datavalue":{"value":{"entity-type":"item","numeric-id":5688888,"id":"Q5688888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57d2627d5d0014f3906eadb681612814ec1c2bcb","datavalue":{"value":{"amount":"+0.8218502402305603","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":"Q4939537$2891E0E2-EBF7-41CD-9F1C-815A04022B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5ec45cd783268f4a3421b25f46f7d2ad5f8af7","datavalue":{"value":{"entity-type":"item","numeric-id":1314418,"id":"Q1314418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9732d9fa1ec38568b8ba06c6f1959bd5e3cd9011","datavalue":{"value":{"amount":"+0.8200430274009705","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":"Q4939537$C57CE9DC-AB5D-445C-94A9-411FE848556B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323da5be1cd32b10efb198a86740427d123e78ed","datavalue":{"value":{"entity-type":"item","numeric-id":2865083,"id":"Q2865083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b91cfa19da70fc4d46707a86462d82af4d8e16e","datavalue":{"value":{"amount":"+0.811869204044342","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":"Q4939537$56A62FB4-8C98-4640-AC00-493FD9E5865C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05fe193fbdfe5e591507789b05eeded8bd3a35b4","datavalue":{"value":{"entity-type":"item","numeric-id":1200980,"id":"Q1200980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ca8de9b9cc954751bfa55bc795ee8614355495a","datavalue":{"value":{"amount":"+0.8114627599716187","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":"Q4939537$1835C13C-42C8-40E9-AC98-5D9F777E00B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baa0233ae7f3a7c620cd55255eb26b5f92288480","datavalue":{"value":{"entity-type":"item","numeric-id":3830520,"id":"Q3830520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db4942103a47128c068ee28176108a698c59529","datavalue":{"value":{"amount":"+0.8073720932006836","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":"Q4939537$30EADE0B-F25F-4DE3-9705-C316110E729D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4939537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4939537"}}}}}