{"entities":{"Q3648818":{"pageid":5678724,"ns":120,"title":"Item:Q3648818","lastrevid":88890251,"modified":"2026-06-04T15:45:23Z","type":"item","id":"Q3648818","labels":{"en":{"language":"en","value":"Synthesis of Non-Interferent Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5641071"}},"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":"Q3648818$5C01FD35-1DEF-4F5C-9735-6A1842537FEB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f699c6867bb7e8e9de5a90dbf1fa30593c939d7","datavalue":{"value":{"text":"Synthesis of Non-Interferent Timed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3648818$2D018000-DFF2-413B-A3C8-E9E413FC4E3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e246a0c60303642def70983376f1477a438bee56","datavalue":{"value":"1262.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648818$A7E73B66-585B-4A39-B09F-03BDB0D21961","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a65f965731bf3663151b9c38c16013bffcedf47","datavalue":{"value":"10.1007/978-3-642-04368-0_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648818$C082ED30-2774-4EAE-8572-1C2A77BC69D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ce448f87f9e18ee07fb3c328766d20da54e856e","datavalue":{"value":{"entity-type":"item","numeric-id":3648817,"id":"Q3648817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648818$00435D54-9677-4AF9-A9FA-6AFCF1477967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0cd92bc58c10a1fde8ab26d005df17543d6e92","datavalue":{"value":{"entity-type":"item","numeric-id":209127,"id":"Q209127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648818$1139CD9F-CBC1-4D50-B7DC-006225721D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"607a4318bfb9ac4fa4c0e94dbdcbd3e66269331c","datavalue":{"value":{"entity-type":"item","numeric-id":378903,"id":"Q378903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648818$51D90AFE-108E-4322-A094-B44FEEF7C194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8095e556245540fb27a9caa35b65644c130ca5d","datavalue":{"value":{"entity-type":"item","numeric-id":378905,"id":"Q378905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648818$94058FB0-677B-4526-8891-B72589077465","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":"Q3648818$D2A716C4-13F6-469A-A1A3-8F33FB77F75A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8bdd78fc222a44e05f767ee071ed0c7d623c0a6","datavalue":{"value":{"time":"+2009-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3648818$1F93443C-6442-4815-8746-EB167B5A5DF8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bf91f1fbb2b37c3ed40a1a4083f9f128a6e6abc","datavalue":{"value":"https://hal.inria.fr/inria-00493636/file/formats-09.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3648818$9634F804-0820-445C-A759-9ADDD3CFDA11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648818$DE9FA0D0-39BA-488C-B556-392D5F482DC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9f6c4bd265e8afdfde07c6613795b027ac05689","datavalue":{"value":"5641071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648818$50C81963-1986-452F-A985-15A0BC3B4B7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"047c6c37b1b59065ab8a30c63416b0516d5d913a","datavalue":{"value":"non-interference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3648818$B5FE76A7-9583-48BE-8982-B3F53E58257F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3648818$4A6EDE12-A18C-4F66-B3F8-7C9DEA088BBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"561abd8670388ff9e3e0e66e81347de6b0fa97be","datavalue":{"value":"timed automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q3648818$FA51CEA5-BF7A-40FF-833E-F0E5047B2FC3","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":"Q3648818$CF8991CA-B806-429B-9F34-8F63BADF89A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1cde98a0934c59cce05f7b5c8ad49d0f641e31d0","datavalue":{"value":"W1493125319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3648818$9D56AA39-E4A8-4F59-8556-4A2F4B4FACFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c58740dc78be195735a0178b5f82807d6baa3630","datavalue":{"value":{"entity-type":"item","numeric-id":4798029,"id":"Q4798029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648818$4FED0DCE-13E7-4DAF-A270-B3ED566CC01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bfc0ee950903f8c309edd0108b06869783e9b07","datavalue":{"value":{"entity-type":"item","numeric-id":2848479,"id":"Q2848479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648818$59F9ED45-83C3-4531-A959-D6738E994EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55e672d2a38bc813ad37c5e2319b4be48eebe4e","datavalue":{"value":{"entity-type":"item","numeric-id":2864391,"id":"Q2864391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648818$BA66B89A-0CFF-40B4-940A-9B142B32E0B8","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":"Q3648818$0A717D9B-B099-481C-B32C-A4BBB7A24EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03a199f6861746874c37cdc88da4352de93d9a85","datavalue":{"value":{"entity-type":"item","numeric-id":3396573,"id":"Q3396573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648818$7B9A59A6-D163-430E-BD5C-DA6A013A98A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648818$953E4877-1EF1-4B3D-9F75-B1A504E8EFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4169496c42828f2381ac86d8473fbd55e87d527f","datavalue":{"value":{"entity-type":"item","numeric-id":4736872,"id":"Q4736872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648818$47A41FEE-A453-48D7-AB4C-C424ECECF914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648818$BCB24CEB-B2DD-4056-B30C-0DBF34FF1271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"915c83c7f3b25a1a05df7224f3d616215533b86d","datavalue":{"value":{"entity-type":"item","numeric-id":4571988,"id":"Q4571988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3648818$76DA71C4-0156-4AC2-9305-22E3495B0DEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84412eb02fd73be4d1234fc8c1795c5ce6eb8146","datavalue":{"value":{"entity-type":"item","numeric-id":5265904,"id":"Q5265904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd69142fee4e1aeaf2a553a070899303954e987","datavalue":{"value":{"amount":"+0.9565052","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":"Q3648818$49A4485F-F225-4170-89BE-CE21C2A78470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1cacef61f480d4f9c11d6d3eca293e98f8ee55c","datavalue":{"value":{"entity-type":"item","numeric-id":3146271,"id":"Q3146271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa3fa52a4ffcf5a9b7de2df147ecd9f3acb3db8","datavalue":{"value":{"amount":"+0.88985026","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":"Q3648818$9C94E195-80DE-44BD-9EDB-2978574D63AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53fad4a1cdc13521902f891bfc47551be4c686a1","datavalue":{"value":{"entity-type":"item","numeric-id":2864391,"id":"Q2864391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75c8a77fa0bb2fa83232d1cfcf19a89776efdb00","datavalue":{"value":{"amount":"+0.88138217","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":"Q3648818$53FDB0EE-F9CB-4C50-AE29-B84A15C822E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb03503464916cb4c72076ce0892a8024119cd00","datavalue":{"value":{"entity-type":"item","numeric-id":1187649,"id":"Q1187649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"248d539a3aae29a42fcb80295101b223871f5c5e","datavalue":{"value":{"amount":"+0.87723404","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":"Q3648818$C6836CB4-CBF4-4BB6-89C0-A31C72602699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae3c069af4ec38460ff0fc5c9cee70ba089c6132","datavalue":{"value":{"entity-type":"item","numeric-id":4543946,"id":"Q4543946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4b852a5e880d476b40726abb5e025af2260a9d","datavalue":{"value":{"amount":"+0.8750243","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":"Q3648818$0ADEA8D1-5A91-4971-8664-4D0BA71E75B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52029856dd4271764038e50991106679c269cc80","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59ce9dc7d2bdd442476a614f5c478e726a029287","datavalue":{"value":{"amount":"+0.87350106","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":"Q3648818$8E7DB367-6B67-4258-B211-740278C48D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ff1bfacd132785188af0b736bc9f3e104b5101b","datavalue":{"value":{"entity-type":"item","numeric-id":1683431,"id":"Q1683431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad379cc7231856b947256a793457167e1ea7ab3a","datavalue":{"value":{"amount":"+0.8693424","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":"Q3648818$792B46D1-3621-45EF-A761-45F604CF3F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7b23b614c737f1f27c1b02f6c54e4ade6c39279","datavalue":{"value":{"entity-type":"item","numeric-id":4461952,"id":"Q4461952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"654d0fe508cd14db27010b845f1227c529ea15cd","datavalue":{"value":{"amount":"+0.8677635","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":"Q3648818$27E1C4FC-4385-40EE-BFA4-DF87B97DF6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6678881a66c0eab1299863d36d7f562e92ebd536","datavalue":{"value":{"entity-type":"item","numeric-id":4736872,"id":"Q4736872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"100a0700536e30dcad42b24bf525c3c846124e8d","datavalue":{"value":{"amount":"+0.86489135","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":"Q3648818$82FEBAD2-5625-41C8-8FC1-52471FA1BD8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesis of Non-Interferent Timed Systems","badges":[]}}}}}