{"entities":{"Q4943547":{"pageid":6973129,"ns":120,"title":"Item:Q4943547","lastrevid":47460067,"modified":"2026-01-01T19:39:21Z","type":"item","id":"Q4943547","labels":{"en":{"language":"en","value":"Fixpoint alternation: arithmetic, transition systems, and the binary tree"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1416503"}},"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":"Q4943547$0ADD2853-65F1-4D85-83D3-97E2435D98BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"262625d8d9616bdf17c7adce0b25bbafcc7ce12e","datavalue":{"value":{"text":"Fixpoint alternation: arithmetic, transition systems, and the binary tree","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4943547$65ACB416-A5A3-4E0E-9D74-592EBC2E4432","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"333f7cc100aa214809a2352ef0d4e461ee6efd6b","datavalue":{"value":"0945.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943547$23127ADD-578A-4BF8-86F9-A824BD25D420","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f26ab800d353f785fba41d5cb9e1942cc404ee","datavalue":{"value":{"entity-type":"item","numeric-id":516247,"id":"Q516247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943547$B1869F0A-2CC2-45AC-8C48-AE8DCFCF9013","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943547$18F73869-8D19-46B3-AF4C-03AAA563200E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fca57a7d89bf0dec15e3184fdb1684eb793d104c","datavalue":{"value":{"time":"+2000-03-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4943547$CD7D9E49-D073-4D6F-895D-CC932811B4E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a93303e9d384fee356524d9a4ed97e74f6b5b95","datavalue":{"value":"https://eudml.org/doc/221964","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943547$6F8E4A46-7F80-47EA-A813-31573D78A011","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943547$C3AF2924-285E-468E-B931-5B8738F796C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3fca415580115e1e0a74c69afb3a7d85b0c01d8d","datavalue":{"value":"03D55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943547$928F3506-0C5C-4949-B1B2-534A8ACCAED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943547$D4527981-98BF-46A6-88ED-53EC1F710977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943547$69746AF8-3B24-42CE-A079-C6B64F0B06C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d715c29fdd7ce266813cbb3d9a1921ccfa2e501","datavalue":{"value":"1416503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943547$147047EE-CCFE-4691-A1EC-AA28C8BEE049","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"616231d833fdd9a4a3e18c9809ce6bf2b3858763","datavalue":{"value":"modal mu-calculus alternation hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943547$C401C343-B16D-4CA3-AC95-EDD8B557E1CC","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":"Q4943547$C780F216-07B5-49C5-B367-E1D59D5EC5B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4b3c5dc3f950dca6a21e97a15a4e7f2ae7a70384","datavalue":{"value":"W1998551395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943547$56AF4A85-082B-4754-9A8E-CAC28B6BFED9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8cb182758fb38507da200e061d13e9bc8ccafa","datavalue":{"value":{"entity-type":"item","numeric-id":4943546,"id":"Q4943546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943547$DA582BC9-7947-44EA-9C74-2995FA47395B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8c4f9cc901bad30bbe24ffc4e73a5bd470e287","datavalue":{"value":{"entity-type":"item","numeric-id":4003036,"id":"Q4003036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943547$2CC8FB6C-A927-4916-A386-F354308F8408","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d607f75ee60e74d5b0d2a5c32f6dbeb202dc480","datavalue":{"value":{"entity-type":"item","numeric-id":4593954,"id":"Q4593954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943547$E0D28D6F-B880-4ABA-AA69-8E82D8728082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8ff4f787fc7070b2b34786e80f0fcdbf8c04bde","datavalue":{"value":{"entity-type":"item","numeric-id":1276239,"id":"Q1276239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943547$E95D37D0-C391-418E-A244-2713C040F3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad47ece55927a6d87e6131ec1fa32ea3017ee5d8","datavalue":{"value":{"entity-type":"item","numeric-id":4381381,"id":"Q4381381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943547$2709E590-9BAB-418E-8DA5-AA181CF7C8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616d03b1219418af06ece48bd855e350c3cf3d4","datavalue":{"value":{"entity-type":"item","numeric-id":3569045,"id":"Q3569045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943547$76C0C6EF-E845-4B8E-9838-23A091152767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943547$38F9A3AC-6E13-4308-90E8-57BA0322A4E4","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":"Q4943547$E56DE1E1-1A69-42DC-849D-C4BC0AF4B90F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa853dc52082146519bcf70a82325d270f5956a4","datavalue":{"value":{"entity-type":"item","numeric-id":4818826,"id":"Q4818826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943547$E9FB32F1-3892-43D5-9083-7547AE092664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efd0e14918e109d02c7e38920be6745b2bb40969","datavalue":{"value":{"entity-type":"item","numeric-id":5287693,"id":"Q5287693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943547$02031A78-EE08-41B5-97CA-9E56707D2CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4bf537c518963fde2af2f1ac38ffa9e9a54861","datavalue":{"value":{"entity-type":"item","numeric-id":1389678,"id":"Q1389678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943547$F2713DAD-F4B0-4E49-B981-67F3461C7986","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ab3e5716bd5e3cca22519104fd1c6bf258e3b12","datavalue":{"value":"10.1051/ITA:1999122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943547$A25DB831-F4BB-443D-BD6E-63C2B5ED6FA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8d2e5c0f422ff4c1f4a50f408a7fae0ffe7312e","datavalue":{"value":{"entity-type":"item","numeric-id":4943546,"id":"Q4943546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c756cacad73ed3c353d9e6f6239d8103ebf6cc0a","datavalue":{"value":{"amount":"+0.8001611232757568","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":"Q4943547$0D6B46F3-CD59-4E09-8833-087967F6023D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936c00b110d083fe18b85a9e15a0981c697e397d","datavalue":{"value":{"entity-type":"item","numeric-id":4381381,"id":"Q4381381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b688d2c966694861b7d5bfde8607dcf83e7821","datavalue":{"value":{"amount":"+0.7879779934883118","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":"Q4943547$45F07001-4473-43A8-AE76-43925115A27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20ac10ae2351adb42f518865ccc0b8cfed9b88fa","datavalue":{"value":{"entity-type":"item","numeric-id":4412834,"id":"Q4412834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b688d2c966694861b7d5bfde8607dcf83e7821","datavalue":{"value":{"amount":"+0.7879779934883118","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":"Q4943547$9EC61351-33D1-4F33-BB63-8A40DCEA5815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d681c844ac36968c3e0afaaa2b20549aa9b5b15","datavalue":{"value":{"entity-type":"item","numeric-id":2509356,"id":"Q2509356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81bd5b7c3eb8a248ee7de1b9e91263040ef6bb5e","datavalue":{"value":{"amount":"+0.7799391150474548","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":"Q4943547$60D7A584-8A2E-4598-8324-357B9BA5AB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e46850c67de63965207376a2071fa4f941b77f6","datavalue":{"value":{"entity-type":"item","numeric-id":6104376,"id":"Q6104376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf45697eddb37a1e487773eb087d607668e0041e","datavalue":{"value":{"amount":"+0.7695160508155823","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":"Q4943547$4FA11199-DC2F-47E3-862E-B4A43450A0F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4943547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4943547"}}}}}