{"entities":{"Q2576952":{"pageid":2587695,"ns":120,"title":"Item:Q2576952","lastrevid":44397957,"modified":"2025-11-22T16:07:48Z","type":"item","id":"Q2576952","labels":{"en":{"language":"en","value":"Quantitative \\(\\mu\\)-calculus and CTL defined over constraint semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2242235"}},"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":"Q2576952$707CC562-6A15-4DEE-9760-C779D55D8E10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cff961b2626b2915c6931dd136a72be54580187a","datavalue":{"value":{"text":"Quantitative \\(\\mu\\)-calculus and CTL defined over constraint semirings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2576952$EBD0BCD3-7766-4D68-A5C0-7B71C5C388F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34ebbdc23562f3ff72effb343c731e980fca78d1","datavalue":{"value":"1080.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576952$0E738AD0-C6DE-44CD-91AE-EB9C39417C8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a48df084089efbad17e99837a84945e27512c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":832280,"id":"Q832280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$EC62CC65-535C-4A30-B16F-65CC50980E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ab74128b30d9d3177b548d034f074daa4c15d68","datavalue":{"value":{"entity-type":"item","numeric-id":239557,"id":"Q239557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$0E0CAFB3-F3E1-4ADD-BE6A-77BA17CC8974","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":"Q2576952$93BE4BB0-F421-4F15-AFEC-336064A7846F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2cf687ba42bee292af8a405799b19faf7dc96007","datavalue":{"value":{"time":"+2005-12-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":"Q2576952$458C12E7-F204-496B-A373-FDD7F9443EB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576952$F8BB5EBC-DE72-45D9-A112-3F9D086850AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"213513bd5d71f153622700ae20c9b185e10d68a9","datavalue":{"value":"2242235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576952$0A2A2AFB-F475-4F83-8F9A-97BA0F2A34F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3a6b28706d72e31c003ae9a5f1cddb4e776c4a0","datavalue":{"value":"semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576952$D3D0969E-F90A-4450-B09F-D7787FE1B642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576952$822A6621-B169-4A69-9562-ABE4584B88C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b99756a128ff64b60b9d173218bc9fe0faa8d6ee","datavalue":{"value":"QoS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576952$BC4E45BB-DC38-477C-B97D-24AF95FCF732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56783a1151b22984296a4a7b7dd58c2361823979","datavalue":{"value":"quantitative model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576952$E17C0CFA-C9CB-406C-9919-F3C4CA6A50C3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"74ddd0f2aaaa9a86d3e025846f7f8b142d4bc2b8","datavalue":{"value":"Q56501923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576952$BC0D8E8E-4667-455C-80F4-0CA991DA640A","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":"Q2576952$758CE091-9671-4170-98AC-C8E78620EDC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88425fd1b8c6ebd0e9ef32f1fd754240147f416d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.08.006","type":"string"},"datatype":"url"},"type":"statement","id":"Q2576952$BFBC8FE4-277C-4B7A-A500-83822FE99C15","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e49df88a3517c5169cda4f6e335cc67e59c19aef","datavalue":{"value":"W1964764902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576952$FBB774A8-BBEF-44CE-A967-388B381849BA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e165754f219c67ae1d1fa2e8fa1afd695795984b","datavalue":{"value":{"entity-type":"item","numeric-id":2847775,"id":"Q2847775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$C17FD890-5B04-4619-B49A-8C38ED4C8AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c94b3575873cc547ba5593ec73892c127ba61ad3","datavalue":{"value":{"entity-type":"item","numeric-id":1818347,"id":"Q1818347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$E0A0AB56-C9B2-48F9-942A-9E39B2913487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c8a11e59982d4661b56434a85f083056778ce45","datavalue":{"value":{"entity-type":"item","numeric-id":4377273,"id":"Q4377273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$B9826C24-C26E-4B6D-B532-1D0007CE695E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db57bd1c7f3e1cb57d300c636526e9d72de04e","datavalue":{"value":{"entity-type":"item","numeric-id":5960030,"id":"Q5960030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$C212E649-AF4A-4191-9874-5758F0B5E3E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5a4ef9c2d07db759cae7360b9f45883aa9ce65","datavalue":{"value":{"entity-type":"item","numeric-id":862857,"id":"Q862857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$D42C39B5-D24F-4C1E-8963-700E08D932FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$331DB411-1B0F-4E3B-96FF-CCB231FBD9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf36cc8c2a532cf938452081db4c899e9be7006","datavalue":{"value":{"entity-type":"item","numeric-id":5308390,"id":"Q5308390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$582FCD51-95DA-406D-8734-81082110FD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f86e355662baa4d9f9fd9a0faea2fe6a1b817d","datavalue":{"value":{"entity-type":"item","numeric-id":4037378,"id":"Q4037378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$7D3F315B-895B-4FF7-92E0-0578AD318A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$98FAEF45-F196-4102-88E4-493813C44F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72d4ee9dabce7b7b509f614f18d11472f2a5395a","datavalue":{"value":{"entity-type":"item","numeric-id":2849845,"id":"Q2849845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$271033B8-EC75-4180-BAEB-C4E9CBAAF0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46cba08c7f581da37f9042acb0fdc351b1eff4b8","datavalue":{"value":{"entity-type":"item","numeric-id":4132582,"id":"Q4132582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$2E00C11F-84DE-4951-A0B3-E4F64E58C4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f091ac9735d7d25655a2f39e67cc54905e7dd32f","datavalue":{"value":{"entity-type":"item","numeric-id":4428307,"id":"Q4428307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$F93719F0-47E6-42C4-A1C3-1B53D2F1CDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa95a37e58f70ecf77173dd3eae3dbf3ddc57e6d","datavalue":{"value":{"entity-type":"item","numeric-id":5305653,"id":"Q5305653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$E6240D00-B73D-41A1-8FFF-4965D8050AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e9ff1c44f63a1ae806f0c817410105e9de23eaf","datavalue":{"value":{"entity-type":"item","numeric-id":1057068,"id":"Q1057068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$A97804D9-3A1A-4331-8FA2-537B11749DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed96b910c28b0a5b2e7f2a02d0a97eef2d58a5","datavalue":{"value":{"entity-type":"item","numeric-id":4379556,"id":"Q4379556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$89D350FB-CC51-4A61-97B0-05124F6BF876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576952$441499B4-985A-4F46-AD7C-67BA5996BED1","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"d0fd4b1e58c5839dfd15b97b89d892c3087702b5","datavalue":{"value":"journals/tcs/Lluch-LafuenteM05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576952$7BBACC76-47D2-4EB8-B9F6-C719AFC977B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c55edfed080e6cdd1a0771462e9ba385aaa97c7","datavalue":{"value":"10.1016/J.TCS.2005.08.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576952$29D7EBA9-20FB-4CF9-91CB-6BD3A1A1BEDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab9a481ac73b3dc703eb42dcf4296a5eb05c534","datavalue":{"value":{"entity-type":"item","numeric-id":2849845,"id":"Q2849845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39e9811064507d53b6a17277fa7bfa06012321e9","datavalue":{"value":{"amount":"+0.9922753","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2576952$8095D951-3983-4F3E-8520-349EA87FC0CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15432f89a9361d534681db843585c301b284627c","datavalue":{"value":{"entity-type":"item","numeric-id":557788,"id":"Q557788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"859dbc7a7aeb5ba7da67ba65eaf2bfb802cc93af","datavalue":{"value":{"amount":"+0.87896407","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2576952$C6DAB508-4AB4-4A56-BABD-6ADA54D3ABA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9795a1001d869ee56951197f6cdb3b225803548b","datavalue":{"value":{"entity-type":"item","numeric-id":5144610,"id":"Q5144610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451e4ba9b32b89d7f25f70fde10c6f2c42f77b38","datavalue":{"value":{"amount":"+0.87208426","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2576952$8209FAD5-CBA6-4B26-9567-37D6BB8B277C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07b3c6bd90bd4571ae433ad8a848da3934d40c6","datavalue":{"value":{"entity-type":"item","numeric-id":4459084,"id":"Q4459084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa555ad3200db2a74632bb32fd6ac65ffae7f731","datavalue":{"value":{"amount":"+0.8709475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2576952$EFD791E5-7711-4BA5-A258-CD97A7421D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e847e2cf66eeaa39e9e0d495c2a8941fb1546b1f","datavalue":{"value":{"entity-type":"item","numeric-id":2226964,"id":"Q2226964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"125254b272534a2c1396b92834f70d446ec9d947","datavalue":{"value":{"amount":"+0.8703262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2576952$5294EA9C-FE11-4DED-8749-0FA1CE3FEBC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71956962bb60a291a3a6435582c535bd5edb1b5a","datavalue":{"value":{"entity-type":"item","numeric-id":2914370,"id":"Q2914370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c6a7b072a4d36c046a647d0febfb22f5729e40","datavalue":{"value":{"amount":"+0.8690454","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2576952$1C539259-0A43-46CE-8B1A-53A12CDFD35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8df3ea4ae9b05afa903ba8398fc36e18e54dca0d","datavalue":{"value":{"entity-type":"item","numeric-id":5900292,"id":"Q5900292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"540126e77a17a6826c410cb3e741eaa3768ec42d","datavalue":{"value":{"amount":"+0.86513406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2576952$567CA94D-B3F9-4C39-9223-7412111CD22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0099a73ee3131f8602b2c524555c088da016288b","datavalue":{"value":{"entity-type":"item","numeric-id":4395562,"id":"Q4395562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93ea1a5dbb899b1f75ffbf643d5096c72122fec0","datavalue":{"value":{"amount":"+0.8604337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2576952$C220B1A5-D77E-449F-BA6B-E473A2E057F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99c8f0d16329165fe0ac5e33f214650c2d90baad","datavalue":{"value":{"entity-type":"item","numeric-id":4536107,"id":"Q4536107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99024985db576dba564f55fdba03647ec9698d6c","datavalue":{"value":{"amount":"+0.85971856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2576952$A92F4728-A0A3-4991-BA7E-AC6D863BAA55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2576952","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2576952"}}}}}