{"entities":{"Q5717502":{"pageid":7747056,"ns":120,"title":"Item:Q5717502","lastrevid":101627033,"modified":"2026-06-06T01:51:54Z","type":"item","id":"Q5717502","labels":{"en":{"language":"en","value":"Formal Modeling and Analysis of Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2244890"}},"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":"Q5717502$F1BB6435-A7A1-4A6D-B4A8-9A6A48761FFA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08b2c85b6980737cd12066f706077286f4fb04bd","datavalue":{"value":{"text":"Formal Modeling and Analysis of Timed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5717502$D52DD365-446F-4250-9309-F2A3BDC62E47","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01585595087ff3c6de702c3a2a5b484906ba9ac0","datavalue":{"value":"1099.68674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717502$4D4B8F88-A00E-4E31-BDAA-3E87BC2BF275","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26bc031cb0317295629dcee2e1ed9c94ab0b08c5","datavalue":{"value":{"entity-type":"item","numeric-id":4736606,"id":"Q4736606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717502$88B0A1D9-1633-42B0-BCE6-5EB8A1847C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03ba63a831a0eb9727b77f934b2214c450dd603f","datavalue":{"value":{"entity-type":"item","numeric-id":547906,"id":"Q547906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717502$1004B765-2716-4F1D-BB4C-112A03292DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"39c0eecbe9ab6bdff1c822385dcab8c047fdce21","datavalue":{"value":{"entity-type":"item","numeric-id":397385,"id":"Q397385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717502$1C815BBC-7CBC-4BE8-BC48-6A7300D20BFF","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":"Q5717502$B4D71090-8B0F-40FA-825F-E861274B5F04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5717502$2E480C69-C2BC-4C91-BC63-AC7A9889955B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717502$C3EA7C8B-29DB-4F86-963D-379D0165CE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717502$867A9194-154D-4F05-B867-CE32C1BC0D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b7ffcab9ce53e90c8627cb2c3bb400b94a5f354a","datavalue":{"value":"90B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717502$6AF310C5-FA8F-4727-ADD4-3FD87A186DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf44f3ad3a2f88c9b2a45e4395030d611f0589bf","datavalue":{"value":"90C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717502$E085EE53-AC87-4DAF-B10D-43F1CDF4AB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"955a6ac68db8c67c1772255c707ed5eb1d2bad2b","datavalue":{"value":"90C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717502$90084E1F-5E50-412C-BCFC-C765E9CA34A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9704967fa8f425d82664820783fcf325f2c757a8","datavalue":{"value":"2244890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717502$E40A4D3D-0DA0-48B2-A2A3-763A6169A189","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5af6e5bd534a1ce803bf7ccdff8bd2000b6629c","datavalue":{"value":"Branch-and-Bound Techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q5717502$1D1DA463-7AF5-41D1-975E-0F12F4E635CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b886f2dab65bc5dfb1cb1aac8ae9860441b6474","datavalue":{"value":"Discrete Optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5717502$CA3148CA-1B54-489C-A5D8-69E84C27EDFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"013bd6e1b38003ce79314fa631b140401c6a62c3","datavalue":{"value":"Mixed-Integer Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5717502$BC2A62A3-704B-42C4-91F6-3D5BCD768121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60b8cacc954ab12772056510f6bf9ef97fbddace","datavalue":{"value":"Scheduling","type":"string"},"datatype":"string"},"type":"statement","id":"Q5717502$FB9C3168-1A88-4959-B4ED-F4FE4FF63E04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f69b01800308ef7ce110fe8bf074dfef390f74ff","datavalue":{"value":"Timed Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5717502$D3D08D57-749B-43B1-BDD6-D200A866B330","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"125944fdcc09f25dcfd82a5bab31c630b45b900d","datavalue":{"value":{"entity-type":"item","numeric-id":15835,"id":"Q15835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717502$5709F2E3-5BD4-4143-9A0B-83007B9238AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717502$14D862E8-8C9E-49B2-A632-DC6301281BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5717502$037B25A0-ACBB-430C-B902-6D0B9F33DFFB","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":"Q5717502$946D5067-051C-4669-96BA-6FF0DE6771E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"327ca0400acd898ed9d3e6a95586ac327cb085fd","datavalue":{"value":"https://doi.org/10.1007/b12025","type":"string"},"datatype":"url"},"type":"statement","id":"Q5717502$021636D5-25D6-4AAA-ABD8-7A7ED4A992E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5252ca7d83b67c06407c702ebad3350648603083","datavalue":{"value":"W2610516344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717502$8742CD20-B9D6-46F0-99A5-4673A307F848","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b64cd13497cb390de59982d643a0f25dc3c7c3e","datavalue":{"value":"10.1007/B12025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5717502$409A3634-A581-4EA3-8EA1-B3319E94F37A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb14c5a4e7ae92863090e421819375ffc0d3d782","datavalue":{"value":{"entity-type":"item","numeric-id":4551179,"id":"Q4551179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d182af413f6def626ac5d9da9d30888989fb204","datavalue":{"value":{"amount":"+0.7555614113807678","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":"Q5717502$0F335C0E-3456-4521-A006-CFD416068835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"130f24572a270808e93ec55cc6c88a2b0cb06eaa","datavalue":{"value":{"entity-type":"item","numeric-id":2368955,"id":"Q2368955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aefa120dbf3d5d65f3e6e5ba368a1af7f119ffe","datavalue":{"value":{"amount":"+0.7540764808654785","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":"Q5717502$576319A2-6EAD-4A18-8601-B3BADAF41E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1a0e2730d28810dad68d875c3abee7863cb6b4","datavalue":{"value":{"entity-type":"item","numeric-id":5172578,"id":"Q5172578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab39943314ef322b4eaf43d749d2a90979664246","datavalue":{"value":{"amount":"+0.7488818168640137","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":"Q5717502$322FD219-D85F-4A1D-BD39-0D1DB2FBF2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3922418aa86722248b6899c48c98910812cce641","datavalue":{"value":{"entity-type":"item","numeric-id":4763829,"id":"Q4763829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6feab78c77e294103e9a2cab6715c276af4808a","datavalue":{"value":{"amount":"+0.7448285222053528","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":"Q5717502$92CB4DA6-467D-4F66-AFC3-2F1740D047C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3eae3263cf97ac54a37c33745518d4b7eef300fc","datavalue":{"value":{"entity-type":"item","numeric-id":2948229,"id":"Q2948229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93ebcd24ea5e7397708836edd37ff1e1ad4568f6","datavalue":{"value":{"amount":"+0.7436362504959106","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":"Q5717502$FC73EDAF-7AAB-4455-9BAE-179224B70EC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Modeling and Analysis of Timed Systems (scientific article; zbMATH DE number 2244890)","badges":[]}}}}}