{"entities":{"Q3129514":{"pageid":3140230,"ns":120,"title":"Item:Q3129514","lastrevid":86528261,"modified":"2026-06-03T23:45:04Z","type":"item","id":"Q3129514","labels":{"en":{"language":"en","value":"Logic programming as a basis for lean automated deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1004633"}},"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":"Q3129514$9C00E16F-D833-4C8F-8448-763EF709DEBD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3122ae305b3de982d29e44f69c73b342631712fc","datavalue":{"value":{"text":"Logic programming as a basis for lean automated deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3129514$55574195-18C9-4917-A954-A9963B117142","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8047406bd2d7d53e5677828e86edda19bab657d5","datavalue":{"value":"0874.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129514$CEBEC964-F8A8-4528-B135-5A04A988BCF8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"baec7ba70e8d0c2615384ed4e29e672698263512","datavalue":{"value":"10.1016/0743-1066(96)00054-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129514$C37B7A85-5ACD-437B-BE29-31E64FD4A353","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"573cc3758191477e0c4b208110ac7ed93fa98f2b","datavalue":{"value":{"entity-type":"item","numeric-id":229746,"id":"Q229746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129514$68AB85A6-E88A-410F-8B70-A552952CF57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4d94488fe35cf3b620b472fa28530127d8e3560","datavalue":{"value":{"entity-type":"item","numeric-id":1904399,"id":"Q1904399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129514$6FB84DE4-058F-4AEC-B282-8D6BA7D4F44B","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":"Q3129514$F1BA66E0-EADA-4370-880F-2CFA927CFC88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"723f17e9f8561cc274a12066e98f02324dedfa99","datavalue":{"value":{"time":"+1997-11-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3129514$413CE4D7-138D-47AB-9A62-E4B01A197221","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129514$D6C3FB45-9BF4-4BE6-AC90-8F83CAAF75CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129514$F96BC12D-D17A-468C-8618-759D47B1C137","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30daa722a9a9046c713425c9263c2924bcb6a754","datavalue":{"value":"1004633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129514$1CD62FA5-C145-47E4-81F7-0D3284CF931E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22cff162781d33f2815edacd2d7489d999852a33","datavalue":{"value":"lean deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3129514$C669160D-481F-4DA9-BAA8-FD4DD3BCFEB3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129514$F9ED96B4-1B7A-45FD-9B1B-C345EED549A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccd1d0bb2717360c541381c661e7bb40d86b318","datavalue":{"value":{"entity-type":"item","numeric-id":21962,"id":"Q21962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3129514$17E96F40-0174-407C-AA24-A0D9296B8481","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":"Q3129514$AAB8355F-EFE1-4208-ABA2-B06E789E384F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3829e39e5bcdd086cf35e09164854ca02ebb861b","datavalue":{"value":"https://doi.org/10.1016/0743-1066(96)00054-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q3129514$4D6D84D3-2D9A-4816-B20C-D9A104A4908C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"319d7ed3eea88c05a628b1acb4537c060fb854c0","datavalue":{"value":"W2038837162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3129514$270CE776-107F-4CE2-90B6-B2E9C30A026D","rank":"normal"}],"P1643":[{"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":"052e179a2eca7051c794e75418760c054d58a9b5","datavalue":{"value":{"amount":"+0.7459475994110107","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":"Q3129514$29D5EB47-6E14-43AE-A0CA-B04EA528DE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"310fb5f9f7ab8edf4b6aa7fa56eb57e321098fe0","datavalue":{"value":{"entity-type":"item","numeric-id":5702660,"id":"Q5702660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c8a606055fee55cd693dd07469714eadb7e476","datavalue":{"value":{"amount":"+0.7227591872215271","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":"Q3129514$55BAC2DE-0D4C-4CA7-B247-D3C47958622B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cca44cc01e1539f6ea0687a214d7623f8cf8000","datavalue":{"value":{"entity-type":"item","numeric-id":4842537,"id":"Q4842537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90f587055a468c6177559b98167062ab9bd24145","datavalue":{"value":{"amount":"+0.7201588749885559","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":"Q3129514$50D30999-B81E-43D5-B6D0-963502EF8C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6fca6997d553581712dd8867e6bc53d7f4a57ca","datavalue":{"value":{"entity-type":"item","numeric-id":4039734,"id":"Q4039734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ec50c72a764a7c4b98ae78aa807c581007b653","datavalue":{"value":{"amount":"+0.7174266576766968","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":"Q3129514$5185B81B-EC94-4611-A7F1-431A5BE789C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logic programming as a basis for lean automated deduction","badges":[]}}}}}