{"entities":{"Q3203012":{"pageid":3213720,"ns":120,"title":"Item:Q3203012","lastrevid":49445830,"modified":"2026-01-07T04:19:54Z","type":"item","id":"Q3203012","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179361"}},"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":"Q3203012$3B1F36B3-50BA-4832-A7B2-84BA9DE6CD68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"642618f998f4c71b09d6aa3d15fed0f3cfe3755c","datavalue":{"value":"0716.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203012$45EB283C-5FC8-43C1-9F27-237119236DF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3203012$13B91273-187E-480D-BF94-49BEAB08B98E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203012$B5DA350D-0D95-4733-81E4-FC98CF3FBE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203012$1621C95E-53C1-4FF0-ABBB-0B9E9C8C64D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203012$074DCB85-CA87-46A8-9823-239549FCA90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203012$61D90E41-362B-40E6-BABE-3CEAB0A8C5DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19d420872f65fb037681e3b35a22527910064298","datavalue":{"value":"4179361","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3203012$B5641EA8-9C41-4D2A-8E73-4A914D247D10","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ee93da12aaca934626d387171d533692d85fa7","datavalue":{"value":"B\u00fcchi automaton on infinite strings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203012$2CD656FE-E287-4C47-835F-F84A529671A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203012$524345E3-95D1-4428-BCF9-C4C98E6152A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b10d0d41cdb944f1b8ad3aedeedb6c9272f9d63","datavalue":{"value":"modal logics of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203012$4074AD4E-EC99-4B54-9BD0-F12CD6E39C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"289a96375d198149080a8436e257ae30c7c55bad","datavalue":{"value":"\\(\\omega \\) -automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3203012$C5CC73FA-D3C6-4E71-B414-83D6CFF5F9F5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"570fdf9abfcdd47196a1c28958b07fd2ceac0701","datavalue":{"value":{"entity-type":"item","numeric-id":1051418,"id":"Q1051418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3203012$C598C598-FEB0-4284-AEF9-4F97BF72B95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc837c02444940ab2cc4ed02c866bd11d454b3ae","datavalue":{"value":{"entity-type":"item","numeric-id":1021242,"id":"Q1021242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3203012$22584B88-5637-454D-B67D-EC54AA0BF075","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":"Q3203012$89363A5B-8CB9-4B35-B9E2-8094C8927754","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4812e74667e830af80515962e56cb62df67645","datavalue":{"value":{"entity-type":"item","numeric-id":5484906,"id":"Q5484906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c04731be016af4323dcae2a325b3cef22a337c2","datavalue":{"value":{"amount":"+0.8321633338928223","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":"Q3203012$E8396FD6-0FC2-4632-A715-1EF5F17C821B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce2d5ae8677f8dbaaf06f27ce6827e07f518175","datavalue":{"value":{"entity-type":"item","numeric-id":5394176,"id":"Q5394176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eee1de6519eb80f4cd70b467d844291c36a2c9e","datavalue":{"value":{"amount":"+0.8294878005981445","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":"Q3203012$EDD60F46-17CC-4C06-BF9D-789CDC3394FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89f3f4a327a0395ccdbeb41db1d17a0ba224c396","datavalue":{"value":{"entity-type":"item","numeric-id":5390016,"id":"Q5390016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a93037c11531db78799e7dbfad71e1a965433bd","datavalue":{"value":{"amount":"+0.8273035883903503","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":"Q3203012$8FABFF7E-7C87-4B6A-AB73-7D8B8A6F2686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0a8e211b83811b0e0a0bc1fa84737ef2884f8da","datavalue":{"value":{"entity-type":"item","numeric-id":1822512,"id":"Q1822512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc5aa9a3fda5d8fcc00420e67ef0e8fc69e164db","datavalue":{"value":{"amount":"+0.822572648525238","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":"Q3203012$B0C8C3D0-CD81-41FA-AA9B-DBD41B9044FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b7c64f00f725c5065ea4df6250839cedd4cb3c5","datavalue":{"value":{"entity-type":"item","numeric-id":3446820,"id":"Q3446820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd603e99192cf7810d3442072795477de78ad8ae","datavalue":{"value":{"amount":"+0.8207157254219055","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":"Q3203012$E9DDA8FC-626E-4901-8A8F-8754AB9299D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3203012","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3203012"}}}}}