{"entities":{"Q1220492":{"pageid":1231241,"ns":120,"title":"Item:Q1220492","lastrevid":66920352,"modified":"2026-04-12T13:44:29Z","type":"item","id":"Q1220492","labels":{"en":{"language":"en","value":"A tableau system for propositional S5"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3490949"}},"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":"Q1220492$7BBAD2F3-E1CF-46BA-BA09-0F44C501A305","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d17a40f91128f8a8cdc4213d8178da53037cab3","datavalue":{"value":{"text":"A tableau system for propositional S5","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1220492$66F84A57-3AC2-49EB-AA0D-1E3B65CE9CE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7acbd9200e81c55df353a58c20b856fbc614ffc6","datavalue":{"value":"0314.02039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1220492$B2C655EC-48C5-448E-9DC4-9E130E4A5FCE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1220492$66934138-58AC-4124-99E5-7950BEFD569C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1220492$2F409F21-956B-443D-A2A8-B65190B3CBCE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1220492$E8AD0D6C-C500-4F1E-93DA-564A31D46623","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1220492$44C3C74E-5217-445A-A7CA-7B6A18A0B8EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"460e788600eaba84c9ef481172ff362db9b5b1d6","datavalue":{"value":"3490949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1220492$F18D9A2A-67DB-428A-8A67-68AC9297ADEB","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":"Q1220492$70FE5A45-BF50-46D8-8894-ED5E24A51EE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c402730a82a8d66aaecadbabc72205ed4e80079","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093887933","type":"string"},"datatype":"url"},"type":"statement","id":"Q1220492$AB96A999-07E3-4160-A3CA-412E05E1C324","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ed22dcf9bb6a2787879c7b7527357bc82c66fe5","datavalue":{"value":"W2134228926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1220492$AB349693-C449-4CB5-8516-0121D04AE2B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc739b892b010896d91f31698f268430135c4c31","datavalue":{"value":"10.1305/NDJFL/1093887933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1220492$FCAD427D-E4A6-4674-A096-13BB4720F35C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A tableau system for propositional S5","badges":[]}}}}}