{"entities":{"Q5209966":{"pageid":7239537,"ns":120,"title":"Item:Q5209966","lastrevid":53643410,"modified":"2026-01-25T11:57:13Z","type":"item","id":"Q5209966","labels":{"en":{"language":"en","value":"Verifying continuous-time duration calculus against real-time automaton"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7156374"}},"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":"Q5209966$12FC3027-E246-4375-92DC-5DBACCA5AE4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d549fb73b1dc8171bd6a9ba81247556c786c639","datavalue":{"value":"1449.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209966$4976C1B5-F0F8-4B08-8582-0D80F0C4C4D3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3673c59e41223cb7aff89e32650147e80a2d416a","datavalue":{"value":{"entity-type":"item","numeric-id":2050094,"id":"Q2050094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209966$C4734666-8CC3-4B62-8681-FEC880CBF51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"384676ebb4d87649106ce60efa6723ab9b759806","datavalue":{"value":{"entity-type":"item","numeric-id":1793124,"id":"Q1793124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5209966$46C79EE3-B6ED-4E9C-BCC5-1FFE8773215F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db0c076b272b350be02382ed0bfa3a4836080ec5","datavalue":{"value":{"time":"+2020-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5209966$5337B769-20D2-4696-8318-BEED2F90A2B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209966$CD3BB5C8-5F2D-40BC-AF27-B9D8FA0B5081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209966$A39D1189-83BA-4397-9036-C91DEB93F7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209966$DA618336-0218-4141-B180-A2721A44B9D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c8d777a82a71f04a4e9e7dc03384cdd2f6a6e02","datavalue":{"value":"7156374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209966$D7B3DAC7-5D1C-4E4D-BDF8-EC8C08EA5088","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e571d5d1b1f948f468f5f78176e1a3d5c65937","datavalue":{"value":"duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209966$61CC8EE0-BE3F-4C32-A80F-305CAEB385BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffcdb40d4d3f98604b76dbc786957c240510a95b","datavalue":{"value":"extended linear duration invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209966$F039264A-F4EE-4FC5-AD3B-E5EB1AA146C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f77061bef2738bf79db8554efba515608f85d5fb","datavalue":{"value":"quantified linear real arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209966$C2B5F941-2955-46A0-A082-119B8A9F04C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5209966$9039C216-8EF9-445E-9A61-6E4D1066115B","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":"Q5209966$9F881F37-410D-4D91-BFA5-AA8FBE1DB326","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"448cda8aba1c5fd87e5662cc571bcd697dc5e6b1","datavalue":{"value":"10.13328/J.CNKI.JOS.005752","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5209966$DB8A4AC5-B812-4B82-AB17-C54F4BCCEA48","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5201a4e8294b81478660c00b347822c5f5b5960a","datavalue":{"value":{"entity-type":"item","numeric-id":1346770,"id":"Q1346770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d7d3d1cfbf2eab52b7c1de609b213ff25f1ba3","datavalue":{"value":{"amount":"+0.84293532371521","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":"Q5209966$7AF7243F-7763-4C6B-93BB-67A971C1265D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b419e0e91c848df98c41d87bf2df9ba6f378587","datavalue":{"value":{"entity-type":"item","numeric-id":1882793,"id":"Q1882793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c967efdd720b138ef800132279f2fe586473844","datavalue":{"value":{"amount":"+0.841153085231781","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":"Q5209966$032B6C68-200A-478F-AE69-1BF5DD479DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"735795519a6f950a477fa9b0c369e07a22ddb46c","datavalue":{"value":{"entity-type":"item","numeric-id":4561435,"id":"Q4561435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae1368c68359b82cf91095809014d02594d178d5","datavalue":{"value":{"amount":"+0.8323765397071838","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":"Q5209966$E96D1F1B-A439-4A02-AFB0-CE376FDE0607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46a0604fb9bac91230e8357f3fb88a6ea4c2819","datavalue":{"value":{"entity-type":"item","numeric-id":939170,"id":"Q939170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d616676c853b4553bab7f6ed4fd19b0fe231c971","datavalue":{"value":{"amount":"+0.8250227570533752","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":"Q5209966$9EE85A43-D3B0-48CB-A520-370D44DB9BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cbff8101529514a9f81c5cd261580a1e7338cb2","datavalue":{"value":{"entity-type":"item","numeric-id":3306501,"id":"Q3306501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd24b45121cdc14ffe252ce54e1a92b83924c7d1","datavalue":{"value":{"amount":"+0.8165127635002136","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":"Q5209966$E416BC4B-EC67-4475-8D58-57D272E79E7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5209966","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5209966"}}}}}