{"entities":{"Q4331764":{"pageid":6361364,"ns":120,"title":"Item:Q4331764","lastrevid":46769760,"modified":"2025-12-25T13:40:05Z","type":"item","id":"Q4331764","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 976360"}},"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":"Q4331764$666BA934-FD23-4E63-95C8-BB69E8A20C19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46224c4d2f1550915b571066bf293654e315b63b","datavalue":{"value":"0867.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4331764$F08C56E8-ACDC-4D48-8584-2E7883CEFA53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4331764$24F52547-1978-4229-BE8B-8181CA0A3B66","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34220bae1b10d2bb0cc29076c803958c352b0a02","datavalue":{"value":{"time":"+1997-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4331764$C8AEA7E1-3427-4106-89A5-62B51578743D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4331764$B4B6D889-5898-4D1D-84F4-3736DC60DFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4331764$905D0E84-8559-4656-9310-4DAA887AE1B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70b3cac747183294fcdf0c21753d348c7027a0de","datavalue":{"value":"976360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4331764$B58EFC8E-3E13-48AF-BCE4-853DCD7DB22A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a0cf77ac822c82f34614cd0b3bf097336e98b1","datavalue":{"value":"resolution calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331764$C529D1D9-A7EB-437D-B336-CD4A2C8FA0AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331764$54672369-1E53-4EF5-AEA6-54525F6136D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4331764$7AD1B3D5-6048-4EE3-84E8-672639EBD336","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":"Q4331764$D293552A-BF9B-4E12-B613-9831476C86C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a3d434253ed919faa661b14e883ac27b635cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e694bec4d0f69460f219cae3c981abe7f8f595","datavalue":{"value":{"amount":"+0.8031131625175476","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":"Q4331764$A9621A8C-2C43-4AF9-867A-DB452D8998F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2398eef9efd57113e53ce4e1c6dc78ad09f83c74","datavalue":{"value":{"entity-type":"item","numeric-id":4942004,"id":"Q4942004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abbfc6b6be40352c190ad90d0551db26a192d519","datavalue":{"value":{"amount":"+0.8030423521995544","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":"Q4331764$B4115FFF-8602-4515-88BE-082F34459095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9cc9840145fafc0b23cf70f78d0ed48128753f7","datavalue":{"value":{"entity-type":"item","numeric-id":4881605,"id":"Q4881605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2757214a5c3a6c52888edeb6e78b3fe8c2d17b3","datavalue":{"value":{"amount":"+0.7959826588630676","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":"Q4331764$3A137117-C162-419E-AAB4-A2F29E70FB64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4331764","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4331764"}}}}}