{"entities":{"Q1371313":{"pageid":1382053,"ns":120,"title":"Item:Q1371313","lastrevid":68754945,"modified":"2026-04-13T01:50:41Z","type":"item","id":"Q1371313","labels":{"en":{"language":"en","value":"Modal logic over finite structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1080668"}},"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":"Q1371313$A5D4F738-6088-4566-BC88-9F67436E7104","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3946d75a9041df3e191c5f23646ea259bfef445a","datavalue":{"value":{"text":"Modal logic over finite structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1371313$83B34486-2019-4952-BBD0-72367AAAEC49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0da08964230bad55d82388d753c367e7f634ba8","datavalue":{"value":"0882.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371313$24D608B3-0B84-464A-81F9-79A1C960F2FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0c34100994272d3d2675f9db875dff2cb767a6f","datavalue":{"value":"10.1023/A:1008275906015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371313$C31545AF-8FF4-4FCE-8AA7-D716E9858828","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2477c4438484cc2d4b93c5ee2a14c06fcc0c2090","datavalue":{"value":{"entity-type":"item","numeric-id":948885,"id":"Q948885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371313$DDB76638-3F0B-4C85-8A44-42FB7E3FC1D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371313$D8BDD291-ADB9-4DFF-9563-83B2F5F2A5E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d90d85b920e511ea1943635a009d3bb8b683c3bf","datavalue":{"value":{"time":"+1997-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1371313$A56D23F5-226A-4741-9EA1-322139112274","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371313$D15842F9-CA4D-4100-B176-B149B95EF72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371313$9FF1B854-E158-44F5-92C7-522B6C485E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371313$32309A4F-59DB-49F8-AC25-8318E236E592","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2eabe4ad992e930b3bedbd00085b18c00dad014a","datavalue":{"value":"1080668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371313$D4F93DCE-B6DB-4934-99B8-14B18DCE860E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371313$68A99102-1477-466A-92F6-F021F4A140D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c098f20c3abfab10c3f7cf95d9c12b29a9e16dec","datavalue":{"value":"preservation theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371313$7DC29CBF-E3D4-43A8-A503-5CE7AAFAA6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371313$2677885D-9F2E-49D7-A495-DDC561B918A6","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":"Q1371313$3FD37CC6-BB10-4D80-B623-9C8F054EA78D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e1be4ce8c966efd6d5252748d8af90e82f47d5","datavalue":{"value":{"entity-type":"item","numeric-id":4345015,"id":"Q4345015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc24599013ae96491c94445077b2b8a19fe81a78","datavalue":{"value":{"amount":"+0.8111420273780823","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":"Q1371313$B7F5BBF1-AF51-4314-BFCE-1DB0A5A4BF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe9d92ea9faa7a7c247b83470590b5f7cb48217","datavalue":{"value":{"entity-type":"item","numeric-id":714726,"id":"Q714726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54d8cd9b5b96b0e9acd9ac3687a9a634fd0b4f35","datavalue":{"value":{"amount":"+0.8015057444572449","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":"Q1371313$DD11AC02-CD9A-4C13-9AC3-AA41038F2D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3541bdc54273d257e700ed4d7d4954bcdc84cd3","datavalue":{"value":{"entity-type":"item","numeric-id":4860647,"id":"Q4860647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"341cbb990d935761e53b47d95de94c3ad74f9291","datavalue":{"value":{"amount":"+0.7882177233695984","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":"Q1371313$371E3EF4-4913-4FF1-A699-B1BE8E6DC809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b60bdfb1d24a61ff6a4cde85147b64b891f2386","datavalue":{"value":{"entity-type":"item","numeric-id":732052,"id":"Q732052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a921c8e6ddb8a859848c4727bd6b6c5ffd55df74","datavalue":{"value":{"amount":"+0.7844210863113403","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":"Q1371313$C19D8E17-F9AF-4B39-AEBA-E10CE68A496D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal logic over finite structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_logic_over_finite_structures"}}}}}