{"entities":{"Q3569045":{"pageid":5598949,"ns":120,"title":"Item:Q3569045","lastrevid":51015701,"modified":"2026-01-16T05:35:13Z","type":"item","id":"Q3569045","labels":{"en":{"language":"en","value":"Automata for the modal \\(\\mu \\)-calculus and related results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5723031"}},"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":"Q3569045$FB8717FE-72CA-48F5-A593-FBDC43CF4727","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"436f302258db17e609938669863cde1d15e9662a","datavalue":{"value":{"text":"Automata for the modal \u03bc-calculus and related results","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3569045$0B5EDE14-FA37-4F90-9BEA-C76AF416EE5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b00dc5d40a07e231911b2f66a1153eb6c7cfe7f","datavalue":{"value":"1193.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569045$9D2C551A-E406-46EF-B87C-2D5E0F4DE4F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"977e16999dbf7bb8901a820e01a49ad9c65b4213","datavalue":{"value":"10.1007/3-540-60246-1_160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569045$07F3216B-E1E8-4002-ACC9-DABB6D2DF6F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63b87220b128340149e10ebf560470ab65c97307","datavalue":{"value":{"entity-type":"item","numeric-id":906980,"id":"Q906980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569045$BE23E0AF-6E96-48A1-B3DA-50BB29CE4F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569045$8E4B86E0-71FD-416B-8CED-7C5ED6741C1E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569045$95A63C15-A377-46C3-9FBE-F112CDA7BCF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569045$B69DBADF-A049-4AE8-8D85-1D8D332B1DDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569045$ED010C74-FD15-4139-93F5-FC669E39F34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569045$0B2DC8F3-97C2-4A86-A098-88C3ED0FBD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569045$59EA7C05-D09A-413C-BEFF-D369DD536DCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7842d64da0117ccdcbadb5fe84471ba22f7a244b","datavalue":{"value":"5723031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569045$600520F9-A4BC-4D82-954C-23270E925E23","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":"Q3569045$088F449C-60C2-48B6-8E43-3C7917F26281","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d506d0c9af9fe75e19876962f8d06fb2c4ac9823","datavalue":{"value":"https://doi.org/10.1007/3-540-60246-1_160","type":"string"},"datatype":"url"},"type":"statement","id":"Q3569045$7055E54F-271C-42BF-894F-82BAF591CF26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9108f97187d9415ccd1a69235370ce27ae4dbe4c","datavalue":{"value":"W1539385324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569045$A07BB749-E0D2-4745-90D5-D811804B29B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88af436a118436296d1afc914ce6499a1bdceff2","datavalue":{"value":{"entity-type":"item","numeric-id":4412833,"id":"Q4412833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008c070bf015956bb99c21a0429a054bd26144f6","datavalue":{"value":{"amount":"+0.8619269132614136","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":"Q3569045$D3E51043-B930-42C8-BA46-A24D61CDCC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1601b8c796d8b20e76b5fba486f8da6ae71efa7","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008c070bf015956bb99c21a0429a054bd26144f6","datavalue":{"value":{"amount":"+0.8619269132614136","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":"Q3569045$4D0D545E-CD23-4340-BCBD-F46F9727A10B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a315eaeafdd361283d1d05820b5bbeba9530370c","datavalue":{"value":{"entity-type":"item","numeric-id":1119630,"id":"Q1119630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6156e2922d5578e8552e2cf48b18dca6c707ea","datavalue":{"value":{"amount":"+0.8494451642036438","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":"Q3569045$97107CA7-85DD-4F54-A8D0-35678F0E219F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec36172d005e4eb4f539d380bc30ca077d8ca169","datavalue":{"value":{"entity-type":"item","numeric-id":4603451,"id":"Q4603451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746b34ccf886ec6f104d4c5404ea45032fb6dd1e","datavalue":{"value":{"amount":"+0.8383748531341553","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":"Q3569045$62729EAB-3D85-41E2-B8C2-B8348757BEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64bd3d6c57e769fdcd7543d4075e1e785873ac68","datavalue":{"value":{"entity-type":"item","numeric-id":1749477,"id":"Q1749477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf8427eda755f8c93a6ce62cab1e820fab35d6c","datavalue":{"value":{"amount":"+0.8375446796417236","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":"Q3569045$CADC34A6-F590-498C-A9FE-BFF152FC01D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3569045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3569045"}}}}}