{"entities":{"Q5506384":{"pageid":7535944,"ns":120,"title":"Item:Q5506384","lastrevid":50553446,"modified":"2026-01-14T09:20:26Z","type":"item","id":"Q5506384","labels":{"en":{"language":"en","value":"SAT-based unbounded model checking of timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5499366"}},"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":"Q5506384$6AEA7553-C48C-47EA-9648-2751FE870264","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61998ecc9c26c82764bdcdad9a8004c1a2d32cb9","datavalue":{"value":"1159.68480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506384$D28276F1-8A76-4622-AD32-C138F5DC84EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506384$9B14E653-6745-4504-A03F-9152BB9086A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7ae663d6fb9f82a0b3803b646a0a9cd276d058","datavalue":{"value":{"entity-type":"item","numeric-id":3066132,"id":"Q3066132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506384$F2BE4C50-615C-43CB-87DA-446BD60A8954","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"770c4d910c97da4ff20bd341646b3183fc682988","datavalue":{"value":{"time":"+2009-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5506384$9255EAF5-5019-4690-84A6-3C26C08C64CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506384$71C39A7A-5E84-4695-A354-A0895D9BEA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506384$6EE14AC2-7B19-4444-AC6A-8E3B7CFF8D52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15d61126f91a78cce1cd84e75c7a05fe6315c705","datavalue":{"value":"5499366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5506384$15BB7D2E-4750-488E-9740-054387A52E05","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec53fc1e54445ad563a63559258649a8df4bc3c8","datavalue":{"value":"UMC","type":"string"},"datatype":"string"},"type":"statement","id":"Q5506384$5D63974D-870C-4A2B-B64F-6BD572DE0D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a23f8e61596f25479b367306db89fb6462a9f7f3","datavalue":{"value":"Fischer's mutual exclusion protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5506384$CD6F3B01-0CD8-4754-97BF-6C4E5A23DC2F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7851d97c45aab9a7d8da1baea974d0b6776fd357","datavalue":{"value":{"entity-type":"item","numeric-id":14558,"id":"Q14558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506384$544E5C5A-0C3E-41DD-B7B7-C307AE332777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b8a49be4a9cb7b2131c7b348c426c00703c6ecdd","datavalue":{"value":{"entity-type":"item","numeric-id":14301,"id":"Q14301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5506384$99B573FC-C6F5-46C6-BF8C-28DCBCC2ADEC","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":"Q5506384$E19FAB33-55BB-4643-8FA6-3079301B995C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b73543fc92806a459b8ab0a8e48626de52aaa37","datavalue":{"value":{"entity-type":"item","numeric-id":3557090,"id":"Q3557090"},"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":"Q5506384$48D1B380-AF76-489E-BB60-0BC0F107B7F6","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":"0cc07fcfb8103dcee2752b4d34f1595d5c46c3fb","datavalue":{"value":{"amount":"+0.8124468326568604","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":"Q5506384$60C0C00D-9EA3-485F-9B10-EE848ECFF325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9246a6967aa3d84ca13954bbcc208dbdaad475c","datavalue":{"value":{"entity-type":"item","numeric-id":5900676,"id":"Q5900676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b77dabe021f7ed295ddce83feba8b3efeb255e56","datavalue":{"value":{"amount":"+0.8067141771316528","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":"Q5506384$C827E294-B251-4B7E-BCA8-1F74652C85C8","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":"bc60686422d17d2a36ea43070f7260ef48e8de6a","datavalue":{"value":{"amount":"+0.8009774088859558","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":"Q5506384$6B1656E1-ED70-45E8-A069-A91A38B8C32F","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":"a4c941a589e64932497db46da97bd52b6a09be70","datavalue":{"value":{"amount":"+0.8002258539199829","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":"Q5506384$2142DC44-389F-44A0-92B1-D1F88FC49D72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5506384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5506384"}}}}}