{"entities":{"Q631087":{"pageid":632935,"ns":120,"title":"Item:Q631087","lastrevid":63104823,"modified":"2026-04-11T10:36:41Z","type":"item","id":"Q631087","labels":{"en":{"language":"en","value":"The complexity of satisfiability for fragments of hybrid logic. I."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5869150"}},"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":"Q631087$A5A52036-860C-46A2-AFD2-156B37FB610E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5049b6f80360071e7894213fde11178366d28dc","datavalue":{"value":{"text":"The complexity of satisfiability for fragments of hybrid logic. I.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q631087$7F425D8E-63C7-4E7C-8EB8-829786B4E55D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bec2ad6011ec54a92e276209f6a332715784265","datavalue":{"value":"1215.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631087$2CA0D1AB-1235-4CD5-BC08-9BB753D66E3A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$0557F617-8C66-4391-A718-477654C773B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$26F20A40-74BD-4D44-A96A-4DD556B32083","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec164f2bfe48fa82cbe0f6953c3fa41144bb83e0","datavalue":{"value":{"time":"+2011-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q631087$0B578F2D-5ECC-4867-9F1D-2CEBC02DD4D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631087$7623E765-AFC4-4809-B488-C4030555D603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631087$661805DB-C89E-41C1-B3FE-158955E32B6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d06222c1df2ad47666383785cc04704a8e301d89","datavalue":{"value":"5869150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631087$5D362F43-426B-422D-958B-DCA5A2F1B1BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q631087$E3A3CF07-038C-4828-8142-2FABFD843029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q631087$C0091B43-4EE4-40A5-881A-5BAD55ECE574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q631087$7902BFEA-88DA-40EA-A325-2A6B3627523A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q631087$14635EC0-0E0B-4284-BEDF-AEBAC7EC3118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff0a2602dda426cf1e79110d04984cc7aa91137","datavalue":{"value":"Post's lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q631087$B7CFB7F5-88CE-44D5-8B54-A2F66AF37880","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"6bd0d5cd3f6546a5788924befefa082f3c231b1c","datavalue":{"value":"Q57998323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631087$D46D4F60-6F42-4203-8750-8796E4AC3B75","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":"Q631087$79BC686D-1271-4408-9EF8-7CB4BE975E22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad220fbbec98c856e3b6bca6b5caeb2a9b80df1b","datavalue":{"value":"https://doi.org/10.1016/j.jal.2010.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q631087$3E149767-1625-4321-A20D-CCF2FB448257","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d118bbd08d4c192e9c3eb98b75d18844a3608ad","datavalue":{"value":"W3100064989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631087$7ACA3F2E-D457-4DAA-87C5-CF222B874A32","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f679be7e862c11d0f8c9c30d7bdfa2a2fb7096c","datavalue":{"value":{"entity-type":"item","numeric-id":4511543,"id":"Q4511543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$40625762-69F7-4481-B4D7-ACA8649FAB39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c1d16c75ff551f6c84b8a34307f622523d123","datavalue":{"value":{"entity-type":"item","numeric-id":5449825,"id":"Q5449825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$425B8495-09B0-44FC-A262-EB557198A0B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b26059adbb73b62187c785afebbe01c80563747","datavalue":{"value":{"entity-type":"item","numeric-id":4982126,"id":"Q4982126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$93C46049-CD02-4D1E-831A-C211BCEF11D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"070e2e89c3486a2c9d067a01dcc011ff74bd361e","datavalue":{"value":{"entity-type":"item","numeric-id":4487266,"id":"Q4487266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$7D40A000-DB42-4AC6-8E5C-592F08690ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"372a95fa85b54853eb1f9c694aaffe0cdae4c732","datavalue":{"value":{"entity-type":"item","numeric-id":4215593,"id":"Q4215593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$6E17B86D-3CC0-42D8-A1BE-00D5B8ADEAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac39009b02d665615197d7e096b2c1a708472f78","datavalue":{"value":{"entity-type":"item","numeric-id":3532457,"id":"Q3532457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$7D2D4D8A-A5CB-41B1-8981-8983246ECCD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327a189a3a4dd20b1eeabae77cd3ca357f06161c","datavalue":{"value":{"entity-type":"item","numeric-id":989170,"id":"Q989170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$E99C6D93-C4F0-49DC-8DFB-01C43AF01962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5224136359b3dd7d2e222d49c123234f333b6dd9","datavalue":{"value":{"entity-type":"item","numeric-id":1362332,"id":"Q1362332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$85A9272E-889F-46CB-B522-29CBDB852150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5fe7a89f7f67f2bcf836fe38b4eb4e332645b1","datavalue":{"value":{"entity-type":"item","numeric-id":1919987,"id":"Q1919987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$6E827C98-7A48-4814-ABDA-5878F5A3050C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19f476881bc6952676ee2735b6a12988a4ff13d","datavalue":{"value":{"entity-type":"item","numeric-id":2761753,"id":"Q2761753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$25AF03C8-D00D-4E9F-BAEE-6DA3B526C795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$F8E15CD7-27AA-4E85-A1A1-EEA00F1F9B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b734e6760bbdd08ae5a1fc852d30b434587c57bb","datavalue":{"value":{"entity-type":"item","numeric-id":3864500,"id":"Q3864500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$4D04301C-A076-4DD9-91D7-605A1D35C36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"508ebb12f962af56c874bab1f92b832a5ddeab28","datavalue":{"value":{"entity-type":"item","numeric-id":3182957,"id":"Q3182957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$74835D04-2EBF-4343-B869-6E87FE0E1C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6be9e522a8a382b3a3dd054801106426e94ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":631087,"id":"Q631087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$6F7CFFCB-E2CE-4B92-98C4-435E8315A27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e27a5bdf444ae833afe1316cf9afeb1fede55f6","datavalue":{"value":{"entity-type":"item","numeric-id":1047797,"id":"Q1047797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$C1730AC2-4EFF-4009-BE0F-26E7764A5DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df85c1f399cda10b8cef850e5a122ed52667605c","datavalue":{"value":{"entity-type":"item","numeric-id":631089,"id":"Q631089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$2E1A7709-2B6B-4F98-9D30-2BE056EF8C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$6A8CA2E3-BCFB-403D-99FC-8AD4D053CEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04fb702774e8379a072aabd3073f1f729a4f9458","datavalue":{"value":{"entity-type":"item","numeric-id":4354427,"id":"Q4354427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$469AB60A-A5E5-4212-8935-21C923A00CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$7F73A007-FC02-4A1C-B814-D595C681A0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a9b9d917e6c59dc59e3249ede44da092015416c","datavalue":{"value":{"entity-type":"item","numeric-id":1389651,"id":"Q1389651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$45964A7D-9E85-4183-B38F-58554BBA70BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$9120D01E-2FD7-43C5-9F2C-6E3223B3EDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa183c2c4719e8fb45d86d412fa371263e7dc90","datavalue":{"value":{"entity-type":"item","numeric-id":3590974,"id":"Q3590974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$01C33CF4-A679-41D0-B99E-C3E5FEF3B6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075c2cf58166175d5291a0e6c66d7d0ecc5afe2e","datavalue":{"value":{"entity-type":"item","numeric-id":3590965,"id":"Q3590965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$BA728407-074E-4CAA-8877-302E1FBACB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc0406600f6effcdb4c13b35f1faeb033950873","datavalue":{"value":{"entity-type":"item","numeric-id":5394587,"id":"Q5394587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$5297FE82-0E55-4C73-B0ED-D71089893A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29d74bf9697478d7d13b2930ec27702054ab118c","datavalue":{"value":{"entity-type":"item","numeric-id":1047801,"id":"Q1047801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q631087$1A1D4685-AB28-4CE3-8FE1-15F8F4B8CC08","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"66ae93e4bc4bd9eeb52a0e105b337ee0724d41eb","datavalue":{"value":"journals/japll/MeierMSTWW10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631087$1FA44B74-3970-4D04-B777-7C727FD613F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0db1f0cd8ffc76513b9123b36f135d8855197a64","datavalue":{"value":"10.1016/J.JAL.2010.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q631087$186CB6E6-7336-4933-96CF-E5BD837B50E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a23dfb12d48dc88cde38e7970ddea0c6b4bf318","datavalue":{"value":{"entity-type":"item","numeric-id":3182957,"id":"Q3182957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc983f7fbba24d4f31924ba301ca69e24ee067f","datavalue":{"value":{"amount":"+0.998646080493927","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":"Q631087$F6374E3E-2B49-4373-B0D9-6456C2A0E0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e666c699d6edee48e57bafe1440684ed632d35df","datavalue":{"value":{"entity-type":"item","numeric-id":5394587,"id":"Q5394587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9f97f448e7978cff6b0a950ae7ca0fb8ec79f9","datavalue":{"value":{"amount":"+0.851031482219696","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":"Q631087$E4EE4577-6BC1-47D7-9DD7-395CDACB3B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"879baf54907bb1097df87f9ca598554f4e06e691","datavalue":{"value":{"entity-type":"item","numeric-id":5419883,"id":"Q5419883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286d28e7ded667af6da2648da28df17349487210","datavalue":{"value":{"amount":"+0.8507577180862427","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":"Q631087$C71EA785-FFC7-4FAF-9750-CB6765355F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989ee0fb643679764fd5900ef03d6e53ef1e827e","datavalue":{"value":{"entity-type":"item","numeric-id":3590965,"id":"Q3590965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86cf892662a443b63de999dd30a0b665f7eadb47","datavalue":{"value":{"amount":"+0.8505970239639282","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":"Q631087$3E16C92A-1991-4C13-B606-05E7C670B425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489f8dcd5e821ee534349d8578ce55e7c3491fce","datavalue":{"value":{"entity-type":"item","numeric-id":631089,"id":"Q631089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b29d20d84daec52bb788201a43d32771dc5bdc","datavalue":{"value":{"amount":"+0.8503075242042542","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":"Q631087$CD8EC286-2961-4E34-9756-B4C1EEDB144B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of satisfiability for fragments of hybrid logic. I.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_satisfiability_for_fragments_of_hybrid_logic._I."}}}}}