{"entities":{"Q532393":{"pageid":534160,"ns":120,"title":"Item:Q532393","lastrevid":62544093,"modified":"2026-04-11T06:48:36Z","type":"item","id":"Q532393","labels":{"en":{"language":"en","value":"A saturation method for the modal \\(\\mu \\)-calculus over pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5883958"}},"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":"Q532393$7FDB2CC2-5A26-43C1-B3D2-F71D62ED26BF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0769fed4cee91460771a666ac119446e0305bcd5","datavalue":{"value":{"text":"A saturation method for the modal \\(\\mu \\)-calculus over pushdown systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q532393$7F0DB71D-565C-4497-987B-A0C4F03837AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9d9459b2d5a855903415f6e63e5ca2586c403d7","datavalue":{"value":"1215.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532393$EF71CA5F-829E-4D3B-AD24-1A0E2C87A138","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d75d28b470ea2cbede3b521f9e73fd45aef50ac","datavalue":{"value":{"entity-type":"item","numeric-id":477554,"id":"Q477554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$7EEB4F02-A385-4D91-907A-C80FB5BF4978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3994b3ea7b242f980d845d7f38f3a45e589bc28","datavalue":{"value":{"entity-type":"item","numeric-id":592710,"id":"Q592710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$31C0AF13-6717-4602-9E4D-92043744FFE5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$D9AA4E1C-99DD-4D52-9CD8-44A9245D1469","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e8cf336a281775d77f65d41085e5a0ff9f89f4f","datavalue":{"value":{"time":"+2011-05-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":"Q532393$0FCAB61A-A5EE-4EAC-BAD1-278B978BAA70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532393$E526C6EF-2F35-4ACA-9B1A-2587729E516B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532393$5EB73E4F-84B6-4AD6-BF60-A536866E8795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532393$A58B634E-660E-4B5A-88A5-1C6999CD7ADB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fe43c3627e2b0428a3efcd31048a157356467c8","datavalue":{"value":"5883958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532393$07A8C850-E171-4A82-B5AF-63F845933CB4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70385047063e32e899a03bc21d34ece5ee0e5655","datavalue":{"value":"modal \\(\\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q532393$132EFB19-4F37-426D-84B9-07ABD3A52C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q532393$70D30C22-E625-45B4-B924-3A25F4DB2325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q532393$9640E764-4553-4430-A8A7-E060005ED1A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97da4f55394b2d876cdc6212611dece7424aee50","datavalue":{"value":"winning regions","type":"string"},"datatype":"string"},"type":"statement","id":"Q532393$EB0BEBC2-057F-4925-A17E-0D5E55ABB01F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cb5f5a31ee19561bb1039d35284562e7de8dd","datavalue":{"value":"global model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q532393$C0290508-361B-4E27-B3C4-75DC84D1AD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"838151513fe371d6322ec0cd1490bcba46dead56","datavalue":{"value":"saturation methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q532393$FB8FC949-3571-456D-A791-C05EE74C2387","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$4B3A101F-72CD-452B-97A9-F8986257C87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$0AED715B-43F3-4F38-82BF-F5126FD16E96","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":"Q532393$6C348745-E3F9-43DB-B501-4792AEDCE5D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f3f6a12156f27fca618dedc648b924c58b8f301","datavalue":{"value":"https://doi.org/10.1016/j.ic.2010.12.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q532393$37696732-30F3-4896-BDBF-7BA652FD0B43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5178828516adbceb68a905ac2da3441ab0b719d0","datavalue":{"value":"W2079590852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532393$0F5F6B3B-CD4E-4295-9368-490406C186DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"44fac3e593bbdc4bf38035515355792d7f6d6bba","datavalue":{"value":{"entity-type":"item","numeric-id":5348921,"id":"Q5348921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$2C48059F-8481-4BA8-BE7E-72B96912CC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$75085079-1C87-44DB-80C0-C6FB9DA4F169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$71B582B3-83D8-4113-AC8E-349FEC2EC22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$B16C10C4-77A7-4C59-A91D-D793F62B465B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$323C1131-D9A8-4117-94D4-A10D0A43223F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b89896d12727ad637f84067fae27b2c42f93ee","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$50FE4BA1-85B3-4BDE-94AB-F63CF88B0AAA","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":"Q532393$BC229B6B-3A64-4AED-B4BF-49526A54DAD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5354bbc72b7463906a1eb99270f6a5441bebefc","datavalue":{"value":{"entity-type":"item","numeric-id":1960527,"id":"Q1960527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$F3D69DAA-0BCC-48AC-AA4C-DA99FA905A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e099c29cb4a85f55d1d4608c736de84d6a2daf0e","datavalue":{"value":{"entity-type":"item","numeric-id":4737201,"id":"Q4737201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$A67867AE-41C6-49C6-B914-E9FF1D0A72DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4ba8ad0015ebc38a98f36a30b794c48e39e67e","datavalue":{"value":{"entity-type":"item","numeric-id":4449203,"id":"Q4449203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$CAD9E0B4-45A7-4DDD-9B0E-A017EB742E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85db71a32648e55138733c05985bbfe8ecd51d5a","datavalue":{"value":{"entity-type":"item","numeric-id":5714447,"id":"Q5714447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$E7E1FAD0-E800-4BFD-83F7-8CE0E5068024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80c80734051d15502693e3a4319a100ec19307e2","datavalue":{"value":{"entity-type":"item","numeric-id":5901915,"id":"Q5901915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$B60864E9-773D-4ACB-9945-FEA83A8B468D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2670feac67e5c7837b7deafe39ce20a73145aea3","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$42C426D0-C0F4-4407-A643-5FE731CB953C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aee40353bd015723346480947abedda63e51d44d","datavalue":{"value":{"entity-type":"item","numeric-id":3184687,"id":"Q3184687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$0D575522-1923-4B3D-B4A7-FDF34A27A257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e1fc18aa850bac20ad3e82fe71d0c5870a03b4","datavalue":{"value":{"entity-type":"item","numeric-id":532393,"id":"Q532393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$6C06E68B-7ABA-4927-82F8-28923615A34F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbd95c479d5bb0cee4ca35891bdf049e2bd90233","datavalue":{"value":{"entity-type":"item","numeric-id":4134928,"id":"Q4134928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$EE2250D8-F193-4DB0-997A-196CD452E9A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ec39e0aae078ea86b2a7192e600175bfda00e3f","datavalue":{"value":{"entity-type":"item","numeric-id":5312916,"id":"Q5312916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$E53ADE49-BCAF-4BDE-BC3F-660552835517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ee0c598d6ddfbfae4ea8479557380be0e2aa296","datavalue":{"value":{"entity-type":"item","numeric-id":2568453,"id":"Q2568453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$4675A5F2-6D9D-4900-8129-67DB878D1C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7351a5b1debd8b8e0510ccc8864beebebdf77168","datavalue":{"value":{"entity-type":"item","numeric-id":1007544,"id":"Q1007544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q532393$5F1ACD9A-2ED5-49B5-9C04-C84912271847","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"358774077b4c23e9b2b23297dccb81ea750b808b","datavalue":{"value":"10.1016/J.IC.2010.12.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q532393$288880AE-38FA-42F0-9895-10F8287F20D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b7f1dd381f2b5db85f2d0a8386b2c2963fb9ed0","datavalue":{"value":{"entity-type":"item","numeric-id":3184687,"id":"Q3184687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6191cd47c3e93d5959396a0f39e4d58cc17ee646","datavalue":{"value":{"amount":"+0.8192378878593445","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":"Q532393$D42C84CE-AD42-405F-8547-5EAA613C43FF","rank":"normal"},{"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":"0c4f163bfc4b7f56f7d36cfbf2da869fe02892ce","datavalue":{"value":{"amount":"+0.8062884211540222","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":"Q532393$9FCDA61F-A1C8-418B-906F-3C70A9C18B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57df6c4616ac1c1e21409daa50b938d22cdce121","datavalue":{"value":{"entity-type":"item","numeric-id":1433941,"id":"Q1433941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"118132e4aabd407097d7cfdce167a373afe06332","datavalue":{"value":{"amount":"+0.8054466843605042","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":"Q532393$43D25871-5B62-4C77-A058-09F9030F1AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd182e6e7ee252e3c10b03f928c4565b0c730301","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201b5c4d836ec124ea36e821ea51bcc6aa16e1da","datavalue":{"value":{"amount":"+0.7974041700363159","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":"Q532393$3BDF7AFD-B49A-4C9D-9172-D4005762ED85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"306f27ef787fa91b00b5802d39e2d9044ba98198","datavalue":{"value":{"entity-type":"item","numeric-id":5309728,"id":"Q5309728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"201cf81ae8383c3c7ab036307e72e4aebf96586c","datavalue":{"value":{"amount":"+0.7890536785125732","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":"Q532393$6CB702F0-5B5C-4B37-9223-1F9AC57A1169","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A saturation method for the modal \\(\\mu \\)-calculus over pushdown systems","badges":[]}}}}}