{"entities":{"Q744988":{"pageid":746837,"ns":120,"title":"Item:Q744988","lastrevid":64093596,"modified":"2026-04-11T17:36:09Z","type":"item","id":"Q744988","labels":{"en":{"language":"en","value":"The complexity of one-agent refinement modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6493331"}},"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":"Q744988$3D2133E3-A811-4A25-87C5-1BCDC783E068","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40a1087af7cac5b96a751b79850269adfed2e266","datavalue":{"value":{"text":"The complexity of one-agent refinement modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q744988$83A9ED1F-8085-4B54-88B3-2092B92284F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c395f261db13bb97c258278a22438728706adc9","datavalue":{"value":"1347.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744988$1D65F461-C4D3-493A-90B6-8B83DFB0E13B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$4A111C83-0D4C-4471-BA06-C15C4D4A0279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12d2defd50916b97ca1549377618bc805a4e9be","datavalue":{"value":{"entity-type":"item","numeric-id":476193,"id":"Q476193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$CE640F77-7709-4B90-AEF3-6406AE00F016","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"43f27638688e066d21e35c07e7ef6cc3de4c06e2","datavalue":{"value":{"entity-type":"item","numeric-id":813421,"id":"Q813421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$175502DD-7B55-451D-8CCB-834D0E7A4885","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$9EE297B4-934D-4034-95D5-495DF8B6A220","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5981dc1780667b005458bf584649c04baa5310fe","datavalue":{"value":{"time":"+2015-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q744988$29B736EA-156F-463F-B6ED-182F1768E5CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744988$99D84BED-7AFD-4F6C-A98E-2B5DF2D4FDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744988$F0AA031A-F5DE-4670-A8DD-BD0196F01AE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd12dbfcfc191e397dbe1ed7206e25832f303ba7","datavalue":{"value":"6493331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744988$FDED871F-EB40-4657-AF1A-7E1487B08865","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q744988$51DD766A-239F-4994-A099-9D1F1DE57D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e40ca3fb9ac74b8086053a949034fc22f2c00c8e","datavalue":{"value":"complexity of satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q744988$6C864FF1-D061-4BC6-AC6E-9DF47170288B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d13fe3141ed30017042d09d7bb940bc6ac1211a","datavalue":{"value":"bisimulation quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q744988$A7F2BFF0-D0F6-4314-9545-FF469C2C6D2E","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":"Q744988$2D4F6949-7BB5-4CE6-A5B5-D5084C3D9A77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1faa5ee75efcbbacd58a96a402b06f411b79e17","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.07.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q744988$05BB43BF-B440-48B4-975F-BA467A3B0B78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c91029e4f607c66d273931135b2db232052fd3f","datavalue":{"value":"W2173381095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744988$D5CA1338-79A6-4EF7-9BBF-753976F2277C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eefb783343957d0945e5501e39925063813fc5fb","datavalue":{"value":{"entity-type":"item","numeric-id":2915064,"id":"Q2915064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$72B2A937-4485-4389-BC9F-D6EC772F03AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e52f372fafe719de5108c59e0672833ae8788a32","datavalue":{"value":{"entity-type":"item","numeric-id":4055622,"id":"Q4055622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$5A7532F4-78B3-4CAD-B407-F3A51EF5982A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8072f505c73f10095962efdd22fa881d5ec0299e","datavalue":{"value":{"entity-type":"item","numeric-id":3510800,"id":"Q3510800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$92CC2030-88A3-4F7F-BFBB-E2A56D83D566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb38f7eafd4b5a52aec0a6821384893d113049ab","datavalue":{"value":{"entity-type":"item","numeric-id":3580674,"id":"Q3580674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$E83CB5B3-7D66-4C08-99C3-5C44CA7118A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e4cb03cdd580b04360180c3b995b714114438e","datavalue":{"value":{"entity-type":"item","numeric-id":3086938,"id":"Q3086938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$B5CB0B96-2A63-43E8-9CE8-FF146A9C7D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38977d123654853ace0c471d6d8409e75d61283c","datavalue":{"value":{"entity-type":"item","numeric-id":3644777,"id":"Q3644777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$484D00E0-40D3-405B-9D09-1AF115D8ED87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de5d1e1720b0b673fbc764e367ee2e3654b30011","datavalue":{"value":{"entity-type":"item","numeric-id":2904048,"id":"Q2904048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$AC398613-2A17-4F36-95BB-406E61EF53DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$F6673090-2C39-41E1-90C8-B88505F401C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$7F6ED20D-2F92-48F1-A786-8C101993ED4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c568fbb12fc5452c9699a0a3e0159154b2a6454a","datavalue":{"value":{"entity-type":"item","numeric-id":4385525,"id":"Q4385525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$522D6AB2-E132-4ACF-8D25-FD7A83512162","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":"Q744988$AE3663EF-6E56-480B-AB58-685E6715EC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$6C2E88D0-0BF5-4E0B-98F5-0BA6FED55E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$7451CFE6-0BB7-4566-AD02-1DA391AD5EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26ab04b8ef56dde32a7e6eae1bb96098c740931e","datavalue":{"value":{"entity-type":"item","numeric-id":4449214,"id":"Q4449214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$FE3DC4AC-6046-4870-B037-9390E1211667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74eec834971a75b92aae841b2c83f9c1a887997","datavalue":{"value":{"entity-type":"item","numeric-id":1159661,"id":"Q1159661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$506E5BED-A634-48DF-85FA-4FD79F226DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q744988$D7CF7BE4-4E29-4F54-8F2B-F55ECE18F030","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6336af1344c1991db4e907e932d463f7370db196","datavalue":{"value":"10.1016/J.TCS.2015.07.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q744988$41B4F403-0F3D-4FC4-9883-A156109A55B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e95d007dfebc03bc298c435f9af34b62b5928da","datavalue":{"value":{"entity-type":"item","numeric-id":2915064,"id":"Q2915064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"046dcb868d763c331dca2b17d1e7518bad955638","datavalue":{"value":{"amount":"+0.994834005832672","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":"Q744988$A59B6D14-3203-4D47-83E0-663D046AC695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec92436370c595b95fddd51996f595498ae0597a","datavalue":{"value":{"entity-type":"item","numeric-id":476194,"id":"Q476194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"941d339d66edf62dd97f4f81743ffaef64950ef1","datavalue":{"value":{"amount":"+0.8283460736274719","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":"Q744988$5A274FF5-E5E8-43E0-8CBB-D61888A6A616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1519f4043748fba84530f4d06621c91709b0c597","datavalue":{"value":{"entity-type":"item","numeric-id":2825410,"id":"Q2825410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a483b165bbc709d910c0dcabe566720757758bfb","datavalue":{"value":{"amount":"+0.7408629655838013","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":"Q744988$C19493C7-7719-454F-8ED6-1F665EDC26B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599ca9a202bd5b14773bfd0d0892eddec262c664","datavalue":{"value":{"entity-type":"item","numeric-id":4501537,"id":"Q4501537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e88ad637c40ae2d032f3d9411522ede48c8e8ce","datavalue":{"value":{"amount":"+0.7293399572372437","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":"Q744988$3BE070FA-481C-452C-BAC7-6F7F3AE5E73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fedac2374420c26f94c6d0c4142bf94246149e","datavalue":{"value":{"entity-type":"item","numeric-id":3525632,"id":"Q3525632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e88ad637c40ae2d032f3d9411522ede48c8e8ce","datavalue":{"value":{"amount":"+0.7293399572372437","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":"Q744988$1A4EED0C-E4C0-4CD2-ACF9-D9323E5C815E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of one-agent refinement modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_one-agent_refinement_modal_logic"}}}}}