{"entities":{"Q672383":{"pageid":674232,"ns":120,"title":"Item:Q672383","lastrevid":63460251,"modified":"2026-04-11T13:19:26Z","type":"item","id":"Q672383","labels":{"en":{"language":"en","value":"An initial semantics for the \\(\\mu\\)-calculus on trees and Rabin's complementation lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984959"}},"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":"Q672383$DDCEF17A-6433-4D9F-9431-8A7C7D0113F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae342c4b28b83eb534b2d7730d523c2e511a5213","datavalue":{"value":{"text":"An initial semantics for the \\(\\mu\\)-calculus on trees and Rabin's complementation lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672383$091C4C82-C912-49F6-9004-447B5651D6A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff8077488ff54c6d93ce88bbc5a38b8422757320","datavalue":{"value":"0873.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672383$6FBEA49A-1173-4603-96D0-3AAF24CCF68C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90d1d2ae92a776a4a184f01409f1fa02f59f0a9f","datavalue":{"value":"10.1016/0304-3975(95)00069-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672383$C69A7B52-4717-40D0-9764-CC118CA0CC53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f07bf463f7dd0ae34a6ca7eac63af8055d6cf8ac","datavalue":{"value":{"entity-type":"item","numeric-id":671987,"id":"Q671987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672383$B42D29BE-7951-48B9-A8EC-126B23A40FFC","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":"Q672383$E22E1022-ADAD-4FAE-B1D0-7FEACFE0A75D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672383$D0F6F2DD-A838-4CCC-8C1D-35E33C926D79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672383$3423D142-C3CC-4C71-9967-CA1E6AFF638C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672383$9CD22552-ED87-4864-8AE0-B2C36F4219CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2dc693d4a179b1fa7bd6d459407eeccc368ef3e","datavalue":{"value":"984959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672383$341AD854-BF22-4B21-888D-8B98E7F6ACE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a84ba88a223d66a255cf717873de1a17d0ae80a1","datavalue":{"value":"tree automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q672383$95102EB2-57FF-4630-A699-5989E6588A99","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":"Q672383$2E538E29-C90B-4C91-B859-9A6D6A8DC207","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2f78ef185cce0a9e5e1d19c695f5adb19c06f62b","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00069-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q672383$A6C8B34E-281D-4406-B5EE-EE502A65BF10","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85dfb35ff2666b3d0a4d62ac540edbc5dec2118a","datavalue":{"value":"W2048686066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672383$447A18B1-A871-44AA-845C-B33A93D61AB5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c3c4a76eb04e0bb20f1f1d2ae2e8459415781a5e","datavalue":{"value":"Q124999909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672383$1AC24C6A-D88B-488F-BFC6-206517AFF87D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe8caa258152596951f3aed3546536f53bb4ec18","datavalue":{"value":{"entity-type":"item","numeric-id":4273664,"id":"Q4273664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672383$ACBD2553-C238-4477-8DD8-B168F965F31C","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":"Q672383$34A9C92E-798F-4AB2-87CB-DD168529CA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03faf406400648157c57fa88efc1ec2427ec13e2","datavalue":{"value":{"entity-type":"item","numeric-id":4431395,"id":"Q4431395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672383$DA243F94-1317-4E23-AB52-DF1407D69273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672383$E3BC0BB4-1544-4E21-8CFE-44329FDE661F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46986697e9a2591d83bd32b37bbe4daa491a8b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3730012,"id":"Q3730012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672383$C1DA0B00-0406-4B70-953F-A60F37076E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672383$BCA6BF56-6F9F-4FEB-AE13-FB3F65546985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672383$86F2CE4B-4E94-41E3-B34D-2FBFE8975109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fedbccefe4d762629d49ba73b6dcf696b21dcb66","datavalue":{"value":{"entity-type":"item","numeric-id":1199531,"id":"Q1199531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672383$3BF16929-8B21-4CD0-9392-0CA1540F4004","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8233fba8df961b9fac0b377dbbd93005522d5ba","datavalue":{"value":{"entity-type":"item","numeric-id":4818844,"id":"Q4818844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80f170381cdbbfe8cb7041517d86f25fc2254bd4","datavalue":{"value":{"amount":"+0.8174325227737427","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":"Q672383$D2FCD639-32EF-4392-A777-C0509AC2CC08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"429ceecd8fd14e3a700bd0400fc5b26ea5b45556","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a51c84cda6d35248af6014c34ee60ab81efcbcb4","datavalue":{"value":{"amount":"+0.7719312906265259","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":"Q672383$74CB651A-BFB8-46CD-904E-B469B74F06CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d88060207dc617d9eab5e4ce3479cea6e29c0f1","datavalue":{"value":{"entity-type":"item","numeric-id":1770419,"id":"Q1770419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cddf2d6b3e2bd268e84acc6ea503d3fd4d454c6e","datavalue":{"value":{"amount":"+0.7590152621269226","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":"Q672383$E986BA84-4A50-4DF4-8AF9-655C395B512C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88d39a5cbdbee23fd156fd1d350cbae5fa6a7956","datavalue":{"value":{"entity-type":"item","numeric-id":3557849,"id":"Q3557849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4177d842c709c7241745e8a9be65cb246a0a69f","datavalue":{"value":{"amount":"+0.7527809143066406","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":"Q672383$1CF31CB8-84D2-498B-92CE-1B6A7C3E53EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An initial semantics for the \\(\\mu\\)-calculus on trees and Rabin's complementation lemma","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_initial_semantics_for_the_%5C(%5Cmu%5C)-calculus_on_trees_and_Rabin%27s_complementation_lemma"}}}}}