{"entities":{"Q4571973":{"pageid":6601562,"ns":120,"title":"Item:Q4571973","lastrevid":53133506,"modified":"2026-01-24T07:02:11Z","type":"item","id":"Q4571973","labels":{"en":{"language":"en","value":"Model checking the full modal mu-calculus for infinite sequential processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6898396"}},"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":"Q4571973$09B74DFC-E519-4539-A8C1-223362555CC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93efc362a42a0ab01441b684b088a5c923b68d13","datavalue":{"value":{"text":"Model checking the full modal mu-calculus for infinite sequential processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4571973$A96452E0-E0CB-4DAD-997F-7F661D5ADE4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41cfebf25341a25e34ff5973fccb368526c77616","datavalue":{"value":"1401.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571973$D000D7BA-BEB7-42B2-9A64-F4CDEEE7088B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4e51f44cda7aa70e75f3b2ea2a817557180a635c","datavalue":{"value":"10.1007/3-540-63165-8_198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571973$C15C5105-5E4A-4BB5-ABAB-D6837F853209","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46c53f936687b8df4a47013b8cf33c0c46ee261","datavalue":{"value":{"entity-type":"item","numeric-id":1377903,"id":"Q1377903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571973$AD88E8D2-CE2C-40F5-9E39-93F76C464C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e6cd5c3fc48ca92bfea6446c21e98e5e0e73364","datavalue":{"value":{"entity-type":"item","numeric-id":478387,"id":"Q478387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571973$8511D8BA-DF8E-4B2B-96A9-8501AAD4FE09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571973$96325114-BCE7-4E25-BC7C-4FEE787C314C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a2469e9547180e8da9b9320d063ac8110297525","datavalue":{"value":{"time":"+2018-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4571973$69E94590-2216-4DDD-9F8E-D94F1BD3764A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571973$CB82E0EF-1360-4345-BF17-245E129B1B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571973$1698CADF-1A35-4BD2-957F-AB76E1E92D02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4250ac0c80a32de8eaf24d0eddc0cc30502932a5","datavalue":{"value":"6898396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571973$089B965E-E386-4C87-9260-DF6C47552966","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":"Q4571973$ED921EED-782C-4A7D-9C58-B2AF8E2B0100","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad28424e961fbcefe6404d3b083c3c95fddac6af","datavalue":{"value":"https://doi.org/10.1007/3-540-63165-8_198","type":"string"},"datatype":"url"},"type":"statement","id":"Q4571973$77F57A81-D48E-48A7-AD01-7A207A99DF29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"376f693a5f6ffe3eb171b94d6872ffb4197928a4","datavalue":{"value":"W1590891429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4571973$492AB86A-58A1-4826-84CF-D8696743552C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf767f7e721efe5ccbff221144b9c1341cc71980","datavalue":{"value":{"entity-type":"item","numeric-id":4355677,"id":"Q4355677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571973$D5B0350A-B47E-4C59-8526-DE0D2B6D367A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0ef26b2215f96e6f153cce826f38fad4dfe350","datavalue":{"value":{"entity-type":"item","numeric-id":4222871,"id":"Q4222871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571973$57232710-27BE-4F57-A6EF-32087B0101EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bfb6b1fc05ad741479cef3c150af6f2f2528b6b","datavalue":{"value":{"entity-type":"item","numeric-id":6104376,"id":"Q6104376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571973$98E05D4D-8D10-4F52-A66C-B8A55EB58817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b14d9eabf063c4fdd0e32a8e0bccf5a26d189e4","datavalue":{"value":{"entity-type":"item","numeric-id":4847017,"id":"Q4847017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571973$47CCBD3A-FE51-4093-B53A-BCEEAD102B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dc6aedd9ac3c25d0a03730d5d12f05035842f62","datavalue":{"value":{"entity-type":"item","numeric-id":4571973,"id":"Q4571973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571973$D0BFF009-6FA2-4FC1-AB74-E02BDB01069D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56d3f485a32a8bcfe84649e1d19b25d8ab1be58b","datavalue":{"value":{"entity-type":"item","numeric-id":4818835,"id":"Q4818835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571973$18EED6EE-4B73-4F01-816E-93ADC7F350C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3057af5a1af0350171fd6b2b79a79b332e0f350b","datavalue":{"value":{"entity-type":"item","numeric-id":4385531,"id":"Q4385531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571973$9ABABDEB-5BB8-47B5-8334-64B0A06A88D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68075db62e66e99ab1e80c6c31c21db34a7cf0d3","datavalue":{"value":{"entity-type":"item","numeric-id":4764629,"id":"Q4764629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571973$AC767E10-0BD2-4345-856B-7411969500DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571973$0E0697F6-CCAB-482E-B6F6-D184FBB623E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd06688d0a2118d72cedd0d86de5ca69bef5bfd","datavalue":{"value":{"entity-type":"item","numeric-id":1084096,"id":"Q1084096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571973$89F8CAE0-1CBA-4DAA-8E0D-674CB9FB9953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4571973$CBE8D5C7-628E-493F-B79F-CB5FD204CBCB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88e0fa948fbea4a7194203f8a523604ae27ab54e","datavalue":{"value":{"entity-type":"item","numeric-id":1960527,"id":"Q1960527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5aaf850373cce9fe3d6c4f0f10c1ee2007eff20","datavalue":{"value":{"amount":"+0.9366905093193054","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":"Q4571973$D08A2029-4E15-4CB3-950C-5105EE9662D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f80f0c0fda23968a7cf162e021f0fba0ad757824","datavalue":{"value":{"entity-type":"item","numeric-id":1325844,"id":"Q1325844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81baa96686e05edf12c383b823d1e1e9f2f003cc","datavalue":{"value":{"amount":"+0.9350687861442566","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":"Q4571973$044EEE79-455B-49D3-8C3B-8534CE032DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66d1c7e76d13bfc5d038e3af467c3330293a350f","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd42254bf378350f8923e5354c0812768f0c56f0","datavalue":{"value":{"amount":"+0.8221483826637268","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":"Q4571973$9A7ED182-1AA2-4B7E-896E-161B2E30AB64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a1754e9f24f53d0ad889d0482f26317c0f3b22","datavalue":{"value":{"entity-type":"item","numeric-id":4501131,"id":"Q4501131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46af23697fca34834b9fc02375335e2b6cb4d534","datavalue":{"value":{"amount":"+0.8123399019241333","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":"Q4571973$47077663-D74C-4B08-B473-402EDD431039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8eb6256bad2c2f5fad3d464a16392ea9b77d5c24","datavalue":{"value":{"entity-type":"item","numeric-id":1177939,"id":"Q1177939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be0b7e04d6553774ca19ab253b35e37cb2cc1053","datavalue":{"value":{"amount":"+0.8084937334060669","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":"Q4571973$9FC251F8-BB6C-4DC2-8202-CDF6881A161D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4571973","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4571973"}}}}}