{"entities":{"Q843096":{"pageid":844944,"ns":120,"title":"Item:Q843096","lastrevid":64752339,"modified":"2026-04-11T21:59:35Z","type":"item","id":"Q843096","labels":{"en":{"language":"en","value":"On determinism in modal transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5608802"}},"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":"Q843096$C9EC23B2-12C0-402F-AB19-80F8E4D1E89A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a25b8f4f8fdfdb50df1dfb96ca3d8ee0ea3aa63e","datavalue":{"value":{"text":"On determinism in modal transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q843096$FD160157-E3D7-482D-B857-617075C0CEE6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8664b07983b633ee1eb64ab924580d292a5be7a2","datavalue":{"value":"1186.68314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843096$54E1BBFF-5B58-44FF-AD89-D1BE449A96B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fa84f57d804aaf31f58858be616d04e3d77b666","datavalue":{"value":{"entity-type":"item","numeric-id":282092,"id":"Q282092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843096$5C09024B-3E04-442A-B20D-6C2C67F7085B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843096$25BE5972-3745-4749-A180-47C17807294C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843096$BE1251F3-B347-4C1A-9B89-F1CCDCF7FBDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e4018f669876a5819cf16362b14fc078dbd59d6","datavalue":{"value":{"entity-type":"item","numeric-id":690503,"id":"Q690503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q843096$CA6A3D88-9378-40B0-A623-B868343F4C68","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":"Q843096$1916087C-5623-47DC-AADD-50CEDFC925F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a20869fcd975d123d10d62c56ba2fbfe1c71aa3","datavalue":{"value":{"time":"+2009-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q843096$26480186-95DD-4494-BDB5-DCE330182E63","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843096$BB4AA085-C915-4244-9769-52EFF7B3A477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843096$D2F9C350-80D8-4CE5-9FB2-FBBE505DEAC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3d4da3ea891c306d21592f2b8d2a3f9893e53c1","datavalue":{"value":"5608802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843096$617B6C02-7446-4CF8-B58E-59D06A82198C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q843096$02EA3FE4-DC32-46FA-9D25-4F10D2D7FDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88f92cdce1e8f176577a41fba03cd20378f2eef4","datavalue":{"value":"modal transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q843096$2A6BD14D-8447-403F-9831-1E25A0DA0AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bf233452bce17f5955d951bcb2d24305c002311","datavalue":{"value":"deterministic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q843096$BAA1EDE9-74D4-4A89-BD93-0D1872D1F9E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q843096$BE64D676-2976-4C13-9BA2-06459D29F095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q843096$C0202B5B-16C1-4546-AB9C-5AB4A7A93257","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":"Q843096$0FEEE263-1172-4A18-BB52-75C004DD62E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80cfa9d21ecd9dedbdc771bce933ccc8203cdca7","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.06.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q843096$5605EBF8-61B5-42D0-B2D0-8FE34A1DF15F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d9c5a9ce0a76b2bb6b54fca6afd6906630a0c19","datavalue":{"value":"W1963951244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843096$55A14563-859A-476B-8E42-7BA4840EF2D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab76cc596546d4047f5b030bdf4ffe7ba3c8a38f","datavalue":{"value":"10.1016/J.TCS.2009.06.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q843096$77A987BA-76C7-452A-BEB4-6935B457A060","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5d381af53f9b673ce8cec10acd3b43e16f36bf4","datavalue":{"value":{"entity-type":"item","numeric-id":3172920,"id":"Q3172920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f564adabf6152d9953f7c1325324cb590bc81034","datavalue":{"value":{"amount":"+0.8380343914031982","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":"Q843096$977A8C5B-BB39-4CE7-AAF0-B150C23E53C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f504f28226a77744271ba572881082cd8a5d76","datavalue":{"value":{"entity-type":"item","numeric-id":3172917,"id":"Q3172917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e5467d4da090b83afbf6f805c11ed80834b411","datavalue":{"value":{"amount":"+0.8334588408470154","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":"Q843096$8809AF74-90F8-421D-B9E0-822A7C52296B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ae3116144287385aed760ebaa8da8e4bbe83b4c","datavalue":{"value":{"entity-type":"item","numeric-id":5217296,"id":"Q5217296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7115785a1faddaa3538b408edf263b09dc3fe46","datavalue":{"value":{"amount":"+0.8273190259933472","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":"Q843096$7EA13842-F23D-4041-B8C1-DA41C2D4C516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2586756c33e8866ec2392fad4324c21086beede9","datavalue":{"value":{"entity-type":"item","numeric-id":4647857,"id":"Q4647857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544690f2898739ca251f70bdb077e347e1a031bb","datavalue":{"value":{"amount":"+0.821152925491333","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":"Q843096$5F52AD76-AD95-437E-819E-6948114E52C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b74cb62caa3b5e88c3ca23b2bc82773261d0c30","datavalue":{"value":{"entity-type":"item","numeric-id":2917271,"id":"Q2917271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4207b1c2c4f333ee067516a93d74c2314f61b1","datavalue":{"value":{"amount":"+0.8125091195106506","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":"Q843096$0FADD0A5-902A-4F9A-9440-FA0C00FDB4B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On determinism in modal transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_determinism_in_modal_transition_systems"}}}}}