{"entities":{"Q2631645":{"pageid":2642388,"ns":120,"title":"Item:Q2631645","lastrevid":55375156,"modified":"2026-02-17T14:44:03Z","type":"item","id":"Q2631645","labels":{"en":{"language":"en","value":"Logicality, double-line rules, and modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7055413"}},"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":"Q2631645$4D4B587C-681C-4BEF-8579-978308BE2EC9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"934b5a3a556efd5d8b585cbb240d2ca801424705","datavalue":{"value":{"text":"Logicality, double-line rules, and modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2631645$9032DDC6-72F2-4AF9-B9AB-51446F42CF6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"919c61ad1744ea5a8d2415f4f917b715c26a4371","datavalue":{"value":{"entity-type":"item","numeric-id":253122,"id":"Q253122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$15BAD21C-2FBC-4A46-919A-36125D84A280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c14f3d367c8a5b22b270cd6f0a6dab892d4e9840","datavalue":{"value":{"entity-type":"item","numeric-id":2016053,"id":"Q2016053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$7C17EBAF-2851-49EE-BC09-DC9528019FB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$9C5740EE-877C-44F9-9C97-66A777FD38D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"111bc2058e263cfb924fa49ef15bd940ed572fa3","datavalue":{"value":{"time":"+2019-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2631645$A9A3ED49-DAC0-4001-8357-15E4C80518C6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631645$97EE0B54-DF56-4B26-A1D8-4EA275F4737A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0837ce3103480d9c18874470c37df68c26aa1037","datavalue":{"value":"7055413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631645$826C1BDA-B5CA-4347-8F95-32CC5D784B33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4de0d9127250144032a9c987d7f2df19bd333306","datavalue":{"value":"normal modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631645$90E08955-6E76-4A8D-9D79-2919B6137F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"305f396544750615b8805407cb26020e34d8a8c3","datavalue":{"value":"logicality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631645$97EEDE92-DC87-4DEC-BD98-CD31F7EC6E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99bda26d1331a3b5276c705cdc7901c540782275","datavalue":{"value":"double-line rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631645$085A5684-F732-4238-A363-2229D00F7585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98afc8bf077732faa7b36e358825aad09c7afaa7","datavalue":{"value":"proof-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631645$0F907BD1-1DF7-4CC6-88FE-A5C479AE24C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dac3f71529fb2da55f77888198d2650dd710a18","datavalue":{"value":"display calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631645$ED66ED21-BF10-4C9A-906E-3977C13C54D3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$4E116861-FFA5-4ED8-AE3B-F7CCAB1B61E7","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":"Q2631645$8DF3D253-026B-4DBC-A10D-411B62514105","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"187375aa6db6bb833f1a01c6c30df3ab82ff9e94","datavalue":{"value":"https://doi.org/10.1007/s11225-017-9778-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2631645$7D1ECB8B-0A6D-4774-AF44-83CAC7F82498","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8961e57b325f2a63e0e0d847e619daff2b13da25","datavalue":{"value":"W2791118640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631645$D8C5B00C-8F4D-4F68-A6DE-7D71555A71BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c434b6534caa8d7aae026f7b80e8e45e51931c","datavalue":{"value":{"entity-type":"item","numeric-id":809992,"id":"Q809992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$9701D6FE-F17B-40E5-B2B7-4D1C83551B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b70c7b3f003527069c2310fc828f8afaad5df5d6","datavalue":{"value":{"entity-type":"item","numeric-id":1838471,"id":"Q1838471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$B52C4E9E-8296-42E3-8CA3-84CBFB7D7CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e484d460bda64a8b8bf2f4216e9fd4ba80b4553","datavalue":{"value":{"entity-type":"item","numeric-id":5688806,"id":"Q5688806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$4B97A4F7-377C-43C2-B171-2F928CDDB286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b8ea59330e1d646e9e64e8da1ae67f14b3c2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4608217,"id":"Q4608217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$0E48A2BC-5285-4233-9605-6BA34DA7DB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4598b2be71959c5dc72f39e6735617ccd4843b28","datavalue":{"value":{"entity-type":"item","numeric-id":5694706,"id":"Q5694706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$69444F23-716F-45DA-9384-65D133DF5CD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffe4354ac9f821569a16526e607a6aaf5b34b0fd","datavalue":{"value":{"entity-type":"item","numeric-id":5277918,"id":"Q5277918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$3EFA1D6E-DCAC-4CA0-8D31-36986886C72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ff3a10ff200aae966bb3582d1ac90d651b71ecf","datavalue":{"value":{"entity-type":"item","numeric-id":5737955,"id":"Q5737955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$656B589C-91CB-4A6F-8F7A-014916EE3A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f580077c20a971d5f9bd8188096db37f21f37730","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$ED7E51BA-629B-483F-9C63-3E3311F7008A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba37178f4849a6f9f33cd6f635de99808396dd40","datavalue":{"value":{"entity-type":"item","numeric-id":583184,"id":"Q583184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$02F48489-1922-4681-A4CB-0A46F39DABA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"397be8364a08cd0003a383a64fb0d05481c07cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4221769,"id":"Q4221769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$DAE72D88-1087-450F-B54E-D52C1A1C6CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34156163a4039493d441119e73b67a708b6ca8ad","datavalue":{"value":{"entity-type":"item","numeric-id":5224889,"id":"Q5224889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$405685A9-8AF3-498C-BB51-48EBD26DE77D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab902ddeb2f8a8f0173fabbd83857fb0e0140ce7","datavalue":{"value":{"entity-type":"item","numeric-id":3208615,"id":"Q3208615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$854FBD82-781D-47FC-8615-CE496ABF7C51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c22a48c5755a62f5acaf4e9fa8a52ba7136feed","datavalue":{"value":{"entity-type":"item","numeric-id":266652,"id":"Q266652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$298420F5-9FD3-482A-9D26-5E3A34ECE671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3533e6d6f675972a60a671c37af62f3de5216511","datavalue":{"value":{"entity-type":"item","numeric-id":5688807,"id":"Q5688807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$F508065B-9FE6-4C56-8D65-D6AE3711BE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a296d5968de653db0529f8303b6736f8f062015a","datavalue":{"value":{"entity-type":"item","numeric-id":5638283,"id":"Q5638283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$A779DC2D-2057-4E5F-A2D7-E08ED459B6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8546dfa3ee45536454a034a5905b0e5f07e2b82","datavalue":{"value":{"entity-type":"item","numeric-id":812101,"id":"Q812101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$9B759149-918E-4EFC-AB8F-79CB45E5B848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755ba4a7f8b70eaa04400af225724e167e2ca658","datavalue":{"value":{"entity-type":"item","numeric-id":2744125,"id":"Q2744125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$1C50B036-C33C-42CB-98DF-A0E720C8DD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13afd8110054b2202db565eb8ebce86c5ecccb21","datavalue":{"value":{"entity-type":"item","numeric-id":987468,"id":"Q987468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$B3F7189B-87CB-479F-8631-6AB1929EC555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0abcb2e905e92d8a61492e0924459f1fe3cd4406","datavalue":{"value":{"entity-type":"item","numeric-id":5784989,"id":"Q5784989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$A69CB7DF-CEC8-430A-9B98-00290C5828A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$91ABD435-78A5-42C1-A381-07909FBAF687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11fbd0fd255a14e48e73de7fbcbdbf21995115f2","datavalue":{"value":{"entity-type":"item","numeric-id":3003836,"id":"Q3003836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$3662CEC4-D37B-4F6E-926B-23593B2CF945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8dbd2b93540a898c02c61dabf9d1006db2e5390","datavalue":{"value":{"entity-type":"item","numeric-id":4527908,"id":"Q4527908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$DE3BD045-72A5-47FA-9980-813DF7FCC00B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8a147af86037048b9477b570c64562b3c4df5ef","datavalue":{"value":{"entity-type":"item","numeric-id":3684103,"id":"Q3684103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$079E9721-E305-4A9C-93BE-05094DB62BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03214aa66f4eca06bf2f16650d127aca5860435","datavalue":{"value":{"entity-type":"item","numeric-id":2339009,"id":"Q2339009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$9E4BEF10-15B4-487C-B75B-2A78BE5898A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b364519c59a0fab47d2f80de511d01e3b117502","datavalue":{"value":{"entity-type":"item","numeric-id":4291036,"id":"Q4291036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$BDEFAD10-AE35-4E75-AB17-9D5A03C5C945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5d9f817fddb6c6e790685c8ac875537be8458e","datavalue":{"value":{"entity-type":"item","numeric-id":1817696,"id":"Q1817696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$02DFB80C-57B5-4CC9-81FC-54E7DB0B7C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90b490fc4a035a161db548bbfcf6067b125f0fbd","datavalue":{"value":{"entity-type":"item","numeric-id":3367335,"id":"Q3367335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631645$E850A55A-38B1-4756-9E8B-25115DEC8DA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88e5d9900711bb86dcddb57f3b8a32216931a8bd","datavalue":{"value":"10.1007/S11225-017-9778-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631645$A023BF10-BD10-4195-A166-337545A1804E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7191718a583d432c758ae9e4369070e59c88a7","datavalue":{"value":{"entity-type":"item","numeric-id":2303583,"id":"Q2303583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e70fe0a2fb46408c719613b586144d97298d25d5","datavalue":{"value":{"amount":"+0.7529690265655518","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":"Q2631645$235AB3FE-9DFE-4622-A6AD-3560B4453D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84dbf4358028c06a4138715ac5c5293a6fcadb81","datavalue":{"value":{"entity-type":"item","numeric-id":2672662,"id":"Q2672662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e14879c4cbd09fcd87b0b2cc872f9214881f8e06","datavalue":{"value":{"amount":"+0.7429844737052917","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":"Q2631645$D6968D64-95D3-48E8-8C6B-67328BBA1808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7533598a76a12d318916be1c804439075bd76fca","datavalue":{"value":{"entity-type":"item","numeric-id":2867855,"id":"Q2867855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"433a571456b64ae25947966e915f757619e45d84","datavalue":{"value":{"amount":"+0.733925461769104","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":"Q2631645$3DE3665D-9B2C-4B53-81ED-ABD7D367C4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2396bba8dfc90dce3e47b524a32007f7a3a0ee","datavalue":{"value":{"entity-type":"item","numeric-id":4627724,"id":"Q4627724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66deeacdb84f916748a357575971783a7c3799f8","datavalue":{"value":{"amount":"+0.7292578220367432","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":"Q2631645$7173DC7F-8A74-4F13-81F4-0EEDEE395935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98fa0dc6a864b004902da6fa7982e28fc16b9054","datavalue":{"value":{"entity-type":"item","numeric-id":5694706,"id":"Q5694706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d95cb9ce7ab7c4c94df5aac219ca9727636c0da7","datavalue":{"value":{"amount":"+0.7291293144226074","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":"Q2631645$4D421002-3183-4D2C-BB51-F749A253A4B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2631645","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2631645"}}}}}