{"entities":{"Q2701741":{"pageid":2712486,"ns":120,"title":"Item:Q2701741","lastrevid":47575084,"modified":"2026-01-02T03:05:39Z","type":"item","id":"Q2701741","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1566502"}},"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":"Q2701741$6808D433-D6F3-459F-A221-BD06D7BF5E2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23a961289479ba6c83cf147779c130edf48fd198","datavalue":{"value":"0963.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701741$211AA8B3-18C1-41CC-BC0A-802B450C8B4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e45b4fd57a9b2289b15e904112bd7105d28212a4","datavalue":{"value":{"entity-type":"item","numeric-id":861368,"id":"Q861368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701741$4E64216C-C5A3-48DA-9BE2-A2814275E01D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7ef592fcbe568fe20d1e22f6164adf86fbb75290","datavalue":{"value":{"time":"+2001-02-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":"Q2701741$135B701A-9A88-4484-8281-5B14A9DE2D3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701741$B1E04F3B-AA91-4E5B-BB48-51E8D9DE5B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701741$F1901B9C-014B-4439-A433-8E3CFD616774","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a3be69826f3a4cd5a58e53778aea5cfb57b4a5c","datavalue":{"value":"1566502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701741$EBD3CF98-4552-44BD-A40D-8B5F32D16EB3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701741$BC2255D3-D33F-4EC3-9A5F-7279A4F69D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbf775442e27badb00bced58bb11690ed2b912d5","datavalue":{"value":"inference procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701741$E2482971-A888-453B-AD71-CC4C08BC0584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34faa57811b42c7ef4e4a37c6ce6bdc7e8be0ee8","datavalue":{"value":"semantic trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701741$14A76155-908A-422F-9CD4-5DE87F648BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f6f16b7c5e9bb58973cef0c01f1436373fb65df","datavalue":{"value":"resolution refutation proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701741$92909CA3-D02D-444D-ACEA-05E605485CC7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701741$DB47FC33-583B-499A-8620-B7175D880212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5ea6c33e85b8bb0478db350cfecd43bbcbf2d672","datavalue":{"value":{"entity-type":"item","numeric-id":14475,"id":"Q14475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701741$75275232-EC0C-467B-A255-24C68E446A82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af3b5ddb4818ec81bb9bea3bab4852742bff1bd5","datavalue":{"value":{"entity-type":"item","numeric-id":22101,"id":"Q22101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701741$B1F63046-7A42-4F51-8127-3F06B04174C2","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":"Q2701741$269690AD-0031-4708-9D61-8517283D593E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"850715937341d072522c2b6dfe4fd00f3d07e86f","datavalue":{"value":{"entity-type":"item","numeric-id":689296,"id":"Q689296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701741$6A79B32A-C486-42A8-980E-F3B6BEE9CA23","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5452761231c2caba105093a20bdaac2c46a26bcb","datavalue":{"value":{"entity-type":"item","numeric-id":1277339,"id":"Q1277339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c8e3d6e4e35a2a0fd5d91cd32a016ba28a61ab","datavalue":{"value":{"amount":"+0.7888085246086121","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":"Q2701741$E3095894-FEC2-4861-A075-13BF77836817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df4b0d16db5f218d4ee065f1f1897c47e139fa49","datavalue":{"value":{"entity-type":"item","numeric-id":3998281,"id":"Q3998281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601b015746f7e1ca6dd90216906fdfa5695f6e3d","datavalue":{"value":{"amount":"+0.7840864062309265","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":"Q2701741$75ADB930-79F1-44D5-9781-45DE9364FC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b822606285ce070526363a622a7dc5d21e1e548","datavalue":{"value":{"entity-type":"item","numeric-id":4331757,"id":"Q4331757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601b015746f7e1ca6dd90216906fdfa5695f6e3d","datavalue":{"value":{"amount":"+0.7840864062309265","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":"Q2701741$8ED97098-DF65-40A8-9154-2DB811CCAFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd005206203014e83c667b9b2ae43263bc5e2d2c","datavalue":{"value":{"entity-type":"item","numeric-id":3792211,"id":"Q3792211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1139ebc79eb6b3f70d1069ea9c644a989c307014","datavalue":{"value":{"amount":"+0.7840267419815063","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":"Q2701741$F8029511-AF91-49AE-9CD7-332FC7F8DCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39bb720b7c1477bdd9fa3da132be1b604f98822c","datavalue":{"value":{"entity-type":"item","numeric-id":2721238,"id":"Q2721238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc2de27a2bb1c9a2fc66981eb07b2484d6f52d56","datavalue":{"value":{"amount":"+0.7784721851348877","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":"Q2701741$8A71931B-1DCF-4DC6-99A4-9F5D9072B226","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2701741","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2701741"}}}}}