{"entities":{"Q915479":{"pageid":917327,"ns":120,"title":"Item:Q915479","lastrevid":49389151,"modified":"2026-01-07T02:05:53Z","type":"item","id":"Q915479","labels":{"en":{"language":"en","value":"Preservation of stronger equivalence in unfold/fold logic program transformation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4151844"}},"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":"Q915479$DCD6BF11-2E11-40E0-93EE-D8E774AED698","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8336c6f53e1b859dde72b2dc36772f5279dd4ff","datavalue":{"value":{"text":"Preservation of stronger equivalence in unfold/fold logic program transformation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915479$54EFBA2D-B2C4-4843-B193-EC84286A1322","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb138d7f0893f1b4fafff9232d834430964e3771","datavalue":{"value":"0702.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915479$824AF867-AF5E-4A2A-AE23-2A4327BC082B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ddb67e73de9fc1186747fe543840c5315a5f140","datavalue":{"value":"10.1016/0304-3975(90)90065-P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915479$9A51FDDA-F92A-41F3-814D-65F715C9D08B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3871cfb3e3ea0e6bb661db0e6355827d876a7e24","datavalue":{"value":{"entity-type":"item","numeric-id":915477,"id":"Q915477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915479$E70600E6-0BDB-4408-A4C1-51765FB8B7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f468c70d224827fefee70639fa02168462f5456e","datavalue":{"value":{"entity-type":"item","numeric-id":915478,"id":"Q915478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915479$DE043FA3-BCBE-48F5-8F2D-678F1DE6B0B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915479$64C3D207-FB5F-4895-85F8-853F5BD5B7A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q915479$D64B746F-0009-484A-92E8-305591616795","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915479$477AB55D-D946-47E2-B2DC-8F9204999F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915479$493FD07D-F296-484B-85A2-B24A713652B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915479$CB904ED3-5608-4E1B-A182-EF987B623E3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fa8c1922c9456c89d80ae4492d5cfc61cf8d4c57","datavalue":{"value":"4151844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915479$ED5196C0-B837-4116-8FDC-17EF162723B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbff8f03116ac62cf7e2d9cc2988d21dd31f9a83","datavalue":{"value":"logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q915479$C600D6EE-4244-4D2F-BDBE-17FE55D2705A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q915479$87D57052-2925-403A-AE0E-34B5C7510B22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q915479$0A296E63-D4DF-498C-8540-A32417D57977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"878f776ed35cc5d9aa218e7d87f4a816e3e0eca3","datavalue":{"value":"unfold/fold transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q915479$CA3188B0-6F5F-4CF6-82C3-7D88F8E93B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3760fe679ea5c39273b469524ef822f4314e8255","datavalue":{"value":"least Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q915479$8D070D84-D319-4D6C-B280-2B0A99E2A80D","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":"Q915479$950D3F5B-3426-45DD-8A53-14F1E7597E54","rank":"normal"}],"P223":[{"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":"Q915479$A5102020-5F6F-4200-9010-C74D5FED08C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc421beaf448c0aac0777c13814d1b2fe09c3d56","datavalue":{"value":{"entity-type":"item","numeric-id":915479,"id":"Q915479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915479$699B8BD6-3BBC-421B-AB1E-A28A3ECD0017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7b29d3c54af01a349ca489d60d41b153ab03f7e","datavalue":{"value":{"entity-type":"item","numeric-id":3725521,"id":"Q3725521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915479$D81576DB-B819-4E7A-8CEC-C1DBA27FCB6C","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":"Q915479$EA52FE32-6FE6-40DE-87E3-33A9F1EA0C52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7be216094c448f8c7ad59cf871e59f8ee5d0bfeb","datavalue":{"value":"https://doi.org/10.1016/0304-3975(90)90065-p","type":"string"},"datatype":"url"},"type":"statement","id":"Q915479$5FC826DD-CA45-4D43-B162-46F66B0BDDBE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"31f1bc05d94ed60a60a44f94235a437e92196561","datavalue":{"value":"W2001937661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915479$CFB68A8E-7B39-455D-91F4-AFB78D881320","rank":"normal"}],"P1643":[{"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":"39814f57a0309147c92843075da5bf435715db7c","datavalue":{"value":{"amount":"+0.8712009191513062","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":"Q915479$D71AC635-9A7D-4449-B1E8-CF01B81F8172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42302c140e38d1b4d07fedf99a6cdc445beb17a8","datavalue":{"value":{"entity-type":"item","numeric-id":5286917,"id":"Q5286917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fbe9f9c386a405e84ae0d04ed9d46fc08fd69a4","datavalue":{"value":{"amount":"+0.8708378672599792","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":"Q915479$90F5AFA9-E0DB-4F58-9941-F4F3D506FA36","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":"e317646cb1bbfaa27be87386aecc50674f7a0bb7","datavalue":{"value":{"amount":"+0.8495943546295166","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":"Q915479$B84AD469-8B4D-45CD-9D54-001A4AF71F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9865a70006563e90e66a3110d55bd802a85ae41c","datavalue":{"value":{"entity-type":"item","numeric-id":5096195,"id":"Q5096195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aafdce6ef8dbf43739d484fdc95573b20346c071","datavalue":{"value":{"amount":"+0.8487741351127625","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":"Q915479$92B7F5A1-AC32-48A2-BFA5-18A71B8D32B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21eaf99e9488687cd0a1a4b6fc5b4161570fcf46","datavalue":{"value":{"entity-type":"item","numeric-id":4015152,"id":"Q4015152"},"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":"Q915479$FEA5B50D-798A-4DE5-9D8A-6FE02151E9B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:915479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:915479"}}}}}