{"entities":{"Q4366129":{"pageid":6395728,"ns":120,"title":"Item:Q4366129","lastrevid":46520211,"modified":"2025-12-24T23:16:50Z","type":"item","id":"Q4366129","labels":{"en":{"language":"en","value":"Incompleteness Results in Kripke Bundle Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1089430"}},"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":"Q4366129$F59E577C-88AC-4045-8639-24CDEF35A925","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd1fb23ebf6bf2bee1c2243aebfaff14fb3e0f78","datavalue":{"value":{"text":"Incompleteness Results in Kripke Bundle Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4366129$1BC03693-533E-405E-8AF0-3611BCC6CE8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"94f9ccd113353cab416439e6227a7a04e437d664","datavalue":{"value":"0886.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366129$D43046A6-D22F-42B6-8CAE-CA050CB97D62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e569c4f34e2074a2253313458517111cc736c5ef","datavalue":{"value":{"entity-type":"item","numeric-id":3900024,"id":"Q3900024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366129$DEE2ADC9-FB38-4616-BFCB-B86A5F6878AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfde7d72bbae351d3f5d2f8d8b3a0e0698d4694b","datavalue":{"value":{"entity-type":"item","numeric-id":1368912,"id":"Q1368912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366129$BF9F6562-0FEA-46B3-9CD1-70825057AE83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366129$58F3E856-8B3F-4D3D-AA8D-D56187EEA30B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9ad10448408cd5d0453e0c76817ffe6c61d936aa","datavalue":{"value":{"time":"+1997-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4366129$9597A313-84C3-46A6-AE45-79669941B961","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366129$A95287BC-DC99-460F-84ED-BE4E6B35A575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366129$EABF89FC-211C-4338-8485-E2DDC4700DE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"adbf21cbfa9ea8d709dfb0f2fb5e0eea044b00ca","datavalue":{"value":"1089430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366129$B782D876-EB7A-474F-8D8E-C906930F340B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ea7bb225dfc0f1ba88b53ac8e959b98d283c0d","datavalue":{"value":"semantic completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366129$C23B97CC-2C5E-40D4-B714-3D875C3FB2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c854c26173425d8047177699d705b00b089de86c","datavalue":{"value":"\\(C\\)-set semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366129$757B80E9-C1D9-4FB0-B493-480784E183FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68257f6b06a1a76dee78d93f061b5cd7267505a5","datavalue":{"value":"intermediate predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366129$9B1D0A38-8960-40BD-9F35-D36065EA0E83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4675a74524331a8e00fee8d0a123bcb4e843ca78","datavalue":{"value":"modal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366129$5200D9F0-FC6E-4089-8CC8-84ADF0D4D677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8ca31375df4b627a356c3785061fcd8ee6995d","datavalue":{"value":"Kripke bundle semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366129$EF666BBC-94CD-4919-A892-26A810E32BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4366129$7BFD3711-C950-45A8-ADA3-122A572F3605","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":"Q4366129$FB2B51A2-2C27-452B-A948-A053651AE71D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"94fe78815308f57fcce0ca9634d1c11c84f81dbc","datavalue":{"value":"https://doi.org/10.1002/malq.19970430405","type":"string"},"datatype":"url"},"type":"statement","id":"Q4366129$B8B13886-C606-4105-8A9D-1CF4F22BFE41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee0cd17f4afb8cc8f95d47d857aac00b2b8d3326","datavalue":{"value":"W2072343750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366129$5CD3E117-6802-4346-B43C-79E71D3C3175","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c474a90a944e7cd909ccf37b4b52d8545b3851c9","datavalue":{"value":{"entity-type":"item","numeric-id":4694215,"id":"Q4694215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366129$BC04A06B-5B97-4E5C-909A-16232F010B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c4978c5926a0efcbb176e632c12b9d71cde4a52","datavalue":{"value":{"entity-type":"item","numeric-id":4896535,"id":"Q4896535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4366129$742ED934-4245-4D59-BC71-F483F77F9824","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da5cd8f9918693c4cce1259e68af09a8250bdb14","datavalue":{"value":"10.1002/MALQ.19970430405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4366129$607E4648-C570-4CC1-B403-F679A8E6440A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51f2a9ccf5ceed86f52fa9acecc47e5c8715eb48","datavalue":{"value":{"entity-type":"item","numeric-id":1368913,"id":"Q1368913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aefddd1dde96ffacd8723471ebe2c185b27ef3b","datavalue":{"value":{"amount":"+0.909531593322754","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":"Q4366129$77209964-F456-44A7-AC22-626884B22295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fec4e7deecb0f7024e304691aad87c74e55c5a9","datavalue":{"value":{"entity-type":"item","numeric-id":5311050,"id":"Q5311050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c88b97ffdad78fb5489bd2d8505ffe2f485552f","datavalue":{"value":{"amount":"+0.849066972732544","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":"Q4366129$A1166D5E-133C-4252-9F69-3392D5773154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5ea295b6964e64538eee52a64ad63b98be2f59b","datavalue":{"value":{"entity-type":"item","numeric-id":3984427,"id":"Q3984427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1965f79f6c85d27c149219b1f346c5a1c9551d5e","datavalue":{"value":{"amount":"+0.8408073782920837","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":"Q4366129$0F625706-E9D2-4B49-980F-7E80C38B731C","rank":"normal"},{"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":"c17e5c758f03d8abf431233320f125e3e73b61af","datavalue":{"value":{"amount":"+0.8162360787391663","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":"Q4366129$46F39220-2AF0-463E-A311-15198DDBF21E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4366129","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4366129"}}}}}