{"entities":{"Q1653004":{"pageid":1663745,"ns":120,"title":"Item:Q1653004","lastrevid":57443973,"modified":"2026-03-30T23:17:48Z","type":"item","id":"Q1653004","labels":{"en":{"language":"en","value":"Comparator automata in quantitative verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6904549"}},"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":"Q1653004$344022C3-0AF1-45F9-8222-94B8F6B53057","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"278bed4500b9fde4543d28244ff3801479d5da6b","datavalue":{"value":{"text":"Comparator automata in quantitative verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1653004$7C79D19D-75C5-4D05-80B1-8BFBC30BCA05","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eff9273faebe03c49483cd6f5411dfea4b16e6e8","datavalue":{"value":"1504.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653004$A586D5ED-743C-4051-9F3B-98374EF87E38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32438623e18c3dca2fc030172a34cffffaf9a777","datavalue":{"value":"10.1007/978-3-319-89366-2_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653004$8A1833F6-9AC0-4553-8A6F-4DB4C564AF56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"374d5d981724e451eaaed38b87c023caf00e1c19","datavalue":{"value":{"entity-type":"item","numeric-id":832235,"id":"Q832235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653004$BE292B08-C465-4168-AE79-F7C732333656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13a79f3b409f94f1ce850864706ce220316e5542","datavalue":{"value":{"entity-type":"item","numeric-id":1653003,"id":"Q1653003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653004$DB1F78B1-173E-4D0B-A504-26EBD32A8F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653004$6CDBE234-88C0-4401-BB45-932814B6CE49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b5beb1c4bc785d138efad70e0daa9766f53b635","datavalue":{"value":{"time":"+2018-07-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":"Q1653004$3FFB0FA4-22B9-417B-AB2B-158E3D46C4AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fb84387946429efb9858a2d4fc7a2e76fea92a0","datavalue":{"value":"https://arxiv.org/abs/1812.06569","type":"string"},"datatype":"url"},"type":"statement","id":"Q1653004$3A44AB3E-EF8C-4D01-A485-259FEA2A6B2D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653004$799D4B50-941D-479C-9D41-51EE6DDAD157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653004$DE1C14A3-3B07-4F0F-A599-605CA812D4E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fd5510b257249bbe94998f44b882d7157148297","datavalue":{"value":"6904549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653004$7191E42D-4E34-4D98-882C-BAE41617A750","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":"Q1653004$20318B6C-0D62-41EC-9F6E-149F1EE3E531","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f14f3f79725a4ded9976ea65e29f38a32a86e93","datavalue":{"value":"W2796674918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1653004$00190629-88E6-41EA-8B0C-E762FACAC4BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"899c901b807e10554d890ecabc749b38e9db4c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3540192,"id":"Q3540192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a6b498256d80920a4f4af8b6f86bee441181ea8","datavalue":{"value":{"amount":"+0.7380189299583435","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":"Q1653004$5A3348DB-F55D-4DBA-BA47-644030A1E7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f17fcac07bb41aaab98c5d5004552e1a0479b8a1","datavalue":{"value":{"entity-type":"item","numeric-id":2946611,"id":"Q2946611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5743e42e1a41c137a6b7b423df2e42a7e9c38feb","datavalue":{"value":{"amount":"+0.737019956111908","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":"Q1653004$84B1F723-0F67-4E8B-9BC9-BCD49F6B7E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9feaf8a558decfafa0ca750250edf66b49ca72e","datavalue":{"value":{"entity-type":"item","numeric-id":3183592,"id":"Q3183592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d88f011d049374ec41fdaecacdd89034c39585d","datavalue":{"value":{"amount":"+0.7333781719207764","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":"Q1653004$7E22A860-74FF-4D1D-B2DE-8A1E47E41291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"154541bb331d1fd8b92d6a4100d73337368a1afc","datavalue":{"value":{"entity-type":"item","numeric-id":2786127,"id":"Q2786127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98b50cf28b744403709d8caeacae85222ee88f08","datavalue":{"value":{"amount":"+0.7285399436950684","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":"Q1653004$022EF904-88C2-499D-805B-77460F0CCFF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5369dc0b20d8578efa731bb07909455a28f89","datavalue":{"value":{"entity-type":"item","numeric-id":2946351,"id":"Q2946351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a809bf9ac6ef0d87581d04379eef5db69f8686","datavalue":{"value":{"amount":"+0.7263302206993103","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":"Q1653004$FDA98FF5-2CE5-4B2B-8347-CC0BED08A63D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1653004$2B3B9C50-CA82-47B7-B581-7ACAAF607736","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1653004","badges":[]}}}}}