{"entities":{"Q3992235":{"pageid":6022075,"ns":120,"title":"Item:Q3992235","lastrevid":81338690,"modified":"2026-05-06T18:17:07Z","type":"item","id":"Q3992235","labels":{"en":{"language":"en","value":"A comparison of three PROLOG extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 39281"}},"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":"Q3992235$9A0272CD-BB90-428B-B6A9-CD3133ACC5E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fdf8f96333f69dbf7b36387cd347c44268320b88","datavalue":{"value":{"text":"A comparison of three PROLOG extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3992235$C55A7846-A8D9-485E-8F2E-DCF6FFD21940","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ce9107d4b9927c39ff96d961d66e07c89092aa8","datavalue":{"value":"0754.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992235$B9CBC275-E52B-4D19-8E6A-69E539218E6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cb0a95453402e9497140dec1690fefc8119cd54","datavalue":{"value":"10.1016/0743-1066(92)90038-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992235$61AAAA48-7C3F-4159-82D4-4CD3A52A9112","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d254b24b3054adc9162d7b430cbfd9af257c074f","datavalue":{"value":{"entity-type":"item","numeric-id":1891260,"id":"Q1891260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3992235$4DD47E1F-5FF3-4498-AFDB-D26459275CA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d67ebb156bb8b416bbae8dd2cbbea32ca7e0ce15","datavalue":{"value":{"entity-type":"item","numeric-id":287331,"id":"Q287331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3992235$BA41E1CC-ABAE-4536-9038-ED67BD1F04F9","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":"Q3992235$D0C5B991-81D5-4735-9D85-AC951D326146","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca50ef95d1c0114d462b29b2a7069fa309fbe2aa","datavalue":{"value":{"time":"+1992-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3992235$E144D776-9FF1-47BC-A0D8-8CE06D4C2C6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992235$11408A7F-C210-4F1F-A7EE-B7787DD1CBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992235$9A9519DE-74C7-4ADF-8754-38DBEE55694C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2a601d3ec1bf5eecdbba07dd4ddfc997ef75b0a","datavalue":{"value":"39281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992235$9B73DB37-E52C-40D8-A95E-30B6D8D85CBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751adfc8b183a3eb0e3c35d2d5a647c3627991f7","datavalue":{"value":"near-Horn PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992235$82DC14AF-0761-4BFE-A2FA-05B74613A9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f211f65ed6d6a7659aa1e6556daad27d5982ae67","datavalue":{"value":"simplified problem reduction format","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992235$9A60FCC5-6240-47F1-98A9-CD50E4E8D9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79e51d3e0e224e7e6028c8c26062c7488fe99150","datavalue":{"value":"\\(N\\)-PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992235$0E169158-C3E8-42AA-BDCC-01A502F754E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcdf6cf35d926c0daeb463f96c3fbb54af3858b4","datavalue":{"value":"case analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992235$51B8BE56-7704-4A69-85C3-91E9BC56C8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a1ec4044a1550bf96d5d100c121d70985ef4ee8","datavalue":{"value":"non-Horn reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992235$3C53C6B7-B17E-464B-AEC7-3B1B537C13F1","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":"Q3992235$84CEF5A7-7858-4D65-8B1D-A4ACE975523E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25011597d2cb114bb666a5c702c8fac728202db1","datavalue":{"value":"https://doi.org/10.1016/0743-1066(92)90038-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3992235$6B44EA6E-72D2-4663-B158-EB465E891B4D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"55ce2ab724cdde88358f7ae1d928fc4fcfc00b95","datavalue":{"value":"W2013481966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992235$7C52BC65-FA68-4489-85FE-3CA4E7963444","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1785289d58562ffb6bbb433f41e72c4c5b6c8f3","datavalue":{"value":{"entity-type":"item","numeric-id":4720771,"id":"Q4720771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a3816e32d762e4b31afda4118e397688236f6b","datavalue":{"value":{"amount":"+0.8598813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3992235$23FA3B6C-F6C7-4288-B469-AF85A109F9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2b3d0e5922a7c1847a35580b12eb328b9f75629","datavalue":{"value":{"entity-type":"item","numeric-id":3149799,"id":"Q3149799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b5ebd63bc7b79fe40218248767bb66c25baf083","datavalue":{"value":{"amount":"+0.85845387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3992235$6253EF7B-C8FA-4BE3-90AF-DA8792BA5E93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de8f68e87f29b05ef2e3391f784be24734454633","datavalue":{"value":{"entity-type":"item","numeric-id":3731012,"id":"Q3731012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da6289fb35e2bbca1755b7e73ac352a8247c499","datavalue":{"value":{"amount":"+0.85257107","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3992235$46C62748-BED0-41D2-B001-8901A0D8D8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff45b691a4c2d08a9e78be0657663cf5915fbfd","datavalue":{"value":{"entity-type":"item","numeric-id":920622,"id":"Q920622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4460fb58d063866db3ad0218044b49487fa21796","datavalue":{"value":{"amount":"+0.85158414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3992235$8355D8DA-F4B2-4C3B-9072-766954127C70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653e895f3899c4df73fe7a8591e317d9115730be","datavalue":{"value":{"entity-type":"item","numeric-id":4836225,"id":"Q4836225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e440f3f5bb71b04440e5f8ce74c137de9ce83c","datavalue":{"value":{"amount":"+0.8513831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3992235$3D94CFA9-A2EA-4DD1-B69E-EB24836F5920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92cad5a7a41e0a865f5d0aef317d7d4016f95e9e","datavalue":{"value":{"entity-type":"item","numeric-id":3316552,"id":"Q3316552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26618f7cb113fb14a60883338b877b1fa2ba0eaf","datavalue":{"value":{"amount":"+0.85005313","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3992235$3CBB356C-2BF9-41BA-A735-D01E7144EDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5013a63eb8484086f5b3fe360c660312d6104b72","datavalue":{"value":{"entity-type":"item","numeric-id":2893102,"id":"Q2893102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96e443a10ff2108296fe57ce89781d1a9812e40d","datavalue":{"value":{"amount":"+0.850047","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3992235$9DCA1351-C959-4F74-8A86-E22559BDEF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81d2a4b4f0ec8fd65a93f89e1e7cc70be611b77c","datavalue":{"value":{"entity-type":"item","numeric-id":757031,"id":"Q757031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"254513ccb1dd163d66bd49de93b3b17e9861f24d","datavalue":{"value":{"amount":"+0.8499129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3992235$8696D69D-DC8E-4C6B-BA19-F004DCA51513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b6ed4bb9f88d8786bb5d35a884467101e5a19de","datavalue":{"value":{"entity-type":"item","numeric-id":4294268,"id":"Q4294268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f14ffc02824b8a2f3532375fceb3270be69fccbf","datavalue":{"value":{"amount":"+0.8464177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3992235$4C7DFF39-2733-4907-A647-E6A8F148E5FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A comparison of three PROLOG extensions","badges":[]}}}}}