{"entities":{"Q4424640":{"pageid":6454239,"ns":120,"title":"Item:Q4424640","lastrevid":48168778,"modified":"2026-01-03T20:37:15Z","type":"item","id":"Q4424640","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1975397"}},"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":"Q4424640$1BAF3FF3-069D-44BA-9F9B-2C1BEC100DB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"316aac8940e7a7ebdc5269ff65e6250357434995","datavalue":{"value":"1031.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4424640$9154C2A0-C55E-4E4F-B95D-69EEA637F51D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb758243b120b04361c405483e5955fe63cc8c55","datavalue":{"value":{"entity-type":"item","numeric-id":2751821,"id":"Q2751821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4424640$C071BF9D-942C-4B53-BC67-05355131B85D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f24f25d0e9771f70373d70ba49826f182a7fce9","datavalue":{"value":{"time":"+2004-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4424640$65B658FA-74F6-4C4F-8125-EAAB5FEC9658","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4424640$9A9213F3-0553-4F71-95E9-61C071F58CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4424640$E6C18565-8ABE-41BC-8CAE-49A0F1E7AC47","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ad6326a8282be9e3641b417b9dc7c6e9a2f3737","datavalue":{"value":"1975397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4424640$0D72340B-760F-43C9-8D5C-B110F78CD178","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55e5083212de54ebb43815070876d3c12b79f67f","datavalue":{"value":"extensions of predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4424640$D0EA689A-6646-4EA5-A3C7-8D0D51B7E83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f05e37d4c5429b891c4bda241dfd848b299e38b","datavalue":{"value":"partially defined predicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q4424640$D6B0D28C-1234-4001-A756-218A72C71AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03899a55ad4c255f727aeb6205199c6050c3c11c","datavalue":{"value":"propositional fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4424640$FA1BFCE6-BAD1-4FA6-99C7-024D1E728E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4424640$111B7C81-A816-412F-AE3B-F444D16341F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6292cfd9b3005c289a491377c38877a7bddf10df","datavalue":{"value":"iteration of implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4424640$78CF125F-0969-4EFD-B68A-2AF7C8EF6DC4","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":"Q4424640$FCD85AC4-B5DE-44F0-8C1E-265CBAA160FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4cc52a4c854ce44cc381e2f8dd6f34e196c81e3","datavalue":{"value":{"entity-type":"item","numeric-id":4943268,"id":"Q4943268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f8694d7b4da65c37e196623326d964b87fef88","datavalue":{"value":{"amount":"+0.7416843771934509","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":"Q4424640$7318E903-5E0A-4DD6-8124-E5B2DF25E4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"036191652e80251e7ca496b6cdeb3e1e2042d2fc","datavalue":{"value":{"entity-type":"item","numeric-id":4263015,"id":"Q4263015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f247cdfb16deb411cde77f547fada16a4a6edfe","datavalue":{"value":{"amount":"+0.7411875128746033","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":"Q4424640$5F1EBD10-B572-4135-8524-4AA7D3819A67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cde8201e2fcb1d7e3de2449755299a1c5a0530c4","datavalue":{"value":{"entity-type":"item","numeric-id":1407111,"id":"Q1407111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77fb42819d4b61b8a553e8923f660c04cd8ca120","datavalue":{"value":{"amount":"+0.7297953367233276","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":"Q4424640$11A7E565-44DD-441C-9EDD-3F185A895FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a402cab32c67386f854d1347f9981c692df3a0","datavalue":{"value":{"entity-type":"item","numeric-id":1061734,"id":"Q1061734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1a681ce7af18cf428d40074dce9a2b8d8d6667","datavalue":{"value":{"amount":"+0.7269794344902039","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":"Q4424640$A91DA656-CADD-4ECA-917B-CCAFF6DC11F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"847085b1729af50019b619af923dfbc46e880a1e","datavalue":{"value":{"entity-type":"item","numeric-id":1592086,"id":"Q1592086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8e92b5a332882efa14f0239a330059890740100","datavalue":{"value":{"amount":"+0.7161668539047241","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":"Q4424640$DCB4E44C-5242-4DEC-8CE8-7A8CFA380CF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4424640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4424640"}}}}}