{"entities":{"Q5951527":{"pageid":8128329,"ns":120,"title":"Item:Q5951527","lastrevid":47718295,"modified":"2026-01-02T12:44:41Z","type":"item","id":"Q5951527","labels":{"en":{"language":"en","value":"Distributivity in \u0141\\(_{\\aleph_0}\\) and other sentential logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1686113"}},"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":"Q5951527$64C76A07-3077-4B72-B7E0-CC1E44192AF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"234556976fd12fd1298aa04431a7efbe020e6b45","datavalue":{"value":{"text":"Distributivity in \u0141\\(_{\\aleph_0}\\) and other sentential logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5951527$97A4CD32-95C2-462E-B183-4A50DCA478F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d4f199987a92ebe4d62ede587fedf648a01c6c6","datavalue":{"value":"1006.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951527$58C3A253-AD47-4FD0-A89D-64B0C8680304","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cca63ccd20f8c42ea5669bc77cdc13e06d464a5f","datavalue":{"value":"10.1023/A:1010687609134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951527$62FE6A2E-9C51-4350-A84D-1258E3284938","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2308b3789038a6996f4231da48d541ec5941c9d","datavalue":{"value":{"entity-type":"item","numeric-id":1732641,"id":"Q1732641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951527$2142956E-0CF3-4A11-84AF-732B61E1FEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73184fbfb3b21357608a76d8fcbf8bd57d0ccb8f","datavalue":{"value":{"entity-type":"item","numeric-id":185562,"id":"Q185562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951527$FA1D7D4D-5D35-40AB-B7F3-1C9E2510A641","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951527$08D46F12-7AF8-4341-93A6-8957CE77F774","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd23d86f8a62e2a287b0d3c845d667edeacbe3e6","datavalue":{"value":{"time":"+2002-01-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":"Q5951527$6F3D93AA-AE62-491E-B6A8-EE54DFC525F0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951527$7EE982F4-4915-4469-B2A1-DF468137CDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951527$6AC49673-9969-4A63-8A82-23D1CBD73423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951527$1F994A3A-60CB-40AC-8500-A470C4D1C515","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c6394172d9c6eca595230f1c7d513bb90a4c878","datavalue":{"value":"1686113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951527$87935EBC-0B9F-4AAD-B16A-EA70CBDB4A35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a587dccbd18cb79de242f4257854414fb3cd4215","datavalue":{"value":"detachment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951527$441F2287-09B3-40BD-811E-557B22B362F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efe1669a7e1b16aad3d3a4304c7ea9e102405670","datavalue":{"value":"distributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951527$692D70E2-1371-420E-802C-0FAFA21591D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"035833e0e254ca70de52fd862a3eadd1b327c492","datavalue":{"value":"infinite-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951527$9A41FBA9-391E-45DE-955E-126D0FDD5474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951527$CE0EF9CD-16B2-4B8B-90E1-616B8F5E2058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927659d4813664173a8f09a1f34d9214be3b9170","datavalue":{"value":"OTTER","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951527$7B3113CE-6B0D-45E2-878F-A8FC25B666B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00a33d40d80f2666a88fe4edcdc2f452f900edbd","datavalue":{"value":"nondistributivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951527$140B4ABA-63CD-4F2B-BA85-5B8355D29186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951527$FB1D1B7F-0E12-4192-A745-B2882A25378C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16cb315243e484a9080e32126c6dfab7ec67eee1","datavalue":{"value":"logical matrices","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951527$2E6BBAD8-BA9C-4BA0-A85B-F51F85F276E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0989d310d6090f590b2f969956a8c20d4f7b854c","datavalue":{"value":"automated model-finding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951527$55957405-851E-4215-A479-293762B8CAC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f5c5b64328df72cd697158855399e29d02d3b2e","datavalue":{"value":"MACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951527$8E8D22A9-6749-42BC-B345-3BE120B3DBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2399107092629ff21362f91169dcaef664bfbd15","datavalue":{"value":"MAGIC","type":"string"},"datatype":"string"},"type":"statement","id":"Q5951527$B2E4C59D-A6BE-4197-AF70-47EE0F2582B7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5951527$1BBDD764-D886-4D94-A91D-A6E8EB7DB0CB","rank":"normal"},{"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":"Q5951527$0BC28A4B-3F44-4781-A9A5-CDBA7F8A4CBA","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":"Q5951527$6CB132B3-E8E5-4139-8E39-B5174FA832CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d73e742fbad8cbe52d1e6aab7fe24ffa1cd01693","datavalue":{"value":"https://doi.org/10.1023/a:1010687609134","type":"string"},"datatype":"url"},"type":"statement","id":"Q5951527$93DA0E77-1DF7-4164-9507-CD25CA442E3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26cab44c16743513e44f7091ec3e449c1a7494e7","datavalue":{"value":"W2026760611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5951527$54C206EE-42E7-4C28-91B1-77FFDDAAD329","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4805c0a9eab7ae085b8e0eb08061782fddeb0066","datavalue":{"value":{"entity-type":"item","numeric-id":4038404,"id":"Q4038404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36158e8a83d4201229d4b8a6016d6fc9beb3e13","datavalue":{"value":{"amount":"+0.8238945603370667","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":"Q5951527$B2D5B68A-FE2C-4457-8FDE-D0044CCEF7E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6c04ebaf451bf98b0044fe2add4de8992068ad","datavalue":{"value":{"entity-type":"item","numeric-id":4842633,"id":"Q4842633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f63e7aec14433e00bb433848a948f8c3788831","datavalue":{"value":{"amount":"+0.8179855346679688","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":"Q5951527$C468751D-FBA7-4146-806B-655C8FC23AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7601a09b70f70662b17e50aa3b13885b9b6f9ef7","datavalue":{"value":{"entity-type":"item","numeric-id":687151,"id":"Q687151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41f44ef925f090a53919ecce3782a0345e0a3849","datavalue":{"value":{"amount":"+0.7874482870101929","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":"Q5951527$1D904498-5074-42FC-8C2C-2BBDEBA135AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fceee6da5ed9a280b4aa5a634d2d23e1715ff7d","datavalue":{"value":{"entity-type":"item","numeric-id":1869612,"id":"Q1869612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf09f9a7e4dc7e676520d86aaab8a24263cbb24f","datavalue":{"value":{"amount":"+0.7608458399772644","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":"Q5951527$54F80DEA-884E-41D2-884C-ECEF391A9002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ba6dfdda72f9b95a8e4d5afeb608dba1082b84","datavalue":{"value":{"entity-type":"item","numeric-id":647417,"id":"Q647417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf09f9a7e4dc7e676520d86aaab8a24263cbb24f","datavalue":{"value":{"amount":"+0.7608458399772644","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":"Q5951527$DFA6988C-8434-4D0D-92D5-1597AEFD6DA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5951527","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5951527"}}}}}