{"entities":{"Q5310652":{"pageid":7340226,"ns":120,"title":"Item:Q5310652","lastrevid":92118425,"modified":"2026-06-05T00:54:51Z","type":"item","id":"Q5310652","labels":{"en":{"language":"en","value":"Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200122"}},"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":"Q5310652$3B770019-4F3A-4B94-A4D0-557C1D17F2B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"150238b49fcccaab1e654a130b7393a002bb5091","datavalue":{"value":{"text":"Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5310652$1727B4E0-87AE-4D88-9B24-B8AF78FBA611","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ddabe9826fdb098e69dc172af4b2d863e712db35","datavalue":{"value":"1126.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310652$08D24743-6E06-4D1A-BEB4-A863853D7413","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef2015a5f45b49edf37510bdec2dbb91e1e3fac7","datavalue":{"value":"10.2168/LMCS-2(1:5)2006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310652$DDC70C8F-1352-4179-A610-F37C7C2A840F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbcbd9b52a6ddb457f866f9e91ab3def8d7a2fd8","datavalue":{"value":{"entity-type":"item","numeric-id":409327,"id":"Q409327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310652$D91EE0DD-BEA2-4D59-8E1A-8DFCD8AE9090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310652$4A8BE9FF-1F9F-416D-AECA-6B465F382980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7ea5f16cc816facd5f588acca584d7c7aab2792","datavalue":{"value":{"entity-type":"item","numeric-id":454384,"id":"Q454384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310652$0008C9F7-6931-4DD9-BF81-FD52D0C17192","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310652$6AC13EFC-F1F4-4AC0-89C9-F6A2BA86FC91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed1935546ab8f090eec5de6a789f71af1a2fa706","datavalue":{"value":{"time":"+2007-10-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310652$D0877FAF-E1D4-44D3-8322-8FC6A5630D76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310652$48B18AEB-8718-4BF5-9C38-420DE6532F81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310652$BB936EE1-9B42-4891-A8AC-0B64167D3FB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fcfacfa7a67eb959b247a0f21dae6f64cbe9fb73","datavalue":{"value":"5200122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310652$98960D43-AA2D-4323-9D89-D3DBDC1387EA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32c0234b8935e237c0680aaeb54d8e59eea56a5f","datavalue":{"value":{"entity-type":"item","numeric-id":15589,"id":"Q15589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310652$AC003BC2-D1D3-462C-BE43-62E8E11F880C","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":"Q5310652$87D0FF02-94AE-4774-9861-F0E329DC6F6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1e58b4a659d599cb38b484e36ecd03e647cf609","datavalue":{"value":"https://doi.org/10.2168/lmcs-2(1:5)2006","type":"string"},"datatype":"url"},"type":"statement","id":"Q5310652$CE57C668-D5A1-4200-AF4F-61E1D4E18F17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4078afa6ee103fe99220221adb6fa284ac28e6a2","datavalue":{"value":"W2950450725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310652$9B517FBC-284E-4A27-91E9-3BD7D298D3C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0411f7942d00b9b5179ac8ca344e8b19aea35ef2","datavalue":{"value":{"entity-type":"item","numeric-id":3643312,"id":"Q3643312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da31f8e92a28069d77d02c2fd345c4d1f87c384","datavalue":{"value":{"amount":"+0.9388405084609984","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":"Q5310652$17289C80-ED35-4A23-BF10-F704FD755112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925fbffda528c02aac39344d06dd1a17c0231c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5324584,"id":"Q5324584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e41cdd7b3e07507427eec45051463a4ecd12ceb5","datavalue":{"value":{"amount":"+0.9192889928817748","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":"Q5310652$4291A3F1-0812-4084-B8B8-35FE764764C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca32e838e7ade0031addbe2e5ffa7bb4ff03699","datavalue":{"value":{"entity-type":"item","numeric-id":3431963,"id":"Q3431963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f48c3c03244e3d4a09b0d8edd5eeb08c444c05e","datavalue":{"value":{"amount":"+0.9128909707069396","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":"Q5310652$350EB6D2-6D28-4390-B594-880D18B44EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29e713091ed4a3618d64dd00a19b9397626c4aed","datavalue":{"value":{"entity-type":"item","numeric-id":631077,"id":"Q631077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8494eaccde5c4993675d0e2350a1c5c162f3cf46","datavalue":{"value":{"amount":"+0.8894362449645996","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":"Q5310652$A6EA689B-B6FA-413D-9369-87667A96395B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ea8d8165302dc2ce23bf39f392b37c4a3acac3","datavalue":{"value":{"entity-type":"item","numeric-id":4982120,"id":"Q4982120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c198fa2cb4bd890f55d6326bc117a8d42381a79","datavalue":{"value":{"amount":"+0.8257472515106201","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":"Q5310652$8D0FE6AE-3109-4342-98A5-6A8AC3A157CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_correspondence_and_completeness_in_modal_logic._I._The_core_algorithm_SQEMA"}}}}}