{"entities":{"Q2845490":{"pageid":2856210,"ns":120,"title":"Item:Q2845490","lastrevid":42261229,"modified":"2025-06-03T19:40:30Z","type":"item","id":"Q2845490","labels":{"en":{"language":"en","value":"Using assumptions to distribute alternation free {\\(\\mu\\)}-calculus model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6203469"}},"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":"Q2845490$0F369F10-9D13-4CD7-91A2-DDE10330BDB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b1dac0048dc655475abafb92bf8f22827cda8518","datavalue":{"value":"1271.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845490$FB9D6C2A-CC26-435F-8794-6DC58BDF75BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9b09522aaee1c72f01701b4e5032b55d6618dfd","datavalue":{"value":{"entity-type":"item","numeric-id":282093,"id":"Q282093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845490$9152D21C-2644-40F8-9C2B-4ADA1C31E790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86ac0f4a7787115cbad46b9e8741a893dd607c4b","datavalue":{"value":{"entity-type":"item","numeric-id":2845489,"id":"Q2845489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845490$7DFE8040-E5F4-4908-8AFC-230B7CD2628A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dbe91a82e9327cf79ad7ddd82bc8f3cac46bf53c","datavalue":{"value":{"time":"+2013-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2845490$968D9103-240F-4165-80C5-44B60AB531C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f64977219cb89a2408ee8d287008139f1d128bbd","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066105800945","type":"string"},"datatype":"url"},"type":"statement","id":"Q2845490$9A5C55B1-F3CF-4FF3-B571-5F7DF412EE4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845490$1624500B-368F-48AF-ABFF-EFA0255106F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845490$05788D92-94FD-43E1-AF6D-1404D6CDA2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845490$64938993-0A85-42B4-8CA6-1D35662827B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845490$0F6327B2-5238-46E2-9ED4-0EB757D8D1A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea6e05cc34d1b0b2f69c56ca05af00f8dfe90bf5","datavalue":{"value":"6203469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2845490$272AB5E8-5777-4D72-AA21-4DD57B28EFCC","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":"Q2845490$D5879CA7-2A8D-4E33-BFBC-9F4F68A27B14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda05fa7733652b718babfbd348283b731bf9018","datavalue":{"value":{"entity-type":"item","numeric-id":4531762,"id":"Q4531762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845490$ADD28B44-1B7F-4740-BA69-86643EA845F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4e233ff1837911f4fbfdd3f3738318d8dce822","datavalue":{"value":{"entity-type":"item","numeric-id":2771064,"id":"Q2771064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845490$9204E485-28F9-4A77-9B5C-696D2E79FE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d904793aa3741aadee45d010385007a6b38b6bd4","datavalue":{"value":{"entity-type":"item","numeric-id":4738473,"id":"Q4738473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845490$5675DCF5-F4AD-4800-A1C6-A52191577C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1987acc3443ae4f58398fff0276fcf125e178f6","datavalue":{"value":{"entity-type":"item","numeric-id":2842859,"id":"Q2842859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845490$D6C39168-B066-41B9-A9A1-A2AADE9A70F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb46b665c4d01cdd72f034cac6c7dac8481fe1b","datavalue":{"value":{"entity-type":"item","numeric-id":4818796,"id":"Q4818796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845490$AFB2587D-66FE-4F7B-9299-7A9F110AD504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2643725998647ea0efb48c4d6d5b6e915dfb0f8d","datavalue":{"value":{"entity-type":"item","numeric-id":5943259,"id":"Q5943259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845490$9D445162-E09C-4385-A5FF-22910EF63EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ba6ee4184d1e83b23af04ea3e34386770ce9f4","datavalue":{"value":{"entity-type":"item","numeric-id":4472439,"id":"Q4472439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2845490$FF934949-464F-445D-A4FA-F4EDB6FED5AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4353ae63ce39de46ca640bd3849e3246ae0604ce","datavalue":{"value":{"entity-type":"item","numeric-id":2771064,"id":"Q2771064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a2b299fd3b96b27a85e3b5406f8e9f7627bb791","datavalue":{"value":{"amount":"+0.9207766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845490$E140426C-1755-4878-A9A3-75DBA52ABB31","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":"fe62d227b880bdf493e2b6977ac1549047d2ed16","datavalue":{"value":{"amount":"+0.90794367","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845490$A020F01B-51B1-4CEF-AF8E-A8285F18ADDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00dfcbdbeed785e2c343471262358787eff0c174","datavalue":{"value":{"entity-type":"item","numeric-id":4553260,"id":"Q4553260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a17ce079f13492840ff518155994cfdd17960f","datavalue":{"value":{"amount":"+0.90475386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845490$8A50E7BC-D5BB-431A-8CC6-A2314E3C42B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c68ceb57f86d95f858aae1b625068f96622e518","datavalue":{"value":{"entity-type":"item","numeric-id":816198,"id":"Q816198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37a17ce079f13492840ff518155994cfdd17960f","datavalue":{"value":{"amount":"+0.90475386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845490$94426B57-7037-4879-BBCE-477831676264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b372590df06dd31bbbf717ef217515a92785c86","datavalue":{"value":{"entity-type":"item","numeric-id":4353562,"id":"Q4353562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82f7cfe856cd21910f5148a7561dfb89dbba066b","datavalue":{"value":{"amount":"+0.90444297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845490$DD23213E-B8EE-4971-8CDB-1821C09CD114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d80d257f546db88b5e5282054536c686f95de29","datavalue":{"value":{"entity-type":"item","numeric-id":1870865,"id":"Q1870865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a40be6d59695c1031683e6395d7b759aa0cdf3d4","datavalue":{"value":{"amount":"+0.90284747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845490$48CEECF3-FD71-424E-9E8B-8BF123452D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba44eed81e94018435eae4bdac309ae19a72a59","datavalue":{"value":{"entity-type":"item","numeric-id":2842859,"id":"Q2842859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9afcc211ee46fa2ba61acaaca1bf574e9403bdda","datavalue":{"value":{"amount":"+0.902186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845490$E0407691-57D4-41F5-BED1-2C65B61CC8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"418cdc3167d6ee27ce49db1b448e034364c485d0","datavalue":{"value":{"entity-type":"item","numeric-id":4738473,"id":"Q4738473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad4376e2c0efe8c95faf5a4a2bc85944b71b4fc","datavalue":{"value":{"amount":"+0.90094334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845490$FB2BAEB8-41F5-4EE4-B0CB-C3D099C8BFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44999439e2e30d077c5c9e9e2363fee856cf2c04","datavalue":{"value":{"entity-type":"item","numeric-id":3176384,"id":"Q3176384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"327e49457d440d76b60719fdac43d105d3015091","datavalue":{"value":{"amount":"+0.89821595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845490$A6A29325-924F-4552-833F-AE7303BC051C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78a636806e2b85ffe545e69f53a74d3ab65f64fc","datavalue":{"value":{"entity-type":"item","numeric-id":2849862,"id":"Q2849862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11f3f6618c652d2ff41952dda5d43e6e2163bc4f","datavalue":{"value":{"amount":"+0.8975986","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2845490$97353CC2-5565-4107-A50E-FA91DBD266C1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ffa90b2b825cb7e348472636ac632845fb797565","datavalue":{"value":{"text":"Using assumptions to distribute alternation free {\\(\\mu\\)}-calculus model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2845490$B33B0F55-9DB9-415A-8836-5FD62F69AAAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2845490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2845490"}}}}}