{"entities":{"Q4934143":{"pageid":6963725,"ns":120,"title":"Item:Q4934143","lastrevid":47432266,"modified":"2026-01-01T17:59:55Z","type":"item","id":"Q4934143","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1389650"}},"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":"Q4934143$CB452E28-48E2-4F37-8014-AAE7A120A46B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e582423a2d8c158cacafa43e7b79cfba3558c66b","datavalue":{"value":"0936.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934143$8CA10558-FE89-47C3-BEFF-0C6106372DDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4934143$CC9648F4-BD7B-41EA-8FA3-0D8B43F8558B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff848b65c92ba76838ae80316af963d78a8508c1","datavalue":{"value":{"time":"+2000-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4934143$3C4E12E7-C4F2-4582-9F33-12AEFB84489C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934143$1F8FC7C6-CACD-40EC-919F-12F753910D44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5a3b5e335fa6631237efa2e11004102e115844a","datavalue":{"value":"1389650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4934143$7D1C520D-2F9E-4FAF-A34C-FC0BEB5F461F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934143$ECC14FED-E110-4FE6-B453-A866E2210A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9fb50508d9ae1a4b5b2525656ffbf4223c07463","datavalue":{"value":"predicate abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934143$C7371652-0E4E-4997-B557-BE2679C104AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6b062fd07c5e97def4ff2a6b93412a96e265e6b","datavalue":{"value":"tableau proof method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4934143$355B0334-0020-4BAE-816B-99D8C616F53D","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":"Q4934143$34CA20A4-5FBA-4BAC-8964-E06031606850","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ddc51bc6e27a4569a17968485e70f6d1bb0171b","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1322759702d964baacc5b9ae085ef3d700698e5","datavalue":{"value":{"amount":"+0.8430220484733582","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":"Q4934143$2CB9A47F-0857-4106-842C-68CA5544F278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8df8ad716a250d23404910a3ccfffdcb61a4fb4","datavalue":{"value":{"entity-type":"item","numeric-id":4503900,"id":"Q4503900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c5898071542dbc7e99ba12ed3e78079b1270e9f","datavalue":{"value":{"amount":"+0.7964399456977844","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":"Q4934143$EDD8EA6E-C54E-46E9-BF26-0CFCE04981F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4add87124e54c39c7325afb40780d4cb0b67e9e","datavalue":{"value":{"entity-type":"item","numeric-id":4822147,"id":"Q4822147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda6a9b2608e3d5b6f81294fe18766e6723d8286","datavalue":{"value":{"amount":"+0.7916231155395508","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":"Q4934143$3F015F28-FC17-45F7-9CDE-4F74509CAE59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a48f6057bf8ab6b1a0b0d5a294cb22f97cfc2290","datavalue":{"value":{"entity-type":"item","numeric-id":2721195,"id":"Q2721195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda6a9b2608e3d5b6f81294fe18766e6723d8286","datavalue":{"value":{"amount":"+0.7916231155395508","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":"Q4934143$0F37658D-BEDF-4DEE-BF50-F1EA4EA87A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c6e9408e0e14e6c46c868a73ad5713ce1b9ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3414345,"id":"Q3414345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c66f724e850a2d20295519ace06d1044e604b3ec","datavalue":{"value":{"amount":"+0.7831454873085022","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":"Q4934143$6F290B65-54EC-47A8-89D7-73FF13B42C74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4934143","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4934143"}}}}}