{"entities":{"Q3656771":{"pageid":5686677,"ns":120,"title":"Item:Q3656771","lastrevid":80911187,"modified":"2026-05-06T17:17:05Z","type":"item","id":"Q3656771","labels":{"en":{"language":"en","value":"On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658009"}},"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":"Q3656771$E4D1FFBE-0FF7-4A57-93D4-F1286C70C8C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fa696b616c7f2364816586f922e49ba9e71f3b9","datavalue":{"value":{"text":"On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3656771$35E65DFF-6A29-47F9-BB81-CAA993ECED05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b5e5b368871dc65a99e9d415c2d947a8abf9363","datavalue":{"value":"1193.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656771$1CB961A8-D93C-4803-892D-81BC9269DCD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65fce13c76b03bec4a57e6b04fa4e225a456e870","datavalue":{"value":{"entity-type":"item","numeric-id":519845,"id":"Q519845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656771$F573774B-93C1-4977-ABAB-C445F790FD4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7ae205d063227bc6a8fe4b8cec53b398b20968","datavalue":{"value":{"time":"+2010-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3656771$161F0F54-D450-4B0E-97A1-B955A6C50D16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656771$D76CDE11-4629-424B-A66D-D1F1C46AF685","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d9c70789aa3c5ffd2436a3bd25588616776ab94","datavalue":{"value":"5658009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656771$268183FF-55E1-417F-A6B9-D517C3BE539C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656771$4CC973BB-6ACF-4D7F-A7D4-6DD0E73C0F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"911a1184887175467405cdb9bb5a997d6b5c9c08","datavalue":{"value":"Kripke frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656771$7D962201-6FB5-41C6-A269-B66639965804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810500790c3bf4aae7a430c18a31e7af9ae3ecad","datavalue":{"value":"Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656771$5B9203D2-5687-4434-918F-244613B49FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf62870eca55d86dd453a2d1ccf239970f8b97cb","datavalue":{"value":"general frame","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656771$B4E06F8D-EC32-487E-AA05-4AF0E169E799","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":"Q3656771$32420A83-1D19-4A07-8323-CFB94ED72BF6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"67dff937d6a4d423c82f2f6fac958d1fd1a4a119","datavalue":{"value":"https://doi.org/10.1093/logcom/exp020","type":"string"},"datatype":"url"},"type":"statement","id":"Q3656771$8F2B676D-668E-4C05-AC0D-9EA83F0DA60B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33ce04e01df0c8853c5584f9cc69a7bbb5b5d16d","datavalue":{"value":"W2139408812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656771$D9CFDE0B-4C82-4816-BE7D-4CBC9CD53189","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89fb0f6421092754f44b658cedc059f3bdaf1e20","datavalue":{"value":"10.1093/LOGCOM/EXP020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656771$8277BB87-041D-43DF-8802-09CBD536F206","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656771$621ED768-16A9-49E4-AFC1-9DA07C3D0DCF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a Finitely Axiomatizable Kripke Incomplete Logic Containing KTB","badges":[]}}}}}