{"entities":{"Q5880426":{"pageid":7909977,"ns":120,"title":"Item:Q5880426","lastrevid":57370809,"modified":"2026-03-30T17:12:33Z","type":"item","id":"Q5880426","labels":{"en":{"language":"en","value":"OPERANDS AND INSTANCES"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7658885"}},"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":"Q5880426$78DBC55B-358C-4F86-8CD1-74145B19EB51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8e87bd404095233bd9951a08fb9c1168a0deb64","datavalue":{"value":{"text":"OPERANDS AND INSTANCES","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5880426$B805416C-F12D-41AC-87FC-BDA07A48AE2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d69a645c75bad438b454c7d6e28b4314908aebf6","datavalue":{"value":"10.1017/S175502032100040X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5880426$8CF94303-F8A0-40DD-A44B-97F5F813B027","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cacc2855768c74c4174546017ae63b2e563038b","datavalue":{"value":{"entity-type":"item","numeric-id":373014,"id":"Q373014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880426$81C72177-3A8F-425C-A53C-FE33D1E42923","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"af0afed2c0d629b9762e7f6c9dfa985cdd4f9630","datavalue":{"value":{"entity-type":"item","numeric-id":2804470,"id":"Q2804470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880426$242D98CD-BBE1-4762-A2DA-A0858BEA292F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f93760665626a68490fed0b08134a5d9aac9090c","datavalue":{"value":{"time":"+2023-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5880426$A2E6E5C5-0165-422F-B094-BBA91D0DD897","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5880426$0601A688-C7C9-4D9C-94BB-8A997AB59F12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2ea587fac67e7625a8d2bb38c7576fa231f500c","datavalue":{"value":"7658885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5880426$931C16E2-9ED2-40AF-95B0-5FCC54A89BBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5211d2c102c670462942f8e18906a1970fef835b","datavalue":{"value":"structured propositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5880426$F532B50D-38BA-4B44-BFD0-6E725922CF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58f8ea21cf1043ad00382a112f88954b4cc064c7","datavalue":{"value":"logical structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5880426$2E71647E-93CA-430F-B85A-047B1876EE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5880426$78F00692-B352-442D-88B5-90EDE7BAA5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fe5fd4ad4b27a13cd8f0190c4e682a5deba6409","datavalue":{"value":"propositional quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5880426$87729138-1D2E-470B-B8F7-AFF8FB1B2C20","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":"Q5880426$C4F3C4F4-F3F9-4907-8092-078EE55CA4C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e53f90d92952542efcc98f84e3580686e56975ed","datavalue":{"value":"https://doi.org/10.1017/s175502032100040x","type":"string"},"datatype":"url"},"type":"statement","id":"Q5880426$7841CFB0-4233-40EE-A761-80C93E2BAB4A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3026a1a7f9e5d711cef7d23ac616ecf74c2835e4","datavalue":{"value":"W3197615978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5880426$ACAE6060-E2B6-491A-AE2B-F33DA7D071E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a196536f8a5498ef71b69175f11ff532e6dc5ad","datavalue":{"value":{"entity-type":"item","numeric-id":5687547,"id":"Q5687547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880426$B4DFE5D0-FA33-44B7-8A06-CC35FAD78304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52f372fafe719de5108c59e0672833ae8788a32","datavalue":{"value":{"entity-type":"item","numeric-id":4055622,"id":"Q4055622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880426$7FBEB279-6493-4B30-8B8D-C81D90D037AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ddb5247e94c9bad69a56343b6a86e951665ed9","datavalue":{"value":{"entity-type":"item","numeric-id":2056214,"id":"Q2056214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880426$C6A0D4CF-8F37-478A-9109-63250ADBAEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ac8b2a2b8c7fbe64bc6ad3b304bbb43fa07b1d1","datavalue":{"value":{"entity-type":"item","numeric-id":6156206,"id":"Q6156206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880426$232426EE-592E-4696-8C44-FB047F887247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc7695d3a7b55c4076e2ae1fe463795407e0888f","datavalue":{"value":{"entity-type":"item","numeric-id":4132200,"id":"Q4132200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880426$ED9ED668-5364-4F7F-9AF3-AB5107A60256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d384f3e79d12394d8a8c6cb74a4206751bd09136","datavalue":{"value":{"entity-type":"item","numeric-id":300834,"id":"Q300834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880426$7ECCDB6B-5DF7-440B-BF9A-862DE9868A02","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2513b23a3e45207b188f71269e223ad1d10076f2","datavalue":{"value":{"entity-type":"item","numeric-id":885508,"id":"Q885508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e5388a3c061d3aa57f714e02a31132450efec2","datavalue":{"value":{"amount":"+0.7015462517738342","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":"Q5880426$6D2D4734-4B54-41BA-99D6-0BEC4A3374D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c91c6c4b12e97541d13392e39047465d2638d9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2056226,"id":"Q2056226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5087da8f52d8d807e23e0033e326e5d861c1aad7","datavalue":{"value":{"amount":"+0.701032280921936","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":"Q5880426$AA0EEB2F-3751-4673-AD30-E3B760F9C653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a46b83735555197af7d0123201924451197653a","datavalue":{"value":{"entity-type":"item","numeric-id":2987758,"id":"Q2987758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1ac78e14d231feef490a5d3862614fab1b78c2","datavalue":{"value":{"amount":"+0.6891270875930786","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":"Q5880426$F64D0786-8610-4F7D-89EB-E0E72323E016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6babe296a7972a74b6d69961c4eb428a1e139de2","datavalue":{"value":{"entity-type":"item","numeric-id":5437771,"id":"Q5437771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2cbf8a25674ff5b0039bcafb47cc44ae1c3aeb4","datavalue":{"value":{"amount":"+0.6854736804962158","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":"Q5880426$BD2CB9DA-669A-42A8-AB07-2AF1E5AF7F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69632c1203ab48dfa6f0fa77f69bf0c799acb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":2052204,"id":"Q2052204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30a8423ed932ab8b5767cd48a2b1139a05075a57","datavalue":{"value":{"amount":"+0.6836510300636292","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":"Q5880426$E8040D84-98A2-4356-A90D-94E84F94795E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5880426$6E5E0F54-073D-41F7-BB3D-3BD34F5EE83B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5880426","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5880426"}}}}}