{"entities":{"Q4223458":{"pageid":6253059,"ns":120,"title":"Item:Q4223458","lastrevid":46613301,"modified":"2025-12-25T05:18:42Z","type":"item","id":"Q4223458","labels":{"en":{"language":"en","value":"The theoretical foundations of LPTP (a logic program theorem prover)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1235214"}},"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":"Q4223458$5D8C723C-E68B-4CF7-BA38-8EF441243265","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1079f5311de0ad44a80e67251ed192e62022443b","datavalue":{"value":{"text":"The theoretical foundations of LPTP (a logic program theorem prover)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4223458$024060AE-CADC-4FD1-8DAD-81D4627B8E8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7245f0e9e1504e2239608866a20ec3a4e0b49475","datavalue":{"value":"0911.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223458$7934AF68-5C09-41FE-8527-1624F1EDE24C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1107a1d31f18ce5618880db6e7804f8c57d829da","datavalue":{"value":"10.1016/S0743-1066(97)10013-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223458$6BE8468C-41D6-4675-86AF-2527AEADA4EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1069c9b18f7ef741abbae0fb8fe630647a61a8d4","datavalue":{"value":{"entity-type":"item","numeric-id":555780,"id":"Q555780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4223458$DAF2095F-74DB-4A06-8AD7-FB2C49634362","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":"Q4223458$079FD75C-3FC5-42E1-92D0-4806ADC593BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"598703f00d94fef55523c92c719be9981f1c620a","datavalue":{"value":{"time":"+1999-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4223458$BAD84BE6-474C-4286-8EBE-E9B9B310D20C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223458$BB243846-BACC-4F52-AED6-40851D64036D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223458$258EDD46-E3A7-4BCA-9F8F-18464794F825","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7f1c847c3160e5562403696a3a44935c0d9e73d","datavalue":{"value":"1235214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4223458$C4CC18AA-E1EC-4956-BCD2-9691CE9927A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q4223458$3EEB07B2-0E93-4676-850B-C074161C02F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fe4d397ee01ba0a0a13b00bc301502bded3777","datavalue":{"value":"pure Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4223458$50EB921A-FE09-4D5F-AF96-F0DDE424A61E","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":"Q4223458$463CC78B-E027-4574-A60E-B3F9FC59C952","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0456405130c3ea41f3a066f024f9d673ca3d1ec2","datavalue":{"value":{"entity-type":"item","numeric-id":3750142,"id":"Q3750142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27353d216643dbc62c535cadb064a40594e226d3","datavalue":{"value":{"amount":"+0.8099460005760193","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":"Q4223458$A6DCA35F-B7A7-46F0-AB79-6B9A80F23DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2a6304270c2bf4f17207eb0a8fefd9c3b7ff402","datavalue":{"value":{"entity-type":"item","numeric-id":1199932,"id":"Q1199932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ce504c56c49cd7aea9d267b42cbbb654c96857","datavalue":{"value":{"amount":"+0.8000516295433044","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":"Q4223458$9E48DE6E-23C7-4B0B-B3F0-97B2DBF096BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f31b4a3d39713dc06eab1bc4b2bfc3409fd333dd","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f0d1a3483f3803f6eabb5df7a1603c1c1c4f022","datavalue":{"value":{"amount":"+0.7906646728515625","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":"Q4223458$07D1AB05-C22F-40A1-8826-117A2554B4B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e3cc3b3ee4f98cbf7948d48e3f76892dc00ca3b","datavalue":{"value":{"entity-type":"item","numeric-id":6488542,"id":"Q6488542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b594072912ca0ad56fdbec939b31f73af734b733","datavalue":{"value":{"amount":"+0.7735127806663513","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":"Q4223458$24AF4D44-72B1-4738-AADB-FCA495D98BE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4223458","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4223458"}}}}}