{"entities":{"Q3460214":{"pageid":5239614,"ns":120,"title":"Item:Q3460214","lastrevid":80503658,"modified":"2026-05-06T16:20:57Z","type":"item","id":"Q3460214","labels":{"en":{"language":"en","value":"Checking integral real-time automata for extended linear duration invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6526872"}},"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":"Q3460214$49D7AB17-51CF-4065-A775-CF6597DBD1F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ae1b54b9edd7aab1ce379323b077d98d38c6fe5","datavalue":{"value":{"text":"Checking Integral Real-Time Automata for Extended Linear Duration Invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460214$653CDA4B-35EC-40D4-B9AC-5776C60D9506","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3194e2fd52ce77bf6274baacb091c8ba00d3c1cc","datavalue":{"value":"1328.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460214$E98FD771-6108-423C-B1A6-B0629C9176C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9085c83716e37d713c11e1b82615e33377f1ffaa","datavalue":{"value":"10.1007/978-3-319-17581-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460214$8FBB034E-EE01-4E7F-91BF-FBB1E1E59E08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e297c58ae01e2f96257734e522c690fbb6fbe058","datavalue":{"value":{"entity-type":"item","numeric-id":2922709,"id":"Q2922709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460214$848060C2-EE2C-4827-BF02-5FF80D164E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0751eee266495036e77dfbe1ef7017578b6057f9","datavalue":{"value":{"entity-type":"item","numeric-id":3460213,"id":"Q3460213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460214$F736BF36-8DD5-41D3-B66B-F6135CFD814A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f899a7047e0df917b443c71162f4693fb585d00","datavalue":{"value":{"entity-type":"item","numeric-id":438207,"id":"Q438207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460214$1347E4D3-7452-47A6-A5CE-A544877586CC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4077ffb18414bbb2357751629d411d50e25c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":345896,"id":"Q345896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460214$00CF128A-4647-4934-AC03-20A08BC38CEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8558e5abb6cbfa3134664259730e3a690ab61c4b","datavalue":{"value":{"time":"+2016-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460214$6CA3500D-1A37-4269-87AF-2BFCB8CB7938","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460214$87853FF7-A998-4D89-AF61-989AD4D5B52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460214$D94365FC-909A-4EBD-94DD-F254EE70A205","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7db79d3d0707dacc7c01fc596af4886760217071","datavalue":{"value":"6526872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460214$842F9FDE-EB6C-4FE0-A270-1961724ED799","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5a5cb8f0a2e3ee48e312b2fe05f0225c0a3c2ce","datavalue":{"value":"real-time system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460214$8609F997-74FB-4551-B2CE-F221611E5605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59cb76c304aac118455db14902664491ec597f54","datavalue":{"value":"real-time automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460214$5E25515C-7E50-457B-9814-2B48ED2EA1C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec7e03b52b404ffa017f1726e48cfa928f9f830d","datavalue":{"value":"linear duration invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460214$D86E9507-C1BF-4A57-914A-F6DB189052ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2fe72808909c0b139307917ec5a09b8bf27b4e9","datavalue":{"value":"integral real-time automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460214$F9D2C8A6-2B7D-4BB8-9D21-2DAB4A45F1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b49815e32d5f73067a13cb19c6453471fd0ad2f","datavalue":{"value":"extended linear duration invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3460214$44836BA4-CF52-4FF2-8753-6334F959BAF9","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":"Q3460214$08B4C8A0-6FEC-4DB3-8C08-FABB591F3EFF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7554ee6175eff925d67881f4525dc9e9fc6d9a9c","datavalue":{"value":"https://doi.org/10.1007/978-3-319-17581-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460214$4EFC6BAB-47DD-465D-853E-13BFBA42239E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"10c835ffbc3c95e7e65c63a06544c08809af0842","datavalue":{"value":"W1167245655","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460214$598712A1-37FB-4064-A0FE-046EFBC8E374","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460214$CB4DB365-3D5C-4BBB-89E8-F7DFAA6C05E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a988d6e4c50180c6664ab1b07da75f6a78fee427","datavalue":{"value":{"entity-type":"item","numeric-id":5505616,"id":"Q5505616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460214$26C652D3-3377-41FF-954D-95799E0A7B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e88e08e1f5366b2b3c74efa8314151f1fc16dd","datavalue":{"value":{"entity-type":"item","numeric-id":3400924,"id":"Q3400924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460214$8D85FCCD-B3A8-4038-BC0E-6503752B3EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1331fb33d4db21358e3131249907e25718ce7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5709982,"id":"Q5709982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460214$B4883D36-4258-48D7-B5CB-84ADB498EDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460214$7C63DCD1-DE43-4459-B4EE-561D6921D2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb87ab052a57bcd10aa45952d6d907aec50fc","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460214$BF44F784-5514-4FD9-8DA7-1BB050B5210C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb24b5ef13aa9924706ad086879bb014e8a0fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4281508,"id":"Q4281508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460214$5C3BD5B6-A85B-4043-B838-9026883DB43D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a80671ede57ebf47b781f1de5fac41888dbfba","datavalue":{"value":{"entity-type":"item","numeric-id":2432723,"id":"Q2432723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460214$2C7EAD83-FA2F-4B85-A7F3-066CCE4FB9E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0b392a84ad4d9850a9957f77d76a379eec89a68","datavalue":{"value":{"entity-type":"item","numeric-id":5897450,"id":"Q5897450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460214$32071E23-A4F0-4C5D-BABE-E4691063BF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c4c709161a40b5f688b793e293fc06444cf1e0","datavalue":{"value":{"entity-type":"item","numeric-id":2851314,"id":"Q2851314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460214$28BFDB5E-39B2-4B01-9B37-98E1268F7211","rank":"normal"}],"P1643":[{"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":"0b631420d7d29e67277a724b44eff198942efb23","datavalue":{"value":{"amount":"+0.8102110028266907","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":"Q3460214$A1B19F39-6837-490E-A19A-7B3EEC92BF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c46a8bc0d533f035526284c4667ae89252fa519","datavalue":{"value":{"entity-type":"item","numeric-id":3400924,"id":"Q3400924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1b7e944f6386ede9f75a86f0bd14a392d4c3dd","datavalue":{"value":{"amount":"+0.7960367798805237","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":"Q3460214$484503A0-A3A9-4861-861C-702A3BC6E08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5937426ce6aed06b43d4abc59f202933bd2fa85a","datavalue":{"value":{"entity-type":"item","numeric-id":5209966,"id":"Q5209966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c41e5df438a47e571ad7b36bcfd5714a7e57c8b8","datavalue":{"value":{"amount":"+0.7856959700584412","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":"Q3460214$C4ECA769-B1A3-4E6A-9535-A9CB99C0CBE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e961c505d992056e2e44a3f97aa1a4e8ec6abe64","datavalue":{"value":{"entity-type":"item","numeric-id":5709982,"id":"Q5709982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cfc0b327cf8e90839311b92e556047ecdb15e11","datavalue":{"value":{"amount":"+0.783497154712677","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":"Q3460214$ECCDC808-9944-4151-A3CB-169AE494C0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f59e9fef968e575255b0ed181d1b729ca3b355cc","datavalue":{"value":{"entity-type":"item","numeric-id":5505616,"id":"Q5505616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625a09aef30d030667dea4b98b5ebe8da3ffa35f","datavalue":{"value":{"amount":"+0.7811971306800842","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":"Q3460214$5130CFE3-468E-4A0F-9CC1-C7AB5DD55E60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Checking integral real-time automata for extended linear duration invariants","badges":[]}}}}}