{"entities":{"Q633088":{"pageid":634936,"ns":120,"title":"Item:Q633088","lastrevid":63125355,"modified":"2026-04-11T10:44:56Z","type":"item","id":"Q633088","labels":{"en":{"language":"en","value":"Model checking in the modal \\(\\mu \\)-calculus and generic solutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872534"}},"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":"Q633088$B3063474-D19E-448A-83C5-279E55C4B69E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14d2a8f992bfbaa80dc790429af5377eb78a5db8","datavalue":{"value":{"text":"Model checking in the modal \\(\\mu \\)-calculus and generic solutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q633088$DE1595CA-27EC-4A64-822C-E7A7A159FDCC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fabfb93113de24be94ec42256df41b77bd90ac0b","datavalue":{"value":"1211.68249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633088$0C3D8C75-F9D4-427E-97AD-24411856FFB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633088$D04CA501-2EDC-4E2C-9800-F228611B94E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633088$42D29A96-B330-4404-B9C6-CE5E012A808E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fe372e1991dbf3d8a4d35b1d3367503510d1cea","datavalue":{"value":{"time":"+2011-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q633088$3751F37B-7ABE-4125-A49E-3B802E5BC24F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633088$C0CD5C4C-3CD8-436A-B0E5-E030771F0F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633088$AF72585A-5F51-460B-8C2A-E2784490F80E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633088$740CEF08-3E4A-446E-8E7E-A95E19FBB68E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2e6100d4ebe6ad6ece41234c3645e74a0b66ac9","datavalue":{"value":"5872534","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633088$E5A03B5A-0CDD-4C99-A881-8156BCFEE853","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q633088$6E423159-C6F2-448E-9A78-C4057AFC71A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q633088$A9B05EFC-21AB-45F2-B399-DF0394E40D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff5bd607face98a8a2d144348430666abf8ebc2","datavalue":{"value":"programming calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q633088$BD210B91-EB44-42C6-8C76-828BE621C162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q633088$BCB58BF9-BDFE-47BC-BBBE-C476E8A642F2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af9f80e527ec777308252c7863176bcae5262c53","datavalue":{"value":{"entity-type":"item","numeric-id":13477,"id":"Q13477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633088$57DE9991-3579-4637-8526-058159D8B2A4","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":"Q633088$13957F10-940C-4A9E-932F-965CC5CC09C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c413a10a76eee00d2cbfad74503a1a5690d0f623","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2010.10.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q633088$8C7ACB20-48AB-4E4E-B832-1FE86140A646","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a981b6b2bbe7b93f3874bd71c3ab2d3059ef8fd2","datavalue":{"value":"W2091224237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633088$F335EF5B-483D-48B8-9F15-A052C30B3F63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"649b7e74dfebe3b487b5b0875a58be0db4fc8916","datavalue":{"value":{"entity-type":"item","numeric-id":1030264,"id":"Q1030264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633088$8C6E7332-A715-4F9E-A8EA-2699D1F34C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633088$63569E9E-D2F8-4A82-947F-BF46155836B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d87900de754ad2a3f7d55a3f915d6adeffa7325","datavalue":{"value":{"entity-type":"item","numeric-id":2544438,"id":"Q2544438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633088$76DAA5B1-50E7-4805-B252-26FD65CE774F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfd2e4db8ae14bb54e69255b03ddfbd8c1e28a91","datavalue":{"value":{"entity-type":"item","numeric-id":5941205,"id":"Q5941205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633088$0C38317A-121D-42E0-ABD7-CCADB47C24A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2780f628d79631179803124763342e82976bed","datavalue":{"value":{"entity-type":"item","numeric-id":1330148,"id":"Q1330148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633088$226053A8-43CB-49D5-9A53-8CC433A30A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d8a9069cd95897a3e0022795b6ec6c78c6996b8","datavalue":{"value":{"entity-type":"item","numeric-id":5929708,"id":"Q5929708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633088$9D1685CA-73CF-4EBA-B075-16C0FD424E3E","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":"Q633088$ADD6AFD5-5AA1-4337-BFF8-58800004812D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a0dce92881d00910fd403b575b6fcaa5d9e31f","datavalue":{"value":{"entity-type":"item","numeric-id":2754084,"id":"Q2754084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633088$C17AE067-DCD4-4ADE-ABF5-0E2B03849186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458ab467d1c5397109a383d0e5c939369d06a212","datavalue":{"value":{"entity-type":"item","numeric-id":3221403,"id":"Q3221403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633088$C165619A-1C1C-4BC8-802B-DC569EF3D734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45280f113fe0216f2b7ecb89e3dff3eb55b2630c","datavalue":{"value":{"entity-type":"item","numeric-id":4733387,"id":"Q4733387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633088$C9205AEB-068B-42DA-A8C2-E047DBF54EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70536879af054717c0f3d9d913a10e93c328980d","datavalue":{"value":{"entity-type":"item","numeric-id":3853129,"id":"Q3853129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q633088$7B30E659-0AB6-4A4E-81B6-BD492E949813","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b44c0605d08921ad398fcce9fed98b23210cdaf2","datavalue":{"value":"10.1016/J.JSC.2010.10.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q633088$45CDEBEE-943F-4126-B4E9-BAFDB0C7AF69","rank":"normal"}],"P1643":[{"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":"bead5f3572ba220c04566bc91c1727a15c6ddd74","datavalue":{"value":{"amount":"+0.7711862325668335","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":"Q633088$9A77B04A-1778-4BCB-AFFF-532AAE34F995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"313fd23124c15a556e60e6650ae6ebed95b07b87","datavalue":{"value":{"entity-type":"item","numeric-id":3400570,"id":"Q3400570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c34f24f228b258b69d9ae8dc4fd27cbe037c62e","datavalue":{"value":{"amount":"+0.767936110496521","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":"Q633088$CB092438-1E27-4DCC-9916-C0D25DC2A045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c93afce5a882bb00f86b73ac092423dc53a2d66a","datavalue":{"value":{"entity-type":"item","numeric-id":5902425,"id":"Q5902425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0de6061af62d2b4f2916e11a8109e99d11971538","datavalue":{"value":{"amount":"+0.7658858895301819","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":"Q633088$E541ED7B-6156-439F-BE0A-266409044638","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":"27aa5e53247f372600c320aaf70fee91ae2aafb8","datavalue":{"value":{"amount":"+0.7584046125411987","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":"Q633088$7B7BBC93-87BC-4CA0-81AF-579BDBF65DE0","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":"92694910caec7a1af80535ab0db926680770d599","datavalue":{"value":{"amount":"+0.7550979256629944","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":"Q633088$FAB833AA-C7B5-49EC-A39C-33CE260A5462","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model checking in the modal \\(\\mu \\)-calculus and generic solutions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Model_checking_in_the_modal_%5C(%5Cmu_%5C)-calculus_and_generic_solutions"}}}}}