{"entities":{"Q2643142":{"pageid":2653885,"ns":120,"title":"Item:Q2643142","lastrevid":50150813,"modified":"2026-01-13T06:57:54Z","type":"item","id":"Q2643142","labels":{"en":{"language":"en","value":"The variable hierarchy of the \\(\\mu\\)-calculus is strict"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5182249"}},"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":"Q2643142$B76DFAD2-B80C-404B-B4F8-56AEB6A645FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0af6a3f7c43a83238f3a77ae5d1a82fcda8c740","datavalue":{"value":{"text":"The variable hierarchy of the \\(\\mu\\)-calculus is strict","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2643142$B1E74B4A-93F9-498C-BEE9-5FBF28906049","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcac7c02f75dfe9099650c58ec64f39e1f262bb7","datavalue":{"value":"1121.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643142$4A5815C4-B545-46FC-86F1-3DC08B8433D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b499e3e3874a136945cd529501906781206a03","datavalue":{"value":{"entity-type":"item","numeric-id":444378,"id":"Q444378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643142$9F8F5CF5-3BAF-4909-8C89-F64DDA12776A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643142$EC51B03F-C154-433B-9123-CB2D8A9CC494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a24a57d77aefd8460dbb03e9524615c44c518008","datavalue":{"value":{"entity-type":"item","numeric-id":392378,"id":"Q392378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643142$9526E842-C3C2-4FA2-A431-567C3B8A6DA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2643142$750012ED-E573-45E5-9EE3-B072F33FB08D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"226fad3e536b676c763bdce84a93ee9c766c4ae5","datavalue":{"value":{"time":"+2007-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2643142$10FE6D91-F554-4A55-B709-7D4021496638","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643142$BC976715-9F43-44E0-9F70-36D21CED1C6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643142$96EBB8B3-BE28-4881-8AEF-048302FE5AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643142$39BCA7D4-F703-42F0-B330-30D4CBDB5839","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e823dc471e96efb45b99603be863fb72054e6a4","datavalue":{"value":"5182249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643142$72A41D93-20CA-4C3F-8A6A-ED0231E08DE7","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":"Q2643142$A6276B08-B3C0-479F-B916-82BB8D124747","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da359fbcceec68521c164bff54c7c69b62836f2a","datavalue":{"value":"https://doi.org/10.1007/s00224-006-1317-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2643142$339CBC6A-655F-4D93-BA32-45DD82AD15A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9ea32ee21fe608503c274f4a61af17c7186f6e0","datavalue":{"value":"W2067543765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643142$86DCFBE0-2B3C-4136-9765-77C4A7FE03D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49759fefdf263df2450ba8009efac10c24411127","datavalue":{"value":"10.1007/S00224-006-1317-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2643142$EE3580EB-373F-42F5-B5E9-15BEC234A584","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d982f977d6b8cd5c8e19012da58b884c2c65a08","datavalue":{"value":{"entity-type":"item","numeric-id":4411834,"id":"Q4411834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2b917c4b3f40d5cfd6fba68c33003f0ecfa77d3","datavalue":{"value":{"amount":"+0.9285250306129456","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":"Q2643142$F68B2CCA-BC46-4095-B1D7-003C94E077D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ade23acfe3c07683f960ab20fd5818d84d8f28f","datavalue":{"value":{"entity-type":"item","numeric-id":3002404,"id":"Q3002404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2b917c4b3f40d5cfd6fba68c33003f0ecfa77d3","datavalue":{"value":{"amount":"+0.9285250306129456","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":"Q2643142$733F5347-79CD-4D76-9A6F-D05F3F7E5DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a19e4fe756e84b14e0c1cb0b1fd34a1397a1ec","datavalue":{"value":{"entity-type":"item","numeric-id":5710722,"id":"Q5710722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df24d5527feb6209cac700f19d4fc0f46568fc54","datavalue":{"value":{"amount":"+0.8983121514320374","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":"Q2643142$C7DB6E23-312C-4C95-BBF3-F4657631A15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a8638a43eb413dcd6bdf2670f9c7a2756b5a469","datavalue":{"value":{"entity-type":"item","numeric-id":5505584,"id":"Q5505584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbab671c3ca42bb24ffa431ba598c48e93794b1","datavalue":{"value":{"amount":"+0.8688067197799683","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":"Q2643142$981C2849-6704-4363-8AF1-B5F9042A830E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84bced233fbff2834354e478bf5a0d10f8734912","datavalue":{"value":{"entity-type":"item","numeric-id":636308,"id":"Q636308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1c824d37562221b2c27ec9dfd9a164370819eb","datavalue":{"value":{"amount":"+0.8456560373306274","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":"Q2643142$86B510C0-495D-47BE-9BA4-AF86F6C651CD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2643142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2643142"}}}}}