{"entities":{"Q5381040":{"pageid":7410614,"ns":120,"title":"Item:Q5381040","lastrevid":55369162,"modified":"2026-02-17T14:42:45Z","type":"item","id":"Q5381040","labels":{"en":{"language":"en","value":"CAPTURING CONSEQUENCE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7063892"}},"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":"Q5381040$BF290FBF-391F-4A0A-A4A3-358BE86B0763","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee2c9b79ab64eb3de9759dc8d7c3b7e34a4bc99e","datavalue":{"value":{"text":"CAPTURING CONSEQUENCE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5381040$62A3DCA6-EC04-48A5-8A4C-10D3DA6F371E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e2b9edd4a94f1e807a91d9edd0b70107fe476e90","datavalue":{"value":"10.1017/S1755020318000291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381040$C0D1231A-FD3A-4601-B339-C0FB69592BB8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"adbeca5c6939aa698fa127a0a071939116a774b1","datavalue":{"value":{"entity-type":"item","numeric-id":929633,"id":"Q929633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$53C09064-3E51-4817-B044-1A3D07277DCC","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":"Q5381040$E908CFCD-9831-4F37-BBF9-95BC67BB990F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ad4e359101b2d16a63ae2695676e311944d8ccd","datavalue":{"value":{"time":"+2019-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5381040$B6214E87-DBE0-42D5-B77B-A8293A0C3428","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381040$6BEC3D7A-1E22-4A1B-83B8-B11F5D8F19EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381040$E55D91AD-BA3C-464E-8F48-B883A71E232C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381040$454D0C0A-83EA-4EAE-A550-69BC47C14337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381040$FE4F8F9E-5594-45DB-8352-75FC928DFDBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"434273787a1e84596d5c4d8c87e0bb9f90aa482c","datavalue":{"value":"7063892","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381040$E28E3D9F-1F9B-480F-A6E3-1D45E504FFB8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381040$636E1ABD-52EF-4419-AF9B-075F99078EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381040$EFDA9106-39D5-40F1-A2BD-5410FA11F8FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381040$788BA631-029E-4264-81E2-5156A7434220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381040$5ED1F652-49D3-4BA3-8B93-ADCC724FBB81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"728da5945860a33355b0fb1b1b8ba181be17f3c8","datavalue":{"value":"countably infinite Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381040$760166CC-7629-4676-A3B9-F3ACAD158625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edc0dc7c05f75a6364f0dcd54ee6aed1a8932214","datavalue":{"value":"formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381040$44AA9A7E-8E81-4338-B368-B9EA4E66E8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61882a32907d89812582df6f9643654191cb5e3d","datavalue":{"value":"inferential role","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381040$D750A50E-C7AA-472C-9659-F53717655B3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7865f71d28d9e1e9cbbbe0f5a6e45a3cb81149f4","datavalue":{"value":"incompactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381040$25DBC2C1-1608-4BA2-A8DE-51B3ED609FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5381040$E33A707B-D930-4961-B4B5-96E934A4DFC3","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":"Q5381040$7CD16FE8-5FB7-42B9-B1C6-A36B36882FEA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb019838f7e83d63569fdc9c7d517b95c9c37f34","datavalue":{"value":{"entity-type":"item","numeric-id":3714043,"id":"Q3714043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$652A6BF5-7F5D-4EAD-AAB4-486F129948D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f5970f8a2f5f6b47e7fc786ae69ba3cbb5c2391","datavalue":{"value":{"entity-type":"item","numeric-id":1024867,"id":"Q1024867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$73B53AE3-80C4-4094-B6D8-89E484C82A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f4cba03f5097be6cd6f30ef8c6943dc663c490","datavalue":{"value":{"entity-type":"item","numeric-id":4593262,"id":"Q4593262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$A513E999-DA23-4457-A36E-6762458BF51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$05AB4829-FF57-42F9-9B88-9995B0F55009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39a4be129ff8df7e57780cf84d04e9dafbab43eb","datavalue":{"value":{"entity-type":"item","numeric-id":4523459,"id":"Q4523459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$6E856205-F4C1-4526-A51E-A7359F5D8732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ad2710adb49b09c41e2ab3a0d263ab2cd525bb","datavalue":{"value":{"entity-type":"item","numeric-id":5932852,"id":"Q5932852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$30696474-41A8-4706-84B0-EC75C964D84A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f43829d43dfd204590a2a8da27cb28b9bf029cb","datavalue":{"value":{"entity-type":"item","numeric-id":1422446,"id":"Q1422446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$E769E256-60DE-4B3B-8497-C3B03F9B5CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc960d5578d50a62f3f4284fc62698db86743a2","datavalue":{"value":{"entity-type":"item","numeric-id":3533040,"id":"Q3533040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$939DE349-59F3-4DFD-AC87-0B534D02F72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1007c9b8c83b7317e78090717f714645afc62973","datavalue":{"value":{"entity-type":"item","numeric-id":5079710,"id":"Q5079710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$8FE0BF2E-6967-4655-A9E5-6D1A6B80EF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c7e8394e4b9685fcdbe819e19be7a3da091cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5707890,"id":"Q5707890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$B939769C-FDAE-42E3-9924-C7EECCDA2FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e70f12f46aa8e0482666e2dbc981e3f636de6810","datavalue":{"value":{"entity-type":"item","numeric-id":3520837,"id":"Q3520837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$A5D23D0B-1F26-4D49-A471-64EEE93B988F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8459862735a3ec9272090d344676c06d659741b","datavalue":{"value":{"entity-type":"item","numeric-id":3994998,"id":"Q3994998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$CD5690F7-B452-43F3-9CB3-C7A5AC8533C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5365bd2b81e95a32dd5f3d0feacafe0f7fa79bf1","datavalue":{"value":{"entity-type":"item","numeric-id":4929066,"id":"Q4929066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$599E3105-048E-4425-A113-6D730F60BB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f079d16f2c273ec3b8ca63ed73e8cf1d174db5","datavalue":{"value":{"entity-type":"item","numeric-id":2053350,"id":"Q2053350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$058B7F39-6286-45CB-881D-9A3DF7E97937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dff60391c96483608c5f67c369e50646c57cab5","datavalue":{"value":{"entity-type":"item","numeric-id":2854363,"id":"Q2854363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$632801BE-9D44-444E-A5B1-117B6A572707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b1aa455643840f81c7fdc76f5376fcaf25a08bf","datavalue":{"value":{"entity-type":"item","numeric-id":3269129,"id":"Q3269129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$28104A00-6131-419C-B3C2-9E92D19199A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a84180de62ceafef40ec406e2cc9991b75a098b","datavalue":{"value":{"entity-type":"item","numeric-id":4001345,"id":"Q4001345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$84D926E6-6E1F-444B-8782-2AEA9C3A07DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edcaae38d912716db34e44362eed7f4a57ac1be0","datavalue":{"value":{"entity-type":"item","numeric-id":4227549,"id":"Q4227549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$43E82D77-8427-42D4-9CDE-EE8CC1C08E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc860154bb40041b450fc7315951360024a8e47","datavalue":{"value":{"entity-type":"item","numeric-id":2879057,"id":"Q2879057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$76D019C2-A3D2-4271-BFBA-6DCD03947E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc15d95c2fecaacb5a614fc938e6960208d67a6","datavalue":{"value":{"entity-type":"item","numeric-id":5816097,"id":"Q5816097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$76FAE7E1-4DB4-4AC9-A917-1AA6595C0BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174d18be49fcc8f81a1d06ff5f29cdffc006d6d8","datavalue":{"value":{"entity-type":"item","numeric-id":5388758,"id":"Q5388758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$A1978FF2-5959-4A29-8617-7D5E774D11A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7e5a30807dda3dc2fccc52bc06f7e7605793ccd","datavalue":{"value":{"entity-type":"item","numeric-id":2499298,"id":"Q2499298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5381040$32EAFB7F-806A-46C5-BC9D-996DD04E148A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e929c5fc9f854e89d1d0279779ba84c87f39ac8f","datavalue":{"value":"https://doi.org/10.1017/s1755020318000291","type":"string"},"datatype":"url"},"type":"statement","id":"Q5381040$CE7CBA8E-03F7-45A0-8ED4-BBC70BE9E26F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17f1fefb0660014cb090fbf0bce2fa3706927a25","datavalue":{"value":"W4231385513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5381040$6A5BBDB0-EDEB-421E-B28B-24F1C74C3692","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc73c8d00d104d41bbc806deb3b05a1e159a04f2","datavalue":{"value":{"entity-type":"item","numeric-id":6535310,"id":"Q6535310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"371be8221dc80b237cf0ae9bad7e16417ad4aadc","datavalue":{"value":{"amount":"+0.7342455387115479","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":"Q5381040$F5499C80-B64B-4285-BD3C-35B8494F9442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c89ab062f1756c7b627556fd05a525493c7615b5","datavalue":{"value":{"entity-type":"item","numeric-id":3367335,"id":"Q3367335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49cbd30f986b4d4697ca6f9a2736528e993b135f","datavalue":{"value":{"amount":"+0.7333475351333618","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":"Q5381040$EB8F5B7D-162E-4AEE-B57A-680D70719BA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707db1981fe6eab7fa775f0479ebe8e86ba0313d","datavalue":{"value":{"entity-type":"item","numeric-id":4428872,"id":"Q4428872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b9d63c5f5b64e3c37271117fc436756e8fa5e0","datavalue":{"value":{"amount":"+0.7001540660858154","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":"Q5381040$69699D5D-D329-450F-A937-B8EA285F0490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6d94e1c966dbf57dfd74ba7e8ff5286868b42fb","datavalue":{"value":{"entity-type":"item","numeric-id":4532187,"id":"Q4532187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9294786cc6a73b372d30d8f9347b5125d8197014","datavalue":{"value":{"amount":"+0.6927295923233032","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":"Q5381040$86C64E48-C6DC-4A14-AC3F-7A5D65B4506F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b71718c941c4101fc02f317c429cbef42e9f61","datavalue":{"value":{"entity-type":"item","numeric-id":484954,"id":"Q484954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51b60b499c5915a936d0165bb8cbe8c26cb0e060","datavalue":{"value":{"amount":"+0.6906285881996155","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":"Q5381040$883DB02C-5DB1-43CD-BF42-9577E040015F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5381040","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5381040"}}}}}