{"entities":{"Q682655":{"pageid":684504,"ns":120,"title":"Item:Q682655","lastrevid":63562563,"modified":"2026-04-11T14:00:41Z","type":"item","id":"Q682655","labels":{"en":{"language":"en","value":"Kripke style semantic for the logic of two valued-states"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6834017"}},"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":"Q682655$01E5CBE5-810B-49B3-814F-92B4B08C28D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b93281b2033d439c75ae9951f64f58cd147253d8","datavalue":{"value":{"text":"Kripke style semantic for the logic of two valued-states","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q682655$1C321177-E774-45D8-90F2-20B5D36C3BD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6aebac5deb1a59c9fab42a59371719d484d2d29","datavalue":{"value":"1387.81017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682655$64883D91-B8FC-4E54-9329-99D13F21E9B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78c2444773506a2d149a5400455ba0bb355fc463","datavalue":{"value":{"entity-type":"item","numeric-id":353356,"id":"Q353356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$3BD35F4F-A304-4A08-A613-2CC06E6E3E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"988d188e01be9876a53da7ab64f682294471aa18","datavalue":{"value":{"entity-type":"item","numeric-id":616836,"id":"Q616836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$22864AB5-7435-42C7-ADDB-DD0B05B03D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0852e8631491cc7f67afa0e5cabd8b9e4a13e31","datavalue":{"value":{"entity-type":"item","numeric-id":682654,"id":"Q682654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$7761D66F-1FBB-4C9A-BFB0-A3B2E4BB9B03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$8492CF00-546A-408C-8CF6-02473A7A17E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"677c90223eaa06e0b6fdeb399f15f769da14c07e","datavalue":{"value":{"time":"+2018-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q682655$9D1365A4-4717-49BC-9E1F-028D20946B99","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682655$35EEBBB7-91F6-4201-A6DC-C491F6B8ADE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682655$5C3226C2-59F7-4DE4-A0B0-5DAD30EA078E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"47e5c6d08b39e79bdd0bccfaeec11db7eee63b87","datavalue":{"value":"06C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682655$604D5670-BEE4-4768-8EC8-99EC7CDDD1FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9171ecb51d8d15039ecb6b36e4ec6b023d733372","datavalue":{"value":"6834017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682655$C3ECFAA8-D9C0-45C1-956B-97599E46DCBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba9c003744b320ae7b524e73a338e3073b67c354","datavalue":{"value":"orthomodular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q682655$46D3A522-5D1B-49B9-A8D5-00C84C78DC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"623ba1e086892cfcbacd5c790d15302795ff4b0f","datavalue":{"value":"two-valued states","type":"string"},"datatype":"string"},"type":"statement","id":"Q682655$75A94154-9D47-4E27-A25A-0C1D29B20865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q682655$513F4961-8E0B-45D8-87A6-C08C143D4096","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":"Q682655$5CEDFCB5-976C-4810-BDEE-1F4207A91D5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7be7edf9b9e3255db7b871c045fe0e765715ef21","datavalue":{"value":"https://doi.org/10.1007/s10773-017-3400-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q682655$3ED3F522-DC89-4D83-BD33-28F924433987","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1831045959ff7251e19b7c65441f20209ce1534e","datavalue":{"value":"W2611841842","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682655$3C5FA997-BD39-49F5-8103-441A4F047278","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5fb7566be243761ff53e826937a83fd66ce3a94","datavalue":{"value":{"entity-type":"item","numeric-id":4046084,"id":"Q4046084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$6B323EB1-03E0-4029-AE5C-CD8F5F2C6BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1195a27bff72a62438cfcf0a55297e0334f1e97","datavalue":{"value":{"entity-type":"item","numeric-id":2645405,"id":"Q2645405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$C95E12EA-5970-4BA9-995C-B67E6F8829A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b9fec05453e32bfd19fc6f5623255486875a2b","datavalue":{"value":{"entity-type":"item","numeric-id":1887210,"id":"Q1887210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$CA3CFE31-A422-4FE3-8D69-B36F807B94B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e88ad017f692887bd2eb7f104ca67f53b4b00a","datavalue":{"value":{"entity-type":"item","numeric-id":3006595,"id":"Q3006595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$AB62CDA6-7ECD-40F0-A928-A74239888175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9452bd780bdb1993ea9b63d897608784a2bd1a0","datavalue":{"value":{"entity-type":"item","numeric-id":429230,"id":"Q429230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$59343973-06C8-486E-BDB2-A5304C3950D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d495beab96512e59be730abcefdf9ab9b58ee0de","datavalue":{"value":{"entity-type":"item","numeric-id":5650893,"id":"Q5650893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$F5D544B0-34F9-4EE7-9896-4B5840A0F7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b5c5299073abb37cc7f706f71dce058163e45ba","datavalue":{"value":{"entity-type":"item","numeric-id":2447096,"id":"Q2447096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$D4D9DA27-B619-44C1-9461-00B96E4603E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27cee47ffa35d103c9fdf27651868d7dc448153c","datavalue":{"value":{"entity-type":"item","numeric-id":472714,"id":"Q472714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$7D0FA690-9209-4C99-93A7-ECB025F42C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"718f546ee338c8d81d9c8d187dc454fb76ff92e4","datavalue":{"value":{"entity-type":"item","numeric-id":3881378,"id":"Q3881378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$46CF6B00-F39A-48CF-A3AB-C0974F7E4F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b9f882568f0b9d8fc0b2f4d285f4a0d4c4b176","datavalue":{"value":{"entity-type":"item","numeric-id":5551052,"id":"Q5551052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$C2911458-26B8-46B6-A644-99843F520026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4293874795ac709ce4d112763a0625a4794d25","datavalue":{"value":{"entity-type":"item","numeric-id":4750696,"id":"Q4750696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$B715D8CF-FAAB-43FA-864A-824C3A4504C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3b8bf478b9e9fefc74abe019249ac28f9e1b6b","datavalue":{"value":{"entity-type":"item","numeric-id":2759166,"id":"Q2759166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$7FEA924B-4315-4416-889E-0023F709873A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f76cac16721f1b04bb5745f5b2632a40bb3616f0","datavalue":{"value":{"entity-type":"item","numeric-id":5623714,"id":"Q5623714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$46B2EE6B-D956-45FD-83E4-0EE69A319473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b33eeda73e45eaecc4ad2806f9f23f9eb64f323","datavalue":{"value":{"entity-type":"item","numeric-id":2743648,"id":"Q2743648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$170945E1-C06D-481D-A665-D5A493664A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d063d43e8b8a0e115003559b0c20711b410cd2","datavalue":{"value":{"entity-type":"item","numeric-id":4032243,"id":"Q4032243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$F528216D-5491-41B4-9BAC-A55D6CC62416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f99f0da2cdfa975b7c4fb87c5284e9477b25300","datavalue":{"value":{"entity-type":"item","numeric-id":4100556,"id":"Q4100556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$FF7A58C2-AD63-40DE-A9F9-30D60ED06497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3853e5379b61ded25a66e95e694eb878452bf1","datavalue":{"value":{"entity-type":"item","numeric-id":1188968,"id":"Q1188968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$FC5DEAD7-CAF9-4CAF-B1C9-0530264C201A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df50c30f35a7c2d71163bfb8f0b5a11432dbeb0","datavalue":{"value":{"entity-type":"item","numeric-id":835281,"id":"Q835281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$CB308F7F-2442-4D46-9D1B-661DBB4A7809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f93193bcab11c042205f5f768989033358bbe25f","datavalue":{"value":{"entity-type":"item","numeric-id":4746559,"id":"Q4746559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$62694F9B-01F8-4EE5-BDDD-A2A4ACB655A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1736e0e463d54c08951780f6795acb7531fdf4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4788820,"id":"Q4788820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$2E2D2255-DA36-44EF-8A6B-0F2817849300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59927c06ae65f20c9a522a55b097c547efaa1640","datavalue":{"value":{"entity-type":"item","numeric-id":835112,"id":"Q835112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$24096C3F-53B1-45AC-BB4A-0D23FE05FE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c96276906fd31b24ab83e7e55af2837d85aad9d0","datavalue":{"value":{"entity-type":"item","numeric-id":1308491,"id":"Q1308491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$D2525EFC-C9CF-4C64-BF00-FD492F12EE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"864844083b732004f230de12abbe45ac5cf85888","datavalue":{"value":{"entity-type":"item","numeric-id":2366058,"id":"Q2366058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$9F096AE0-7C56-46FE-B744-A39C15398222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98729d0362d33a3641e2cb24a2eb960a7a2aafec","datavalue":{"value":{"entity-type":"item","numeric-id":3982222,"id":"Q3982222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682655$598B3ADF-9A92-4A23-AF03-6351F08A604E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbaea8c72b247ee2191e82e1c0ab3cf52153b727","datavalue":{"value":"10.1007/S10773-017-3400-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682655$C38C5034-6E49-4946-8DA6-65AE127451FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bba619ab5219961fac703f5f11ece6a5e3ace5ea","datavalue":{"value":{"entity-type":"item","numeric-id":2743648,"id":"Q2743648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df78cfae9b8ccb42cf489b26b8aa468f2973c1f6","datavalue":{"value":{"amount":"+0.8297562003135681","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":"Q682655$AE3D01CD-526C-426B-A2BA-BF025DEDA0AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daf9ac0cc9721446aee56a1f55ff9d09a64b2f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5755184,"id":"Q5755184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df78cfae9b8ccb42cf489b26b8aa468f2973c1f6","datavalue":{"value":{"amount":"+0.8297562003135681","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":"Q682655$2D1C358B-8394-4DF9-88E6-6E514D5F56BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"902b69e18de32598dd901a77d7c6a1d41adb9ab2","datavalue":{"value":{"entity-type":"item","numeric-id":472714,"id":"Q472714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0614f27f7e7ca4b37da36613a729158863ca2fb7","datavalue":{"value":{"amount":"+0.7757025361061096","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":"Q682655$5C8804C7-0A36-4E01-B1F1-13FE1C18EBA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"935205e955be72bda1b17132d5f5249f994a683b","datavalue":{"value":{"entity-type":"item","numeric-id":5283795,"id":"Q5283795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0785f74644772dc3dad951de0b09c420b3e539c3","datavalue":{"value":{"amount":"+0.7750813961029053","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":"Q682655$DBB295EC-E55B-4222-A70E-D629EAC60CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"479945dab9b3bdf5e5636d8c60dea325993886d8","datavalue":{"value":{"entity-type":"item","numeric-id":5271081,"id":"Q5271081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"743150995333b75082be58e65a39dd3b8f53a20d","datavalue":{"value":{"amount":"+0.76328045129776","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":"Q682655$635A082D-8D8D-4358-94B1-2C9BB335A3E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Kripke style semantic for the logic of two valued-states","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Kripke_style_semantic_for_the_logic_of_two_valued-states"}}}}}