{"entities":{"Q5429305":{"pageid":7458879,"ns":120,"title":"Item:Q5429305","lastrevid":100944884,"modified":"2026-06-05T23:30:48Z","type":"item","id":"Q5429305","labels":{"en":{"language":"en","value":"Generating Path Conditions for Timed Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216185"}},"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":"Q5429305$51872E7E-AD16-445C-B7AA-312824FBE242","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1e6b9b66c02d616d0e07e17e634e67876d1166a","datavalue":{"value":{"text":"Generating Path Conditions for Timed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429305$77607B9B-A7EB-4054-85DF-39CEC22FF9A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46046f483ef9dd0886096ad3d3434f8c9ca1b7a7","datavalue":{"value":"1137.68351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429305$04B057AF-6226-4883-BD0B-96FAAD157D44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"586a087014a4848c4ee36d382d3e86f6aba12aa8","datavalue":{"value":"10.1007/11589976_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429305$F366F451-4FDA-4FDD-B480-C10244EAA175","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a16057771ba6219abfd2dd4dd127f6eec1b56a2","datavalue":{"value":{"entity-type":"item","numeric-id":453500,"id":"Q453500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429305$14A6F4EA-90A6-4F5B-A8CC-18419BBCD6AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429305$2BA1A660-A5F4-4F41-AAA3-4DBE04349FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e4b7b7694de42580b828c1d9702cbdf9a379289","datavalue":{"value":{"entity-type":"item","numeric-id":947795,"id":"Q947795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429305$14D38842-32B8-45FD-9A02-D827933CA01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bf4ee0b9bc858ae7a0b4fa5b4ccb84cb74f589d","datavalue":{"value":{"entity-type":"item","numeric-id":169910,"id":"Q169910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429305$4C190882-2732-4E54-BE51-7E0B39CF5214","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":"Q5429305$35A4367A-7719-44F5-B4AD-AD7CA9FBA122","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429305$599BCA90-767A-42FA-BCA1-45C0E433A49B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429305$C8CEB6A1-F88A-44E3-B647-8B58F20A4760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429305$F43CD074-D570-4A89-BF05-14A0933213D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429305$B7604179-36DA-46C0-991D-0043748610E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"714b836aeb13cf7546e49eab62eb7920200e9a36","datavalue":{"value":"5216185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429305$125BD554-93BF-4333-956E-F79F56C319DA","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":"Q5429305$375AEC52-5612-43D8-908F-6218415FEBD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27de122b8f547b0bfc7087ba813118ab9bf86990","datavalue":{"value":"https://doi.org/10.1007/11589976_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429305$50C819DD-AEA7-4F41-ABBE-791D0F5D0CBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6779f9667f8c675932b9cd0dc88e2fad2a48d0c0","datavalue":{"value":"W1581196827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429305$A4653AA2-4C14-430A-949E-5B654092123D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b9d27038dc27af0fcdfd060097e3db1aa3fdab1","datavalue":{"value":{"entity-type":"item","numeric-id":947796,"id":"Q947796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"275d5124d2ecf4f410a6e10aaa3e76c5245db8c7","datavalue":{"value":{"amount":"+0.9532831311225892","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":"Q5429305$0BD921F0-163F-4A75-94E2-054EE8DB97C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddeee5661d26a48bfedff67049ec8c6c6064fb4b","datavalue":{"value":{"entity-type":"item","numeric-id":5902014,"id":"Q5902014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30422e29d3f30ebbe57bf06dc9f5a91dfcdffd5","datavalue":{"value":{"amount":"+0.7227818965911865","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":"Q5429305$E0987C74-7227-46B9-9CA4-6EA982B1BF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc7b2fcb3956ae82d75aec5d6f32fcbb9e48c01d","datavalue":{"value":{"entity-type":"item","numeric-id":2769597,"id":"Q2769597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3746469ba68233dc473a629857f6bb7429e99ece","datavalue":{"value":{"amount":"+0.711020290851593","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":"Q5429305$15992390-0E56-4516-8E19-72B40F304038","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00a74af6d814a3d08283f85f858fcba11fad787a","datavalue":{"value":{"entity-type":"item","numeric-id":5944218,"id":"Q5944218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"623f1cbb8378eb0a2fb5ddc618ace147a5cee7c5","datavalue":{"value":{"amount":"+0.6977207064628601","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":"Q5429305$6F21A0C9-9560-4949-81A3-F11EADBCBC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3440c06e8b0d027c6a1b80ff01ad8a593d9004b4","datavalue":{"value":{"entity-type":"item","numeric-id":5305656,"id":"Q5305656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e9539828006b718d6d83720fdf12041699c077d","datavalue":{"value":{"amount":"+0.6938871145248413","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":"Q5429305$95AB095F-6C9F-40B9-8DBB-3426ABE1EC6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating Path Conditions for Timed Systems","badges":[]}}}}}