{"entities":{"Q1886323":{"pageid":1897065,"ns":120,"title":"Item:Q1886323","lastrevid":69191607,"modified":"2026-04-13T05:22:57Z","type":"item","id":"Q1886323","labels":{"en":{"language":"en","value":"Modal and guarded characterisation theorems over finite transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2116239"}},"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":"Q1886323$9E5053A5-A4BA-456A-BE79-3F9E638FEE90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c15bb5998f67fcbbaed02714b3ed2e1737348ca6","datavalue":{"value":{"text":"Modal and guarded characterisation theorems over finite transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1886323$DBF3D72E-E600-44EE-9BEB-7890936AC970","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"daf6e08527e02cb66d90b9249ff8d992c71e5616","datavalue":{"value":"1056.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886323$035B378C-8B05-42AC-88FE-378E1A8E47F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$C3969C34-997D-4B67-8485-DC8858955152","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$270B7549-4446-4C70-9B73-D25D4A560EE2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"037fcf95f864ae0e38f5b6894c4f594ea5ca568c","datavalue":{"value":{"time":"+2004-11-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1886323$84860EA2-5CC5-47E5-9502-E11AC3B586D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886323$F59AF810-3620-4078-8E2F-C13DE48A9E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886323$54F401B8-AB22-4D90-BB8E-9E1609A39AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886323$B2D87AC9-36F6-49B9-82BF-CA066E0FEF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886323$9B6AC5F6-C679-4EE3-BCED-3BAD825B2E16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb8e6ead8a401e7cf3175632caca317d05a35f5a","datavalue":{"value":"2116239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886323$D4F6A35D-51B3-435E-95C8-E0EBD9CAD827","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2509ce734c1f121f948a7aebecedc1f6d73c34c","datavalue":{"value":"Finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886323$A47A1C69-81CD-41BE-8480-206B2A0E5024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ecb0f0f4dcd6bbcbb8cb1391a82c865f06ce566","datavalue":{"value":"Modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886323$D4BDDDB6-F012-4D50-8F4B-E273BFFB02C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8717d4a2ebaa319bc2063b3544f20c09644d358b","datavalue":{"value":"Guarded fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886323$6A86C7F0-74CB-4C59-BF80-EB6833DEF83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25f28fe720577a10f3ad8dd9b488335d3852d986","datavalue":{"value":"Bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886323$7D2558C9-3B82-4958-86B9-41A6AB3C0929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8158085de5f58936306df31b2ac28266254ee3b","datavalue":{"value":"Preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886323$48FF8DDC-3B96-4FFA-AF63-5F5FCF2CF7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5d3e00022d0142a8ec208c9343b5fa41cd44b3f","datavalue":{"value":"Characterisation theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1886323$5062D940-5CA1-49D6-B390-0C7D26089B6D","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":"Q1886323$B2D17493-1167-4C6A-92E8-93DF52C25EFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1789b323e5a99320cf2cd9df6e81314e458f33a8","datavalue":{"value":"https://doi.org/10.1016/j.apal.2004.04.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1886323$C5DC7391-3802-4397-8CDB-54EEC3AB4556","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28dce1ee94503deb3570d5e4b720962d4fd2be9a","datavalue":{"value":"W2043132490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886323$DDD305B9-1A23-405D-89FC-1F7B69796581","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c88140a55996b78bc4acdfeeaf722ede99ad71f","datavalue":{"value":{"entity-type":"item","numeric-id":4871780,"id":"Q4871780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$53115AB0-57C3-4F3B-ACD2-47863829E0A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$DC49A376-B7ED-42E8-BA2C-80EAF031CCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ea3453e5c176df4414e4e8e6f090eb047e08d96","datavalue":{"value":{"entity-type":"item","numeric-id":4262591,"id":"Q4262591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$AC8B5C5D-E882-49DE-818A-3C0736D92E60","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":"Q1886323$D57E0CA9-63B1-4871-815F-8D677531DC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$18653934-E8E9-4AFE-8AD4-484F15704E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55deb970f6b5c03f117f5a15af34fe6cbbb016b6","datavalue":{"value":{"entity-type":"item","numeric-id":3674627,"id":"Q3674627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$645A99B4-DCE4-4A77-B996-C269EFF00F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c20ebeed862feb6e0841b92fd1c342102e628d","datavalue":{"value":{"entity-type":"item","numeric-id":4255575,"id":"Q4255575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$84A860B9-EFD8-46B6-81FD-C11B6005E7E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1630ee5af00db53c3291f37c8e390b1646e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4298571,"id":"Q4298571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$C48192A2-B5EE-4047-89E9-0BF9B97BC8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c3f72e4cfa0d440af72fe380c939fa418d344db","datavalue":{"value":{"entity-type":"item","numeric-id":3666827,"id":"Q3666827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$AC487DE3-1B98-49D0-A773-5D8A3CB745E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$0363D6BF-B27A-4AF9-8FE2-6462446106F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b5b7aba87383fd08faa4de788adb1a1c64f6a5","datavalue":{"value":{"entity-type":"item","numeric-id":5738962,"id":"Q5738962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$73329246-BFF5-412B-BBF3-34B725D45C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c92fac15dd2c9297e6d213326151bf965f501d","datavalue":{"value":{"entity-type":"item","numeric-id":4650305,"id":"Q4650305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$ED5092C8-6A97-4935-AC08-81B6D4A7D0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2b34e461eab810df1a7feeb70aed6de9a712b5","datavalue":{"value":{"entity-type":"item","numeric-id":4332930,"id":"Q4332930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$FE793BC0-8F1B-4D2A-B11B-FAA4330DC019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2f82cda58a137c8f72c5a96cd5b5ac98dff35e3","datavalue":{"value":{"entity-type":"item","numeric-id":5494236,"id":"Q5494236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$ED484C64-7FFD-417C-A74E-6F1A1891AE84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbfacf4a81c385ab7bc79ba13786beed70eabe","datavalue":{"value":{"entity-type":"item","numeric-id":1572658,"id":"Q1572658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$F91C6F6D-4FAD-40AE-A5E0-1121FC978514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dd4b0809c211b7b2f4ceb490227ad58bc41fcec","datavalue":{"value":{"entity-type":"item","numeric-id":1371313,"id":"Q1371313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$B9A341BF-907A-425A-91AF-5F9A1F1231D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1886323$EE4D3B2D-BE12-479E-8ABC-974A3E430C98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ca45f740b6aed9c04ff181e487111cf3c56830a5","datavalue":{"value":"10.1016/J.APAL.2004.04.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1886323$407525DD-352D-4496-A64B-0DF97DB6E754","rank":"normal"}],"P1643":[{"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":"50b5c796d1b9a0f69e485089ded7115a71731d35","datavalue":{"value":{"amount":"+0.8118919730186462","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":"Q1886323$8482B03F-E61F-44C9-8820-73F89A50D890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14831d2027db8a13d78a2961dc6bb1f3a733e9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049de9c8991e241f8718f2d12e4a25e51b1fccc7","datavalue":{"value":{"amount":"+0.8024436235427856","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":"Q1886323$DC7071EA-2D7B-4EAF-A963-817FC90D2FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abde85dd0c5a0622ef2a5fe0b0a2d3a3afe7d711","datavalue":{"value":{"entity-type":"item","numeric-id":5494236,"id":"Q5494236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb85910fe3b44d7ef5cd971f1e1df7558c95b688","datavalue":{"value":{"amount":"+0.7890486717224121","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":"Q1886323$3B75A490-72DB-4B5D-B493-06C9DBE15700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e590642790d6b9884ec6c573cef4baee6a1236b8","datavalue":{"value":{"entity-type":"item","numeric-id":5249664,"id":"Q5249664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cabbc78ed6b5904da6ed61532eafbb26294969b8","datavalue":{"value":{"amount":"+0.7615001797676086","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":"Q1886323$5BF64260-BD89-46C0-9D14-1D5BD24FC15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceffdd329b916bec937476626c5b94b07cfb8d45","datavalue":{"value":{"entity-type":"item","numeric-id":2182315,"id":"Q2182315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e88ff86a9d44b6fc426f945cddf16811431bbfdf","datavalue":{"value":{"amount":"+0.7553068995475769","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":"Q1886323$6E0125E7-AE09-44F6-AB1B-9C91AEB98EDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Modal and guarded characterisation theorems over finite transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Modal_and_guarded_characterisation_theorems_over_finite_transition_systems"}}}}}