{"entities":{"Q3557090":{"pageid":5586994,"ns":120,"title":"Item:Q3557090","lastrevid":50969021,"modified":"2026-01-16T00:02:30Z","type":"item","id":"Q3557090","labels":{"en":{"language":"en","value":"SAT based bounded model checking with partial order semantics for timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5702259"}},"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":"Q3557090$E979B83A-CFDC-4AD5-BE4D-27347927E60A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af85605619ddc1aadb4d8596427f45d87a7e4c19","datavalue":{"value":{"text":"SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3557090$8C61C53D-C1C3-4C9A-AACE-B296208B06BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26f546b82aeb14f7adaa3cd18ca512e8daa7ef0d","datavalue":{"value":"1284.68412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557090$7A1FD076-E6A0-4170-B86C-09541CBD161E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85b03d60a9da4c664156f3a9ab10fb47767b9705","datavalue":{"value":"10.1007/978-3-642-12002-2_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557090$70C54895-5E0D-463B-8E06-E489E837027D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9b557181c176f1e613f5982d7d21350fc5ce40a","datavalue":{"value":{"entity-type":"item","numeric-id":3172914,"id":"Q3172914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557090$E43868DB-DC5F-469B-9DB2-2946C593A143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0049ff44b47a319fae6a88359fada1008a0d4e6e","datavalue":{"value":{"entity-type":"item","numeric-id":732004,"id":"Q732004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557090$848EAA8D-7BFD-47E4-9124-918575B89415","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557090$505D708F-9E50-4477-939E-FBEFED010077","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc4613cbd941f153622dd8128368d394277367d6","datavalue":{"value":{"time":"+2010-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3557090$4E4FC689-692E-4746-9B41-FA544F23CF4E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557090$EAE38334-24E0-4467-8C73-EEBF30B4CEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557090$FA73D546-43A3-4A16-8E2D-23EFAE9298CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"061903966f9ffbc033dd732e110cc95eaad6ade6","datavalue":{"value":"5702259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557090$D6834A4C-E947-4D97-BA0C-DC55F54B8247","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"383f379d41e613b7fb77eb8ce321eb29796c91e8","datavalue":{"value":{"entity-type":"item","numeric-id":16001,"id":"Q16001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557090$63F460E9-5C6B-4EB3-A2EF-6E487BDA95BB","rank":"normal"},{"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":"Q3557090$AE792A9A-D83F-4F0F-B191-6E24798F00B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3557090$A08DF546-D497-4DA5-86F6-D1F5265F23A2","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":"Q3557090$92AFAE43-D089-4F78-BF79-DC3C7C01EF75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"03db60ef856ebe3c3fdbe00e4776d1edc917cc1a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-12002-2_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q3557090$DF493231-81E8-4A18-82DB-7586027B6F92","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e8302b3501766e2e0a325be3abb8c9ae12b4f4b","datavalue":{"value":"W1522276539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3557090$101B1A27-45C6-4D09-ABFC-5E5108FA8634","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaba8635b567616f6fe2d0ca8b0c243a041a22b","datavalue":{"value":{"entity-type":"item","numeric-id":5506384,"id":"Q5506384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17154af5fd07c9eee818167261c221ea3c2ad73d","datavalue":{"value":{"amount":"+0.8351401686668396","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":"Q3557090$896036E8-72EE-4CB0-907C-C60A2EBC226F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ac69d629aa81216cf233f144064c6822f02715","datavalue":{"value":{"entity-type":"item","numeric-id":2842869,"id":"Q2842869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f76cac22f7cad2dd084a7a17d401b5294ed51d85","datavalue":{"value":{"amount":"+0.819482684135437","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":"Q3557090$849706A5-938E-4275-9E89-2D4752145429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2020a09089050fd9931facdaee62f5484d713b","datavalue":{"value":{"entity-type":"item","numeric-id":5392295,"id":"Q5392295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7594489a63db333ed57535e4f19d1bd9e565e4c3","datavalue":{"value":{"amount":"+0.800961971282959","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":"Q3557090$3261B2D5-FAAC-4CFB-AD64-8CAF4370CE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23841e493c769c967bd5d76601eeece36df3594c","datavalue":{"value":{"entity-type":"item","numeric-id":5392301,"id":"Q5392301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57094a0086ef084c21e74fe1d90af13a04b19a5b","datavalue":{"value":{"amount":"+0.8005392551422119","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":"Q3557090$C9919BA5-DE7E-4219-B036-5FED9242C5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fd399e74ab009038c86b9b88f645441530ce92","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19ed3b090c4b376f62ed15e0f6388e92315ec70c","datavalue":{"value":{"amount":"+0.7990493774414062","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":"Q3557090$AEAB7A3A-5788-44AF-A531-F0A79AC4AEA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3557090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3557090"}}}}}