{"entities":{"Q5458316":{"pageid":7487875,"ns":120,"title":"Item:Q5458316","lastrevid":50333774,"modified":"2026-01-13T20:27:08Z","type":"item","id":"Q5458316","labels":{"en":{"language":"en","value":"Extending\u00a0Automated\u00a0Compositional\u00a0Verification to the Full Class of Omega-Regular Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262357"}},"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":"Q5458316$E9547329-BB11-4F57-8855-535EEEBEC7AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a47dba38c0b9fd58cb7ca10f25c3932249243ab9","datavalue":{"value":{"text":"Extending\u00a0Automated\u00a0Compositional\u00a0Verification to the Full Class of Omega-Regular Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458316$30E7FD18-B0BC-43AB-B295-8B9711803CD0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f34e228d1d36277b4b1fadbc2714b94a9d54f29","datavalue":{"value":"1134.68406","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458316$E4FB6517-384C-4036-8127-3F2AF782DECC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1c3353390bca49b1c199a07601d3286ca63b9c9","datavalue":{"value":"10.1007/978-3-540-78800-3_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458316$80A8D2F2-35AB-4B22-8358-11504B41D9CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"447b7ccb3b44606d06749a82accbbc81e15a98a8","datavalue":{"value":{"entity-type":"item","numeric-id":832231,"id":"Q832231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458316$4C0DE8ED-CAAC-40B9-8B60-34DC655FD2DF","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":"Q5458316$6AA2CDEC-C5BC-4780-9E78-8D38DD10FABF","rank":"normal"},{"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":"Q5458316$E22B1EDD-36C3-4AB5-AE92-B4BF18DC5E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c17cf4b757376e81bb18052c33891da6bf831a","datavalue":{"value":{"entity-type":"item","numeric-id":832259,"id":"Q832259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458316$102DB199-47F7-4F00-9F5B-C89D5159E568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458316$97DEB24A-4B2F-46BC-A49A-B52921FFA287","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":"Q5458316$DF847A9F-32E9-4C04-8C2F-D9CABA2B91EF","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":"Q5458316$42F41E73-43D2-44DD-A357-F25DB602654A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458316$FC5D6A70-5DE4-4596-B495-DA3E2C8ECE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458316$174DC389-3791-4CC6-A4B8-7FFD6ACF3F89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458316$892808D5-B48D-4E12-8C7F-F6DF82AD0071","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66239d0bb91f278ea94cdf830d8c8d43521983a2","datavalue":{"value":"5262357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458316$55680B6A-BE39-472C-8A50-2CAF123BF43B","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":"Q5458316$D57B42E7-48E2-479E-9993-0821D365849D","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":"Q5458316$0DB04DA1-94E3-4114-996D-BE31606FB33A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0ea8d766d7a2ab4a9f80abd22c8ef43046111f9e","datavalue":{"value":"https://doi.org/10.1007/978-3-540-78800-3_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458316$A5D8E1AA-9311-4E51-8AB2-B7B3031581B8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0169ff4b9ed842c3cbe099f25520156c163222f","datavalue":{"value":"W2103976262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458316$54629519-E09A-42D0-894B-CFFD8EF4CB5E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ebe8370444c2175a7c5650a95156d4ca2228001","datavalue":{"value":{"entity-type":"item","numeric-id":1892893,"id":"Q1892893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c830cae7c5ae65d955ab13290f455bed709611af","datavalue":{"value":{"amount":"+0.797718346118927","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":"Q5458316$BFBE1D56-8DD7-4F14-972F-FF4A0CF39300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2fd6c46ec879b8f3c4c5362a60636285c2e3ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3525110,"id":"Q3525110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c830cae7c5ae65d955ab13290f455bed709611af","datavalue":{"value":{"amount":"+0.797718346118927","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":"Q5458316$7607B136-3444-4951-B37A-4E68F02E3091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c9828957d67044d6ac6db4680c9554faf90f833","datavalue":{"value":{"entity-type":"item","numeric-id":5703791,"id":"Q5703791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f88a5080652cb479adef5623d94e45c790b96d54","datavalue":{"value":{"amount":"+0.7953751683235168","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":"Q5458316$D0EE643D-06D7-4B27-958C-A05163F85DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b8f1a4c82d71e071b22d2b1481ed2813680977","datavalue":{"value":{"entity-type":"item","numeric-id":3395145,"id":"Q3395145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2b2990c6109369d1ef1252df924c91072c6611","datavalue":{"value":{"amount":"+0.7700019478797913","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":"Q5458316$DF5074CB-174D-4415-91F3-F444ED129D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424307765c8447ce2045beb8aaea488784768bf7","datavalue":{"value":{"entity-type":"item","numeric-id":5452608,"id":"Q5452608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe71c001a62b290bc540ba36b52d8253bbbb062","datavalue":{"value":{"amount":"+0.7692145109176636","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":"Q5458316$1E44CB4F-1B0C-4EAB-97E6-84A74F1D4600","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458316","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458316"}}}}}