{"entities":{"Q2703729":{"pageid":2714474,"ns":120,"title":"Item:Q2703729","lastrevid":82796819,"modified":"2026-05-06T21:59:16Z","type":"item","id":"Q2703729","labels":{"en":{"language":"en","value":"Real-time verification techniques for untimed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1576665"}},"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":"Q2703729$99E940C3-73DE-408E-97A2-B2A3740B2528","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebecacaa2022e87a793afc305921224e4b62868a","datavalue":{"value":"0971.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703729$6D44E2BA-DD9B-4D33-814D-9B52C3F62AA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb5aff73718afc344fb63ab0c1fa61ec62589b60","datavalue":{"value":{"entity-type":"item","numeric-id":1856170,"id":"Q1856170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703729$CF33FE3E-63DA-4826-83C2-CEF92F255C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"146e445b9711515e2eed962a2cd51e384ac471c2","datavalue":{"value":{"entity-type":"item","numeric-id":655413,"id":"Q655413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703729$C1434ECB-E2D9-4F61-AB42-C1EB5C28CA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f8d39e08371c895d256df63166d986e8797f46b","datavalue":{"value":{"entity-type":"item","numeric-id":498914,"id":"Q498914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703729$94DD59B3-88E1-411A-92FD-2435FF8BA24B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ea2ded88325e903b7f55f9d8e847a5de315d1740","datavalue":{"value":{"time":"+2001-05-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2703729$E3933963-977E-4884-8250-5DCA39C0F81C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703729$94336074-001C-4B80-B0ED-6090AA7EE382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703729$B8ED059E-78AF-44AD-AF21-C767C62224E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8963443517074ccad744f2198679dec3acf0258f","datavalue":{"value":"1576665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2703729$4C3EF90D-3935-4ECF-B286-9897A5059944","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05abeff6eeb38f906d5dba5c6db509b577eda01c","datavalue":{"value":"verification techniques for timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2703729$36CC6C4B-97FF-4F51-B987-0B7031C2A3F7","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":"Q2703729$004A7841-32EC-4D50-BBB3-E4CB0A5E8784","rank":"normal"}],"P223":[{"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":"Q2703729$1CC52BCC-F938-47FA-BCE4-88611037F1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"475ea5d083fb5bd89962d85a5420e1d194f31549","datavalue":{"value":{"entity-type":"item","numeric-id":4024005,"id":"Q4024005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703729$2ACC6B98-7B66-4929-82CD-8DF1DD1B9C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc6f8ad8cdc3788a0a19ff0e637a835747976bb","datavalue":{"value":{"entity-type":"item","numeric-id":5953447,"id":"Q5953447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703729$DDBDFF2A-A008-4AD4-BB30-70E11822FEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08663cfc9ad28dad7443bdb814e24552eb8a9051","datavalue":{"value":{"entity-type":"item","numeric-id":1155361,"id":"Q1155361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703729$4224C51D-F632-49D1-B7AC-84A9E97A6B19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703729$CEF030FD-F4BB-47CC-A939-E4589D258A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f79edf1b0816517e52312ed99658f13273c3bc91","datavalue":{"value":{"entity-type":"item","numeric-id":4766565,"id":"Q4766565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703729$74EAAA18-5DB0-4323-A258-24685103685A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70efab4d3d82b39f07a48d15be341a102ff3fa2c","datavalue":{"value":{"entity-type":"item","numeric-id":2754105,"id":"Q2754105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703729$6C8AE02C-C3CB-45E3-8109-071F88A96BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6370bd33e7f017efeca0457a1c3162548686d69","datavalue":{"value":{"entity-type":"item","numeric-id":4218096,"id":"Q4218096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2703729$D46C6299-0579-484A-A12B-BA36FE751421","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c6a4aaad2824b5a05d4f0797dabe8fe865be82a","datavalue":{"value":{"text":"Real-time verification techniques for untimed systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2703729$449C2827-5492-4B8A-8B05-EF8EB9CA3C9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b0cdc786630ff544ede06d41a2ef839c31a1045","datavalue":{"value":{"entity-type":"item","numeric-id":4418686,"id":"Q4418686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec1fd474e51a82943cad4f088f5638b7f5a62545","datavalue":{"value":{"amount":"+0.7901393175125122","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":"Q2703729$AF13AEF1-FC30-4B0B-A647-3C51BD9CB981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c210b61c756b6dec3e1cebe0ab673a6434e9f1","datavalue":{"value":{"amount":"+0.7821764349937439","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":"Q2703729$D5B9C52D-39FD-4CEA-B768-ADCEACA781C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ddacc1abe0470b62a15418eaad57094dbb425d6","datavalue":{"value":{"entity-type":"item","numeric-id":3196352,"id":"Q3196352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"180dbfa3168e0d19d92b9e1fd8824c171edf8b51","datavalue":{"value":{"amount":"+0.7821626663208008","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":"Q2703729$CF9EEC46-D2F8-429C-B594-226BD662B532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b539152de02dfc453d861a16f527f0a1d623779f","datavalue":{"value":{"entity-type":"item","numeric-id":3587425,"id":"Q3587425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74403542a4281164f6f4ef4663e0f38415edf0bf","datavalue":{"value":{"amount":"+0.7770851254463196","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":"Q2703729$27C4F846-9F5E-45CC-9B3B-B2BABC108FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"459973de31349b71cdc520d153abc8db84f9b0bb","datavalue":{"value":{"amount":"+0.7766674757003784","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":"Q2703729$E44A1AB0-6320-4D56-83E3-794EDC8D90C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Real-time verification techniques for untimed systems","badges":[]}}}}}