{"entities":{"Q3681964":{"pageid":5711870,"ns":120,"title":"Item:Q3681964","lastrevid":50100922,"modified":"2026-01-12T22:50:54Z","type":"item","id":"Q3681964","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3904000"}},"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":"Q3681964$7BB73C8D-BAAC-4E0F-AF88-B54CA0DAFF5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6a4fd70df48afba62dcccdbdd73c7563df115bc8","datavalue":{"value":"0566.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681964$4BE28078-BCAC-407C-BFEF-AF3E2420B258","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fe0146632f7df374aaf46184bd7c6893b4e0907","datavalue":{"value":{"entity-type":"item","numeric-id":1152358,"id":"Q1152358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3681964$ECF6029E-AF28-412E-8A49-F0FA5EF44812","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3681964$DA400121-C686-41FB-9690-B275F6EF3DD9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681964$8BC88123-4CBB-4FD7-8CB7-9FC83141A2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18309be7db1da1fcc09fdceba48f604c7de62db3","datavalue":{"value":"68Txx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681964$EFC45A82-9B4C-4F30-9511-380373C0599F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681964$00AFD82C-5B7D-4DCD-BB3B-7E9D4CB94BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681964$4250486B-2DBC-4327-90AC-578355DA0157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8fac778e97ae6432b3528aab99d155b26775440","datavalue":{"value":"01A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681964$BA74A301-1272-407C-ADB6-344A2A4C3951","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"159a61c0a4cad0e44a01cac9a9952474cfea8aef","datavalue":{"value":"3904000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681964$681C92BE-D0E6-4C0C-8008-0C1C6BFD9F60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"714a901e51fb14d39994c7b00bf5ee821de3e36f","datavalue":{"value":"use of computers in mechanical theorem proving for first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681964$ED9696DD-9F08-4ADB-B851-7BDA7E69F545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61357657bf874e08c6639092dc1d7f3a7701446b","datavalue":{"value":"expert systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681964$55B06FBB-956C-4A27-92EC-07E57F02876C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2fc7c7e5556dcd382df95a9b3cbc94f9c9bfb0","datavalue":{"value":"natural language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681964$F5A813EE-0452-4588-A231-A491B195BF3E","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":"Q3681964$58B6682D-8146-4D2A-A551-9BE99AA09E82","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3be59899f1c5070152f1be6bf1cc78a0b2b15c08","datavalue":{"value":{"entity-type":"item","numeric-id":3484382,"id":"Q3484382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f9062d7b9e2ec7c58933ae95d3564fe4312d3a","datavalue":{"value":{"amount":"+0.7428331971168518","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":"Q3681964$69596AC3-F17C-404B-B80A-B34636EFD1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ce05bb1fd459e915222ffd11d222df4c8e95d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3327746,"id":"Q3327746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b057d48b2f84ce1306b3f17ed84d2ade495b3765","datavalue":{"value":{"amount":"+0.7242289185523987","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":"Q3681964$E6792FB7-4296-4FED-A85B-13C7C0A142CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de035f677bc940e95a40c03e8df5350bb9add37b","datavalue":{"value":{"entity-type":"item","numeric-id":3216155,"id":"Q3216155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9313d90370c2f7341857d832ea4068f4f0b9d2dc","datavalue":{"value":{"amount":"+0.7188982963562012","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":"Q3681964$3B45A8D4-4CEE-4FDB-9CE0-D3307FBFA103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dfec4533bdc71063bcd9b325c2a8834f6706e18","datavalue":{"value":{"entity-type":"item","numeric-id":3682461,"id":"Q3682461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f83a6bdc1034e21d3e40e6ad039561fb0d179c","datavalue":{"value":{"amount":"+0.7092169523239136","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":"Q3681964$992F1FA3-F636-4047-A321-3B9CBB432F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34422d33f3cac84234c1869199d10187738f2c89","datavalue":{"value":{"amount":"+0.7040740847587585","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":"Q3681964$679AC7A8-433B-4505-B6EC-3C5F684E5532","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3681964","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3681964"}}}}}