{"entities":{"Q1604792":{"pageid":1615532,"ns":120,"title":"Item:Q1604792","lastrevid":72308652,"modified":"2026-04-14T04:02:09Z","type":"item","id":"Q1604792","labels":{"en":{"language":"en","value":"Refutations, proofs, and models in the modal logic K4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1764810"}},"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":"Q1604792$1C38DF39-DD3E-4C82-B00C-A0A6D22F465E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af7cf96c1feff16103102e91c4143a187f4399c7","datavalue":{"value":{"text":"Refutations, proofs, and models in the modal logic K4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1604792$5413E1A5-986F-40A8-9949-F3B43D12C478","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"169e8e6ea3c78f3ce33f7bb179e1c5d5fa8a88e3","datavalue":{"value":"0998.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604792$BE15853F-AD38-4A95-9D55-DF226B6AC1EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"12f862ee55a13d0ddf40ef01da2cb601869c6f7b","datavalue":{"value":"10.1023/A:1015174332202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604792$0180C743-3618-4ACD-9792-341F1E668E35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30b5148357ddc46afe7867b178a15576d428368d","datavalue":{"value":{"entity-type":"item","numeric-id":689213,"id":"Q689213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604792$45896010-1E98-420C-9DD7-250DED6879C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604792$706DCA6E-954C-4963-98B5-8D67FFE972C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90e1b061609a6c6333868837d9d52a69877236e9","datavalue":{"value":{"time":"+2002-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1604792$4FC5F926-CC90-4BCA-8989-7E60DED2F5BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604792$CCF18708-3F41-44F1-99B6-50053B05F2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604792$56A0DE1D-F01A-4EBA-B51C-8760EF86122D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604792$12080217-5906-4FF3-B4D8-F3AB6724A364","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6911478b25f5a3a8c0ff48196a066dc0d2532e8b","datavalue":{"value":"1764810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604792$2B68F88B-8235-4367-8F27-AD218B7CE6CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604792$2BA48E57-9ED4-49DD-B516-2CD13FD0BB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0179c11b620ab3d836a73c4e6e82bf8a434c8240","datavalue":{"value":"possible worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604792$236C8FCB-8122-44F3-9CC7-B850E94191F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db62a350792cc55561592d9aac705e5ec8b3cf37","datavalue":{"value":"refutation rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604792$B5B0137B-B952-43E8-BFC9-C8AEB1D28708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5155cd0bfe4ae50ee1fc9aae59abb5a92dd91149","datavalue":{"value":"modal logic K4","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604792$DBDB6538-2DC4-4344-B519-ADD1D023A359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"374ff95939d7067ee621c0d62910d186ea5bb26f","datavalue":{"value":"syntactic decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604792$215CF0B9-38DB-4454-85CC-197C07D30632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbcce5d958a0130862ba486d8886f3214101b0c","datavalue":{"value":"S4","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604792$A861AC64-58B8-4562-9F17-903CD71EA752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604792$30734251-DD5F-484B-8914-4EA706F5F7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23cc464888acf28f25bbfeb1a7dbaeb49294f1a2","datavalue":{"value":"Grzegorczyk's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604792$CEEDC387-C678-4EFD-AB7C-2C50D85F6AA4","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":"Q1604792$E0C4DDF4-AFA9-45EB-A2AF-781D685EAC76","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10b1be26acda6d6cee1c7df3dcff93a3b265d1ba","datavalue":{"value":"https://doi.org/10.1023/a:1015174332202","type":"string"},"datatype":"url"},"type":"statement","id":"Q1604792$63DE4011-ED97-4C85-9185-29DA4875093F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"93ed8eef09ed4d939c88b003279b4d723f4e8057","datavalue":{"value":"W1601411689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604792$F5C29AC8-BF4D-4439-B67C-7538667DBEB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79c9f77302fb8ee021915d2437a2e73d1660fe2b","datavalue":{"value":{"entity-type":"item","numeric-id":4443210,"id":"Q4443210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f149846264b71e167b49f296dddd0e0e2d27f986","datavalue":{"value":{"amount":"+0.8605166673660278","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":"Q1604792$59A51CD6-B872-4434-84E8-3DAAB1582A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b83eefcd0665f1eb6fd0849f9e056ac58b24e2","datavalue":{"value":{"entity-type":"item","numeric-id":4484080,"id":"Q4484080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8078622ef869a3bf8b40fe8b7ed164d48269ab15","datavalue":{"value":{"amount":"+0.8500714302062988","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":"Q1604792$97684DFD-F716-41D3-97C8-AA7CA064EF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"496e842d9a8776a0237e6290184c86c6b659f110","datavalue":{"value":{"entity-type":"item","numeric-id":5690148,"id":"Q5690148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8078622ef869a3bf8b40fe8b7ed164d48269ab15","datavalue":{"value":{"amount":"+0.8500714302062988","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":"Q1604792$D3EA067C-E7F8-4411-A03F-81736B66B1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e23b5b6d2054e37062b9e08e8a669d4cee8688b1","datavalue":{"value":{"entity-type":"item","numeric-id":5688804,"id":"Q5688804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d2e3eacc0464b9d15ad0e3314876585d0ac7de0","datavalue":{"value":{"amount":"+0.8415513038635254","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":"Q1604792$BB127C85-766C-4E65-919C-FFD786D9BBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca62356704fa695e905996a0c611589544600ab","datavalue":{"value":{"entity-type":"item","numeric-id":1903134,"id":"Q1903134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"102e0536dcac97b97e140237278bc9d539743701","datavalue":{"value":{"amount":"+0.811498761177063","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":"Q1604792$E44E68B2-34C7-439F-8D1B-3903F8A92BD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refutations, proofs, and models in the modal logic K4","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refutations,_proofs,_and_models_in_the_modal_logic_K4"}}}}}