{"entities":{"Q3984427":{"pageid":6014297,"ns":120,"title":"Item:Q3984427","lastrevid":46226053,"modified":"2025-12-24T08:44:11Z","type":"item","id":"Q3984427","labels":{"en":{"language":"en","value":"Incompleteness results in Kripke semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 26206"}},"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":"Q3984427$641584F8-A38C-4826-A35B-315713F42D3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b72c48b2c40dd958f09b74c85661f06dbc75af63","datavalue":{"value":{"text":"Incompleteness results in Kripke semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3984427$2ADD7783-0C80-4739-994C-7A4D78D582CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c4e2040956c27bba8c80bfa1374945ae5d48dc1","datavalue":{"value":"0745.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984427$6B725630-9DD0-4C64-82F6-C7DA6B28EC0C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82bfccc25b9e76b013353e0e93d7c8549348dc59","datavalue":{"value":"10.2307/2274697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984427$37E986E8-6F65-44AD-BA3F-B3E5F1F00EF5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44f075398e4ccd740a9ac00697271020232935ff","datavalue":{"value":{"entity-type":"item","numeric-id":284229,"id":"Q284229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984427$BBB4C44C-4672-451F-8BED-D3F73612EFB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984427$2E1641A6-26C7-4E1D-9E64-3EE1A5B2ED80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3984427$6EF6131B-2116-4CD8-B09C-0EAA84B98EBD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984427$7EB41539-B204-40F7-B68C-9D54458E462F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984427$DF782781-4DE1-4431-A2BB-746DE797D148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984427$A7EC6CFF-F59D-4B2C-8C0A-CB9BCD6134C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984427$908AFF3B-5238-4EE1-BDF5-D190A0092974","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6685ac9ed15e92e456ec5769222b6f69bebbaa46","datavalue":{"value":"26206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984427$FD7DE4BA-E378-4D86-9C8D-89A1957D9A74","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810500790c3bf4aae7a430c18a31e7af9ae3ecad","datavalue":{"value":"Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984427$CA03CDDA-9EA9-4C7A-B11D-9F8257B53145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984427$68D01C10-D00D-4996-AF79-227618EB4F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984427$9EE912B5-D7A1-424C-A0DA-6E5EF53B07B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef04a56c5ed303837710d783357b74dde4b8b64c","datavalue":{"value":"non-classical predicate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984427$5A5F5618-2FDD-47E8-B836-834889DFA869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d67267e68e98bd00a75db3798f2e877a8202e796","datavalue":{"value":"C-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984427$6E57E162-FA43-448A-8E61-7F3B52062F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984427$3A605CC2-3C42-4C07-8A5C-0DE8D02C3415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984427$F400E74B-A72F-440E-A03B-F1A8D0EEC78A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q3984427$178CDCD3-4977-4FD9-AE84-7A2C43D04D81","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":"Q3984427$3B73EAC1-95C8-4D0E-A6DB-C351F4A99F95","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c22713105d60693a9b7dbe177f1653a2cb4210e","datavalue":{"value":"https://doi.org/10.2307/2274697","type":"string"},"datatype":"url"},"type":"statement","id":"Q3984427$1FB1D491-F6D2-4914-B227-E13D0070BBE5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61643f3dce35709777e69f0077e605de35482447","datavalue":{"value":"W2130098903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3984427$9F968ED2-07AE-40AF-A8C9-504FC32E81C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d2065d700f2825fdfa933ca5dcce9965a089dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1264137,"id":"Q1264137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984427$5A75FC18-5A6A-4493-ABAA-B72C36865A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"344479c6fdfabaca14baa31cdbd035d071175c1e","datavalue":{"value":{"entity-type":"item","numeric-id":4039735,"id":"Q4039735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984427$5D888B46-E416-4362-8315-B2BD9D4C2806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14376b5b2c6d5d1a71dfdb9777698005177ff4de","datavalue":{"value":{"entity-type":"item","numeric-id":1210825,"id":"Q1210825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984427$44F8C693-7E6E-459D-AEFD-D91C4765CC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07696fca1aa99d197789cc76962015833ce12ac8","datavalue":{"value":{"entity-type":"item","numeric-id":582278,"id":"Q582278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984427$74AE9364-7A1C-4EB1-9A3F-C698B75E775F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e2315a5bfee579bf47ae0bf7c08aecb76d3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4777279,"id":"Q4777279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3984427$41EA0CD0-BE09-4CE1-B257-1F84FDA50981","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2eb0c66507e60f7c8b5ecd843790ecc80d91a91","datavalue":{"value":{"entity-type":"item","numeric-id":4853321,"id":"Q4853321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b1867832ae6859fadcd3cb2fe8b10bad5f7986","datavalue":{"value":{"amount":"+0.8643292784690857","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":"Q3984427$5DAD8D73-E128-47CC-B4CE-8BDF0E0BE17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d78a0fda2c3883c9b3e074cbf2a4cc173484521f","datavalue":{"value":{"entity-type":"item","numeric-id":4694215,"id":"Q4694215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3aa89e7781686b21bf3c2ddc9b78a7ae5e0147","datavalue":{"value":{"amount":"+0.8514447212219238","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":"Q3984427$B4FC8905-3245-4943-A6C7-D24498DC9614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d23a84a831721a7754e784d45ca446dbf86c518","datavalue":{"value":{"entity-type":"item","numeric-id":4366129,"id":"Q4366129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aab135a9071c11ee5f3509444d1a3b12c7defa4","datavalue":{"value":{"amount":"+0.8408077955245972","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":"Q3984427$AC69E134-A1AC-466B-82E2-D7271A5C39AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5266f795a9ef5ad750ffb8b9decde22c41234628","datavalue":{"value":{"entity-type":"item","numeric-id":4198476,"id":"Q4198476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de423b1a855ec7da5f51e257881cb56c4758e58c","datavalue":{"value":{"amount":"+0.8388741612434387","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":"Q3984427$867E5B1D-E2DB-499B-BF90-5086C1BBC90A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3984427","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3984427"}}}}}