{"entities":{"Q4910485":{"pageid":6940064,"ns":120,"title":"Item:Q4910485","lastrevid":41676898,"modified":"2025-05-07T02:47:19Z","type":"item","id":"Q4910485","labels":{"en":{"language":"en","value":"Model Checking Metric Temporal Logic over Automata with One Counter"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6145891"}},"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":"Q4910485$C45DC9AF-92A0-4C8A-8933-BBD201E08E17","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a6791fe5fe9a6feb9c819b151122fd7a0517ed4","datavalue":{"value":{"text":"Model Checking Metric Temporal Logic over Automata with One Counter","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4910485$2E5175F9-00B8-4D14-A200-DB3F4E689C74","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"836d63ecaa89bafe7aef984ed868ba382ac022c1","datavalue":{"value":"1377.68137","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910485$9434BC08-A785-4A47-A0F1-9041040F6FA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e838e4b2d7a9571e1916ec542f1fd3d13e96a696","datavalue":{"value":"10.1007/978-3-642-37064-9_41","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910485$986C1DE5-CEF6-4AD5-8550-E77677D85610","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ac1f415631a4eb910cb7254df99f703f97084f4","datavalue":{"value":{"entity-type":"item","numeric-id":548691,"id":"Q548691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910485$AB3B19E3-789A-4C12-BC2E-9150B6B02DE4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4910485$BABF3FEE-14CB-4C84-8768-3E686B0DF337","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"920dd144368fa573f0e857e6831217ab76e93fef","datavalue":{"value":{"time":"+2013-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4910485$51DB8A4F-1684-482F-91C4-7976B2321F29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910485$19098DFA-DA10-4581-BA93-15F3A8E4AAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910485$0A53F68A-B1F2-4E39-9586-EA85847753A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910485$C713694C-6FC4-49B7-847F-24A8C88593A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ef3ddf65560ac89da04fde5e7e227077f0e5adb","datavalue":{"value":"6145891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910485$0BB0C2BC-0581-44C5-B695-197704F8C6CD","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":"Q4910485$26888A3F-50EC-44C4-B1E3-C3D5BDB2CDD1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63b2b19f342541a1b58b0f6b1fb3bf90fcf4099c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37064-9_41","type":"string"},"datatype":"url"},"type":"statement","id":"Q4910485$5985D425-3AA8-4E9D-B47E-914DC22CB139","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b244063456e0620a91a5199930e6da7ceeb21e6a","datavalue":{"value":"W2276770679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4910485$C6C247B8-1A7C-4127-908C-1E5DE6882ADF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d60e2c9544f0737d704ecf263d6583bff4381c8","datavalue":{"value":{"entity-type":"item","numeric-id":974117,"id":"Q974117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fc9bc383fecdb7e566105aee4b51a25c850a00b","datavalue":{"value":{"amount":"+0.90290177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910485$2B382968-674B-4317-BECF-9FAF28AE6471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2039bdede58f371353ca0d0c2d9041729a53521b","datavalue":{"value":{"entity-type":"item","numeric-id":3518285,"id":"Q3518285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eb075337d3bc3598e1225275f8dc582d13a6b19","datavalue":{"value":{"amount":"+0.8976557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910485$AEEC3912-A766-4745-ADBF-7E9160135F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7b7af96103334e44e507f573bb3b97e88e6361","datavalue":{"value":{"entity-type":"item","numeric-id":5758051,"id":"Q5758051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5350fc29ee4f1729cda971f78570530b043cc3f1","datavalue":{"value":{"amount":"+0.8965732","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910485$9D17FE0C-C526-4BE9-A2B8-6415CA98E297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae3439238dce07549040208ac17f289271ed86d","datavalue":{"value":{"entity-type":"item","numeric-id":3460579,"id":"Q3460579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114bd5e006f8fc127749887d6232d16bf70a3462","datavalue":{"value":{"amount":"+0.8958378","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910485$6E0991AB-B329-4F90-B05F-5851D6B0CB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527fffe8d3772234db5864533b511892413661d2","datavalue":{"value":{"entity-type":"item","numeric-id":5311487,"id":"Q5311487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a4a29e278654ed26d8e357f14a8c4925de92540","datavalue":{"value":{"amount":"+0.8951221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910485$DA358624-5EBF-49C3-9DA3-9E462B29A5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8942904f6c464f3014d26e638cf62cfdcb7af57","datavalue":{"value":{"entity-type":"item","numeric-id":3587469,"id":"Q3587469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65b70427d62d3646e5566a794b2f4c9f9d8aeb49","datavalue":{"value":{"amount":"+0.89288485","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910485$6A758771-73AC-422E-9C9C-08AC0AB0BE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbbbcb33e42f6f1d123e344f39790356f6881a45","datavalue":{"value":{"entity-type":"item","numeric-id":2848205,"id":"Q2848205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd07860a84f523234ebc87e65b271e6f6570446f","datavalue":{"value":{"amount":"+0.8883491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910485$7985E363-DAD0-4F5B-A29B-D5DC2C91F47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b6cd6183c9ea513a4cdce446777dda408da440","datavalue":{"value":{"entity-type":"item","numeric-id":2892786,"id":"Q2892786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f6eab3c8c32083b78c752a90e12633073b6dff","datavalue":{"value":{"amount":"+0.88291174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910485$D170F86E-FB47-46E0-ADBB-FC13931EBFC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb779ccc963de8068a88efc75cd4415f48b3bf68","datavalue":{"value":{"entity-type":"item","numeric-id":5121277,"id":"Q5121277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c16945018c59608bd87290c98c77d9aaeff901e","datavalue":{"value":{"amount":"+0.8812809","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910485$0CA8AC29-B3FE-4F80-8F26-A9853570525D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf579e042aedda8024390cee4e11fae59aec7e3","datavalue":{"value":{"entity-type":"item","numeric-id":5111643,"id":"Q5111643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083c9545d6b1ef9977bfb02c9c6a88dfa30c1834","datavalue":{"value":{"amount":"+0.88122725","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4910485$F2D49EC6-170E-488F-A60F-B630419AEA69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4910485","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4910485"}}}}}