{"entities":{"Q915460":{"pageid":917308,"ns":120,"title":"Item:Q915460","lastrevid":49389109,"modified":"2026-01-07T02:05:51Z","type":"item","id":"Q915460","labels":{"en":{"language":"en","value":"Equivalence of propositional Prolog programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4151831"}},"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":"Q915460$A5D3BDFD-B043-4F2E-9912-92E19E0D939A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3b8dbdd7dae14662d13b4f925051cde3625596f","datavalue":{"value":{"text":"Equivalence of propositional Prolog programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q915460$272A64EF-5659-44F7-B743-39732F57C2FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a444c7d0f208bd5201a866e372b2ecc6e3d95eac","datavalue":{"value":"0702.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915460$C5039A49-6343-463C-985C-D93D2733F53C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915460$BE175A13-7073-4C6E-AE24-200288F8CB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b203b4e54d9d1ca92c8d96b5d6fe6d5e7413d81","datavalue":{"value":{"entity-type":"item","numeric-id":915458,"id":"Q915458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915460$1596CFE2-DAE7-433B-A31A-F39AC4F9F50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"709561412caaa285ca82a5813fe59c04acaccd47","datavalue":{"value":{"entity-type":"item","numeric-id":915459,"id":"Q915459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915460$F2EE309D-6302-417C-9B9E-9B9F80AD20C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q915460$C74BCD07-A1FC-4C12-BA62-5151C87E9B3A","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":"Q915460$F76E471A-809D-40FE-8D4C-FE15CEA6FB0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915460$EBD485EB-8677-406C-85B5-1FE0535FCD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915460$46C35D71-6FB8-4D8C-A356-45A412AA4982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915460$202F314E-0BBE-45B9-A62E-043EC6A562FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fcd341be1c4e6c3a5f54126d629660b0b7092b8","datavalue":{"value":"4151831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q915460$170BF9E3-EE18-452B-88ED-DD054E9747BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e7c3f1d8d0f6296063efbaccf967fb1b9dee67a","datavalue":{"value":"propositional logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q915460$A115C7B1-57DC-4B31-8F79-E5E728552DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6479db18055c3a9e888df9feee364d4aed254d1e","datavalue":{"value":"Prolog inference strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q915460$17D7301E-13CE-4688-A59B-7BFFA3DF68C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9872155a3198f1291563fe624343b88565bfec","datavalue":{"value":"complexity of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q915460$300F78C8-D11D-4C97-93E1-B6F05C2C8CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca10ce924ddfcc62753e960fad1352301ab9265","datavalue":{"value":"loop detection","type":"string"},"datatype":"string"},"type":"statement","id":"Q915460$CE5C877E-FFBC-4AF6-A960-2BC0BB014668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f05edaede09b6e4b819110dca990533ecdf805b","datavalue":{"value":"equivalence of Prolog programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q915460$0CEBC00B-B299-4CF9-A612-BADD7560AAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1b2c061fc916d99287d7b5dd878f1d16d141f12","datavalue":{"value":"complexity of equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q915460$D6244E3B-479B-4A1F-AEB8-285388F443B4","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":"Q915460$50950DF7-478B-4B21-B65B-BD4873B0F8F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706976812f0a640546b1284aaabda239b722b38b","datavalue":{"value":{"entity-type":"item","numeric-id":4812966,"id":"Q4812966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9d86116216651225c32da9d613d502fcfe60ce","datavalue":{"value":{"amount":"+0.8094912171363831","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":"Q915460$CE85338A-CA9B-4127-90D4-E48D0FCD42A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ac3e09bb537b2e99b37fcf7b213e67c3c87f4b","datavalue":{"value":{"entity-type":"item","numeric-id":5748901,"id":"Q5748901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b947a4f70eb385433c17e5b93af6465e8daf4e55","datavalue":{"value":{"amount":"+0.8053940534591675","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":"Q915460$94FD519C-D038-4903-8624-60CA8FFE0486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86f927324815d06510e06da24d4fce84e6f5e7f","datavalue":{"value":{"entity-type":"item","numeric-id":1314280,"id":"Q1314280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bec0eeb9ad6e7d70d2ea4b6bb16ce1e02e5d1e0f","datavalue":{"value":{"amount":"+0.7871725559234619","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":"Q915460$18C88484-D778-4ADE-8549-E27696E014E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf9fbd80ce396559d6a76cb13e442d4235f9d7fb","datavalue":{"value":{"entity-type":"item","numeric-id":1892097,"id":"Q1892097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f960b8540552f224955b4c32df0c45d6a078430b","datavalue":{"value":{"amount":"+0.785463809967041","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":"Q915460$29152198-6F6E-46B0-8C51-E00A3F7008FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e7cb776289f166db2fd69282d9077b6fd354e35","datavalue":{"value":{"entity-type":"item","numeric-id":4708942,"id":"Q4708942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865a8ea7d4313e4e50906adc0fabe55d010ecbfd","datavalue":{"value":{"amount":"+0.7846390604972839","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":"Q915460$0DDDD40E-6575-43D2-B931-3B3D9778447E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:915460","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:915460"}}}}}