{"entities":{"Q3296347":{"pageid":3307055,"ns":120,"title":"Item:Q3296347","lastrevid":86732039,"modified":"2026-06-04T09:42:04Z","type":"item","id":"Q3296347","labels":{"en":{"language":"en","value":"Revisiting MITL to fix decision procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7218153"}},"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":"Q3296347$BAEE5B30-6AB9-4DB7-8B27-2FC8ABFA4A2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcec89bf5c3002c0b0fa3e73b83cf89f56a07762","datavalue":{"value":{"text":"Revisiting MITL to Fix Decision Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3296347$CABC5BEA-BD5D-4EA1-B06E-27266F64CD6D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e3f4214de336cff5cde861beccd24ba9e1a2897","datavalue":{"value":"1446.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296347$05C5B45B-420B-4A82-83F7-3E9D9036E503","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1643d1b821d5498a700df137b229f9c4ffe09e4c","datavalue":{"value":"10.1007/978-3-319-73721-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296347$836588BB-5AD3-458E-9D37-AA38B9CBFEB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19d8460a4509ab76e30002431a0dd2f4fb7dcd8c","datavalue":{"value":{"entity-type":"item","numeric-id":2272935,"id":"Q2272935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296347$BBACAEDE-E2AC-4DD6-A096-E65EA0C22B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"143b6b92bc6a16b35c1b93aef5aca0ebdc691790","datavalue":{"value":{"entity-type":"item","numeric-id":650913,"id":"Q650913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296347$B5C652C5-6C23-42DC-9DB8-7A78B69045BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296347$A0F0C3EA-419A-451D-BA6B-E14F0ED02F5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01d69a3c7fdeda349075259d925d96d26b367ba2","datavalue":{"value":{"time":"+2020-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3296347$CA8CB2F2-EFF4-48FC-9693-846D62BFF68F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"83b90c51b1f7bff0dd775a45cc1683943f44047d","datavalue":{"value":"https://arxiv.org/abs/1910.04216","type":"string"},"datatype":"url"},"type":"statement","id":"Q3296347$36791DAE-A168-481E-81BB-0DF4D90B8375","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296347$307AD6D3-CA6F-45DD-8084-FDEC74A135C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296347$70D20CE6-4940-49B8-964B-B4499E08659F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296347$B2B3C4C1-DC7C-4113-9089-536B2D441977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296347$150EF2F2-9101-4C55-9718-03CE6BC020D5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"add098335f2f64a4caed0f380c14e93b49efb870","datavalue":{"value":"7218153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296347$52EB3E2D-0B21-45DB-9941-8ECDC9CF30B5","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":"Q3296347$11B4E904-D805-43F4-B05A-4728C25F435F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e285ca92a3950e2cec69536a2fbbdcd4e732433c","datavalue":{"value":"W2780338284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296347$0689F03E-92F4-41A7-B18B-3DF4DEF4D04E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe660c55e4219fa4b674a150ad5a77aeaf83eaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4992507,"id":"Q4992507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1e84a258438b6ec74d0fb1f085435c46135d4a4","datavalue":{"value":{"amount":"+0.8345130085945129","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":"Q3296347$2F18146F-7DB5-42FD-B6A2-8232192A6FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd337c76b9d0191a884de11665b0801df545251","datavalue":{"value":{"entity-type":"item","numeric-id":897649,"id":"Q897649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b595d0fe7129ffab520d287952bb1340201474","datavalue":{"value":{"amount":"+0.8278120756149292","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":"Q3296347$31138120-CA7F-48AD-B817-8F0A021AF0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d7ead5727c5fd6d7326da705083f0c9b5e83204","datavalue":{"value":{"entity-type":"item","numeric-id":3519496,"id":"Q3519496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40d984aa03de13214e3846e5fc7a8aacf90a0d4f","datavalue":{"value":{"amount":"+0.8118953704833984","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":"Q3296347$8DCF6FF3-5DA9-4DC8-ACD5-54B1ABE39F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35c5c2d00b74ef3e1612d418fd0e3525fe319c7","datavalue":{"value":{"entity-type":"item","numeric-id":3543284,"id":"Q3543284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"325452e9e490dca310fef57e85951e7af9527050","datavalue":{"value":{"amount":"+0.8118846416473389","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":"Q3296347$B51DBCCE-5413-4981-8F30-EC3A952CA66A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f61205fed9e2d98b331ec2655d5f53d56b59fbb","datavalue":{"value":{"entity-type":"item","numeric-id":3564866,"id":"Q3564866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1987d23266491720513e3359df664b8f5dc9421","datavalue":{"value":{"amount":"+0.8102203607559204","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":"Q3296347$A3A3B4ED-A999-43CF-BDD1-3A3863407348","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Revisiting MITL to fix decision procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Revisiting_MITL_to_fix_decision_procedures"}}}}}