{"entities":{"Q5082182":{"pageid":7111758,"ns":120,"title":"Item:Q5082182","lastrevid":54340991,"modified":"2026-01-26T16:22:23Z","type":"item","id":"Q5082182","labels":{"en":{"language":"en","value":"Simple SMT-based bounded model checking for timed interpreted systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7542224"}},"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":"Q5082182$D0F30630-50A2-4A27-A3C6-85E0EB7D5BA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07191e1c549d3a010b2160217b67172af656df86","datavalue":{"value":{"text":"Simple SMT-Based Bounded Model Checking for Timed Interpreted Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5082182$78CAEFC6-0DFE-49F2-8950-4CCFD0F68765","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57d53adda5f65e234b7cee1a13dafbfa24ab758a","datavalue":{"value":"1489.68143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082182$A6823E87-2CCF-457E-83B5-56A3698A159C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1c598b0d733853e1be3052999e07175b52fc193d","datavalue":{"value":"10.1007/978-3-319-60840-2_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082182$C776CC42-FCF3-4404-BF8E-4DAF19112860","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"97331fe5274ffe610c5d211285234c35758021e0","datavalue":{"value":{"entity-type":"item","numeric-id":4571142,"id":"Q4571142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082182$4D34F401-F3C2-48A3-88E3-EE354FD88F8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082182$71D44862-1631-42AC-84C5-69770EC4C7D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a9498d84827b25516c23a97572f68ac308079d70","datavalue":{"value":{"entity-type":"item","numeric-id":5082165,"id":"Q5082165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5082182$3C4F9269-9132-42ED-9CC4-9A3482536465","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b034a322f1ddd26cbad4d23fbb21c53158db6544","datavalue":{"value":{"time":"+2022-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5082182$A493BC62-9B06-4680-A7AD-5A8DFCBBBCF9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082182$4BAA73C7-C0F9-48E8-B809-FF09B37C5DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082182$91D98EB0-C2F4-4B4E-9261-EFE5CFDB5172","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbfac28cd39bc07fe069b71320fea760f99e6c1d","datavalue":{"value":"7542224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082182$D23182B4-BCD4-4149-98B6-58F67DC940F2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4506cff21f7b56084583c2c84b17ed614237e4cb","datavalue":{"value":"Q62046849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082182$0DEFC627-C756-406B-9EE3-F0659B01F5A4","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":"Q5082182$FB270B2B-2C52-4EC1-A42F-E2131EE00DD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"456bf03317ceda0a4a69c4b4dfe1bff833fa6dca","datavalue":{"value":"https://doi.org/10.1007/978-3-319-60840-2_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q5082182$51D6D418-12DA-4546-B696-208CE6912BF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ae84e23cbbde8128f0a568ccab555f86e78c99e","datavalue":{"value":"W2642748444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082182$24CCACAC-CC41-4221-A178-8433DD468AB9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"510f57e44be9a34b878589de6435112153387357","datavalue":{"value":"conf/rskt/ZbrzeznyZ17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5082182$641817E0-B0FF-438F-8DD0-63162D891B92","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f928ba4f798ce5be7842d28c3dd85a3498d10010","datavalue":{"value":{"entity-type":"item","numeric-id":310082,"id":"Q310082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13acef45540d601ba107264455409e6ce3c6a9fd","datavalue":{"value":{"amount":"+0.8771049380302429","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":"Q5082182$EC76D594-A352-4ACD-A217-514801E53DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28e126c0ae099844b0e94b0f3d610664a8799d94","datavalue":{"value":{"entity-type":"item","numeric-id":5040685,"id":"Q5040685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd1404723d213fb426611222459b4b0da4c4da17","datavalue":{"value":{"amount":"+0.8517158627510071","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":"Q5082182$E2E9C649-92D1-4270-941B-49FF8CF77917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1454116014189fc4bece50c7a54141fd441d32c7","datavalue":{"value":{"entity-type":"item","numeric-id":5259307,"id":"Q5259307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b98a7edd518076ddf9b25cb4d9621c2d05349434","datavalue":{"value":{"amount":"+0.8341222405433655","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":"Q5082182$8E057475-A1ED-42FB-8540-4959733C8B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297f9a57f303c8c036d110ba8003ae3808693f2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422273,"id":"Q5422273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"504daefa0ec5ce9893878382f2212917fe0deb17","datavalue":{"value":{"amount":"+0.8308449983596802","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":"Q5082182$891653B5-2A84-4F1A-8013-B779895CBFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319791cf57c99a7ac8bfc0fd1277819e25c99c86","datavalue":{"value":{"entity-type":"item","numeric-id":4571143,"id":"Q4571143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cfae1ee853938b341c0b47ca9e852b41ef7a894","datavalue":{"value":{"amount":"+0.8183822631835938","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":"Q5082182$65299B2B-DE69-43C6-8E95-2EA965DA314B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5082182","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5082182"}}}}}