{"entities":{"Q5099781":{"pageid":7129357,"ns":120,"title":"Item:Q5099781","lastrevid":55415518,"modified":"2026-02-17T15:57:23Z","type":"item","id":"Q5099781","labels":{"en":{"language":"en","value":"BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576539"}},"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":"Q5099781$EC7277B7-460F-4901-9DFA-B3110D9C9A65","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1699d8b7da066bfe4b9e42f6a631ff4028347900","datavalue":{"value":{"text":"BINARY KRIPKE SEMANTICS FOR A STRONG LOGIC FOR NAIVE TRUTH","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5099781$49D590C1-D51E-4E0C-B384-79B951B2AC33","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a5228c95619304f55ec2a276fcfc529e862ac62","datavalue":{"value":"10.1017/S175502032000043X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5099781$1B464C3A-4CFE-4848-8780-9577393FABFF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"266de4d60f74cd2b6e2bc0adf5c1374d86cb4203","datavalue":{"value":{"entity-type":"item","numeric-id":2027215,"id":"Q2027215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099781$5C36E60E-DA55-4A59-B371-8C9632C9B16D","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":"Q5099781$29010911-30F8-4341-8F8D-417B35147142","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f73b386990d93a2e672449eec9032448af61ffd","datavalue":{"value":{"time":"+2022-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5099781$C440A704-4407-44F5-A179-38E00CC17638","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a4d791b25975ce6d9e795215b393bca75e41599","datavalue":{"value":"https://arxiv.org/abs/2001.00936","type":"string"},"datatype":"url"},"type":"statement","id":"Q5099781$C745E938-7259-44BF-A156-0172000216DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5099781$B9DC04FF-660C-4EF0-B14A-4BF41156E1F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24eaceb29f4cedb9fb2d042f94a94858d1c391aa","datavalue":{"value":"7576539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5099781$E49DE9D7-BBF4-4F3D-8477-0AEF40DCBCC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2201e446f9806a30bd65582e84c8715440a51155","datavalue":{"value":"naive truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099781$B144BEB2-33D4-45E9-BE21-8BDD92A91E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f706b311b134df6011305e5cb2429fa9f28695d","datavalue":{"value":"\\textsf{TJK}","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099781$D8868738-2713-4280-9138-DAB70FC070F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099781$E304FF28-9CA5-4DCB-9CA9-AB4C3BC0AD25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099781$0FBFB2EF-6C0F-4A4A-9E27-AD8DFA1EDC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e827a2f1d9e2ec3bdc3a7ec6d04e64033483bb","datavalue":{"value":"existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099781$1EE19AFD-D039-4135-A409-874411E91453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26a9cca9647eb82fe0dadb33ece93591592871c6","datavalue":{"value":"subintuitionistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099781$8FCF418C-F5B7-4306-8FDB-0C305CDA4029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed696c87272c390fb189f5ef148c08ebc0c12a2e","datavalue":{"value":"binary Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099781$BDB12EE7-EFF5-4538-A62F-2B6E8A0C3E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099781$411B5624-98EF-4141-81F8-1151EF457D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1518ae7ae0ad33851f4545414d68499cdf3c3eb9","datavalue":{"value":"conditional proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5099781$EB3FFAF5-7FF2-4AA6-A3CA-B6C7F13F7A80","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":"Q5099781$5BEBCAD3-5458-4FAE-9C3B-C5379A21A9D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12777bb5c67de8038171880bf769bd4e052cee95","datavalue":{"value":{"entity-type":"item","numeric-id":1934956,"id":"Q1934956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099781$671BC401-1C61-4D89-9598-22F867B069BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e0328f3f34f158b340c144dd5a9583b669d6f1","datavalue":{"value":{"entity-type":"item","numeric-id":361866,"id":"Q361866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099781$F528AEA0-5594-4F1A-9F11-822B8217B8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6585ae6c8998260705d01ce0c05f9deef601ceb","datavalue":{"value":{"entity-type":"item","numeric-id":3347856,"id":"Q3347856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099781$9A2FDBAA-0A68-429D-8EC6-314536F14981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2723be41a3130086c62a67c781fb6caf24e26d78","datavalue":{"value":{"entity-type":"item","numeric-id":3543573,"id":"Q3543573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099781$0E8CEB7A-6F87-4633-B062-973204D974BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"237420371c8b2ae339e7ad86998203227dc03c5d","datavalue":{"value":{"entity-type":"item","numeric-id":1676353,"id":"Q1676353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099781$57492730-0FBB-4A68-996D-E6767069AD0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff29a8dd1570cd5ecd9b1603750ac8c06d7ab63a","datavalue":{"value":{"entity-type":"item","numeric-id":3005147,"id":"Q3005147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099781$CCCD0BC2-E8AB-4BA6-8221-6E2E988A1A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099781$722D0129-C4A7-4993-88A3-EB515F4FF63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02089d6ba738e9a93c74ab36588694879d218319","datavalue":{"value":{"entity-type":"item","numeric-id":2027216,"id":"Q2027216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099781$EB096224-17CF-4AEC-B33B-56D9AFA9F403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbfacf4a81c385ab7bc79ba13786beed70eabe","datavalue":{"value":{"entity-type":"item","numeric-id":1572658,"id":"Q1572658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099781$EE1D63D9-8E51-4E15-AF5B-3FA5A883892D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099781$2FABB2D4-71A6-49F5-B627-D7D1D26F0D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9829e013fd8a2e1647e725cf79d1fdca6a822c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1333312,"id":"Q1333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099781$E9BC7DFC-EC28-42FF-B121-B71DC57E44A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2089fa58da7d2fc1dfe60e40e3a108a0413c8a8","datavalue":{"value":{"entity-type":"item","numeric-id":5937805,"id":"Q5937805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099781$805C073B-D6AE-446E-88DE-43F48C79E9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0389db7be2e276e760be3fbee1d815a588a76f42","datavalue":{"value":{"entity-type":"item","numeric-id":1156789,"id":"Q1156789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5099781$F8BE1140-B82E-419B-BD64-49148B848577","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f28fc0e145ab0f0aeae9cdda2c6eb4cef0431d3","datavalue":{"value":{"entity-type":"item","numeric-id":1934956,"id":"Q1934956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74107474b9e0173b949965e68c49a429b3bca07b","datavalue":{"value":{"amount":"+0.7870084047317505","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":"Q5099781$AB92B061-B145-4A26-A9A6-8323DCBA4064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b157a11bfb5ccb315b35effd967b92219dafb66","datavalue":{"value":{"entity-type":"item","numeric-id":1107507,"id":"Q1107507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d50374669782b63e7623bfddff90e84782f7844","datavalue":{"value":{"amount":"+0.7616935968399048","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":"Q5099781$C6213D2C-BC8F-494F-8553-2BD79EDF3226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb151e4f20fa9317607fea9159ee6d7d50b4d44","datavalue":{"value":{"entity-type":"item","numeric-id":4933591,"id":"Q4933591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2017e36633e14e55ad791d70fd083d78c39b8a7e","datavalue":{"value":{"amount":"+0.7345364689826965","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":"Q5099781$C34C4209-50BE-4906-955F-EAD1383C9816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"673b87744104949530112ac8fb5f1be0e6b41ebd","datavalue":{"value":{"entity-type":"item","numeric-id":2397814,"id":"Q2397814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744ea0c6dbbfb8587bad870b005f43f6d1913a4c","datavalue":{"value":{"amount":"+0.7264870405197144","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":"Q5099781$F5E087B5-9275-4485-9A6A-DE754BBE3811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91e92a406cf765e4d14190380920ef55fc1023bc","datavalue":{"value":{"entity-type":"item","numeric-id":5000260,"id":"Q5000260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b47823c2e7e7a446a030ce498b98a99c42c005d0","datavalue":{"value":{"amount":"+0.7191851735115051","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":"Q5099781$78EB618C-6070-474B-A32D-5F26C92CFB8E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5099781","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5099781"}}}}}