{"entities":{"Q5458337":{"pageid":7487896,"ns":120,"title":"Item:Q5458337","lastrevid":50333831,"modified":"2026-01-13T20:27:14Z","type":"item","id":"Q5458337","labels":{"en":{"language":"en","value":"GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262381"}},"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":"Q5458337$37E9670E-9F03-4863-9B3A-B73BB799C310","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7314ed7c548c8a2b317faad12dc5fa82e8bd3318","datavalue":{"value":{"text":"GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458337$69B6ABF9-3E87-4C34-B23F-C970E516F69B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7517e24f9ba52e1de7e02573f99f9a76e0b03163","datavalue":{"value":"1134.68420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458337$6DFDDFCC-42E5-46E1-B8C5-0CDBCE215856","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2630530feb3691c6b9391b1dcad288b4ecee9bcf","datavalue":{"value":"10.1007/978-3-540-78800-3_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458337$F727DC04-E22B-49DA-B18E-F50DFF1C7B39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6b20f6ece5fa5cc40707815445e71b70bca478f","datavalue":{"value":{"entity-type":"item","numeric-id":671673,"id":"Q671673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$6FC65167-D913-40BA-B180-3671CB2A401E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7fca74f7f2088ba772c96b73216f68cda94cc5e","datavalue":{"value":{"entity-type":"item","numeric-id":740969,"id":"Q740969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$1E1F8210-2E20-4E67-AFC1-9D2097773853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f9764996bae6bd9b17d23d85978b18dacf299f6","datavalue":{"value":{"entity-type":"item","numeric-id":832258,"id":"Q832258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$4F93CA4D-3D21-4A5B-9714-32A83CEE7E79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0afa370fdae9ed9cc9621434ff62eb6a3e341c59","datavalue":{"value":{"entity-type":"item","numeric-id":1019028,"id":"Q1019028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$46286B59-6FE9-4111-81FA-87AF8F5304D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a85776adda7677c0ade2e66e29d2ad0d8efb9e71","datavalue":{"value":{"entity-type":"item","numeric-id":1019029,"id":"Q1019029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$74969FB5-0A45-42DC-B4A5-ECF756294C4C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$B74BE42B-FE70-4E92-8852-623837306B2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5458337$F8B6E5D1-9BB5-4F5A-AE30-666E30D0D41B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458337$2A0DBB25-F0B2-4CDB-BAE0-D442AFC2F20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458337$6A2D7757-D702-412D-B1FE-07A105AC83A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458337$4CE97323-66B5-4DF3-9EE9-71C5B80A2DA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"232f8d5edaae15455b18a65ac6115553889d66ac","datavalue":{"value":"5262381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458337$92B7DA56-30EB-4C91-903F-343A14F0B538","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$0AA3DD44-436C-44BA-B0CF-78EDAC7018D3","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":"Q5458337$B3EDE2D1-7B57-4004-94A3-4D93CA6BDE75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"366545ff9a50d0dd69adae8792cd6629de462e0f","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458337$233E3BBD-1421-4355-9410-35F1DF6FE649","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e1f940c5d7a6d15941dffb03384720f3146abf0e","datavalue":{"value":"W1585581063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458337$65E84C07-C77C-4567-BC92-467F580A257F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27eb369af74c81caf93446c2eac86f4939dec84","datavalue":{"value":{"entity-type":"item","numeric-id":4817549,"id":"Q4817549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$05B574B9-CE1F-42C3-9704-0E830518A5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"befac40fe1cb8125522cebeee5546ac3f483c4d3","datavalue":{"value":{"entity-type":"item","numeric-id":5394176,"id":"Q5394176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$F36A253B-5382-4ABD-8A3D-B20A41328EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$8CC16F9D-AF96-4E45-9BD6-12737BB1F6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86cff247738892f2e8be9f3fad6536e34cc42e30","datavalue":{"value":{"entity-type":"item","numeric-id":5431331,"id":"Q5431331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$39B114E5-89B1-4B69-AC34-99EEE9D4007A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257bde29cf31ef8d11489aceabb19d4387394d07","datavalue":{"value":{"entity-type":"item","numeric-id":4422087,"id":"Q4422087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$5FBD5C93-A1C6-4A0F-961F-7F2B5639B9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4d7e47b7300c176b601096e1931554ddb948e8","datavalue":{"value":{"entity-type":"item","numeric-id":5703759,"id":"Q5703759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$27E6C719-7E70-471E-85CD-BD21C86BE54F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e04cf66f1b8c3bd1f3bbed16cc3b96dabda0b39","datavalue":{"value":{"entity-type":"item","numeric-id":1854391,"id":"Q1854391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$CCC80596-8A7C-490A-A7B5-FE4DD716B5D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$0FEB0972-D86B-4DC5-90F0-8E96A6344ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79eec4b97bec28f5713ef898e819be0ee7fa02ca","datavalue":{"value":{"entity-type":"item","numeric-id":5897061,"id":"Q5897061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$041F5D86-2DC5-4FC4-BACF-E75C2A51204D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd54413287e6e70989953202b0183dd784ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$C3EC42FF-24B5-4A16-80B7-1960FB186AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a2d7830721aae6a0b1644943cee5b229f763586","datavalue":{"value":{"entity-type":"item","numeric-id":5480170,"id":"Q5480170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$AE3195F4-D59F-4AB2-A7EF-B8B02F39E38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2623c10986f830823333327079ef4574cecb7c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4941152,"id":"Q4941152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458337$B21B1DE2-8064-4A26-B5BB-AC3939D52015","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e107ebcc06eeb8e4bfd7eb4b1a7f2b0860f5342a","datavalue":{"value":{"entity-type":"item","numeric-id":4791853,"id":"Q4791853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12dc2bf1dc335d2b852e03affd2f771a0fda750a","datavalue":{"value":{"amount":"+0.729127824306488","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":"Q5458337$A53FD985-4222-4753-9C0D-69F9ACEA7AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80f1986278e2e39262bf06254305e1904ef1b55","datavalue":{"value":{"entity-type":"item","numeric-id":4945211,"id":"Q4945211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12dc2bf1dc335d2b852e03affd2f771a0fda750a","datavalue":{"value":{"amount":"+0.729127824306488","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":"Q5458337$805E5E25-DA44-4089-834B-1391CDB611CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfec4c95b71eedfc26d76c17bfdaca3cdade35ae","datavalue":{"value":{"entity-type":"item","numeric-id":6109606,"id":"Q6109606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"699745d3d8adb2e9706eeee81ab43c67df652edb","datavalue":{"value":{"amount":"+0.7280661463737488","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":"Q5458337$B8CC6ADB-A0E2-4866-B6A9-FC574AA3BEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21f713f7cd901baf7e1747fed471f73b13691097","datavalue":{"value":{"entity-type":"item","numeric-id":5897677,"id":"Q5897677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b64357f37580d545a0791b9abd9286f626d7f751","datavalue":{"value":{"amount":"+0.7279000282287598","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":"Q5458337$9F25E492-16C0-46F0-9836-90319BE20CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a02a26b10b7a15d340c8330c520397781616f59","datavalue":{"value":{"entity-type":"item","numeric-id":860862,"id":"Q860862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5bcecd26af99169d600a2d0ee05e169e0ae25d","datavalue":{"value":{"amount":"+0.7278994917869568","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":"Q5458337$4294FB1E-183A-485B-88B0-5B52A776C6AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458337"}}}}}