{"entities":{"Q3750141":{"pageid":5780047,"ns":120,"title":"Item:Q3750141","lastrevid":51669119,"modified":"2026-01-19T09:27:40Z","type":"item","id":"Q3750141","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3986670"}},"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":"Q3750141$1833FA8F-A956-42F5-A462-A5261F00DB6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"513e5201d3ae664bd600c570ab54599e01d096a4","datavalue":{"value":"0609.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750141$0F5C6E93-26A0-4CEB-A756-A3450426078B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"33ac163ba39953163eeb2acbe3fa2aeac41d812f","datavalue":{"value":{"entity-type":"item","numeric-id":1367076,"id":"Q1367076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3750141$87F768D9-EC76-4C49-8256-210553BA1A9D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3750141$19D90E75-B692-478F-80CD-FE5DF0A3B91F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750141$CAA9F3AA-796C-4AD9-96A9-6CE5B20376E2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"831c7ef7b2e69173e48a29570bbad3f581b39e75","datavalue":{"value":"3986670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3750141$2A94CD46-6156-42FB-94C6-80D194E047F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d59847c0b4d141a612c2f61d55cd009e3c18623","datavalue":{"value":"Inductive theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750141$3562BDAA-8DE7-41BA-A8CD-707E1F720059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19c2f746d3652a0df81d12e9a1666580fb08a321","datavalue":{"value":"resolution prover for simplifying formulas in a goal-directed way","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750141$CDD22597-CF80-4A75-89B1-F152F3FDC9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b6a3fc341e1f579c18f7681e6ea2f8d6ac6e7e8","datavalue":{"value":"symbolic evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3750141$BECEEAE7-E654-4EAD-AE46-B2C92563CBF1","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":"Q3750141$764BFDB7-56E4-44AC-B0A0-AF04F07BFCA3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51852894019aff4da996e23e31ecb38fe929c33b","datavalue":{"value":{"entity-type":"item","numeric-id":2751365,"id":"Q2751365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d85e3da39424369265c482fedad66b0d82c13a","datavalue":{"value":{"amount":"+0.7641763091087341","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":"Q3750141$619A94C4-D803-4DB8-9C75-4C9B9E7AD1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704a49cab08e72b5b7eb95f34ca27569ea97ba64","datavalue":{"value":{"entity-type":"item","numeric-id":1595923,"id":"Q1595923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9d85e3da39424369265c482fedad66b0d82c13a","datavalue":{"value":{"amount":"+0.7641763091087341","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":"Q3750141$DEBF6131-C8CD-4B9E-90AE-458C2EAC5EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c23463ce18af4c444365a390b715c4475749158","datavalue":{"value":{"entity-type":"item","numeric-id":2723430,"id":"Q2723430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824e15034b99c0ccd791d48a40b598a3422d8188","datavalue":{"value":{"amount":"+0.755829930305481","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":"Q3750141$687B5A2D-795B-4EF2-933C-6BD456D41AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33fe49094536a6000a6ff11386d0b3a35de5c58c","datavalue":{"value":{"entity-type":"item","numeric-id":1103415,"id":"Q1103415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824e15034b99c0ccd791d48a40b598a3422d8188","datavalue":{"value":{"amount":"+0.755829930305481","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":"Q3750141$070FB624-578A-444E-96E6-01B59CE1AA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dedc1ea2579d58dc468d1438bcd2d4b0bedb07da","datavalue":{"value":{"entity-type":"item","numeric-id":2303240,"id":"Q2303240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b99cae0cd05603bdb145b4e3cba3f6f6317d179","datavalue":{"value":{"amount":"+0.7556060552597046","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":"Q3750141$B493D905-4D16-489A-A369-2A990B0CA57D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3750141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3750141"}}}}}