{"entities":{"Q5166677":{"pageid":7196249,"ns":120,"title":"Item:Q5166677","lastrevid":52037105,"modified":"2026-01-20T19:39:11Z","type":"item","id":"Q5166677","labels":{"en":{"language":"en","value":"An automatic technique for checking the simulation of timed systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314147"}},"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":"Q5166677$557874ED-1741-478E-AD3E-475C38C48926","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a86a191ed472c0ad5e7a863c4ab6f268eb9d97e","datavalue":{"value":{"text":"An Automatic Technique for Checking the Simulation of Timed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166677$E070D8DD-0988-4A6F-AE23-A3EC3ED52E68","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6cd0d9f39f10a7ad86d1b50885891db627b64fe6","datavalue":{"value":"1410.68225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166677$CBAD78C3-AD30-4955-B268-1ED8EBE7BA73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b703222a62289d76744a270d455cdf675771a2aa","datavalue":{"value":"10.1007/978-3-319-02444-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166677$93C0E490-1F78-4F7F-A023-4CAC38C25D81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ab54b686c20131d28edc0af6053f789e68b66cd","datavalue":{"value":{"entity-type":"item","numeric-id":1656549,"id":"Q1656549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166677$0AF10976-74A2-4742-9C76-F2DB35C12AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1d10cc39a70417a38ac7235c5283a918f9545f5","datavalue":{"value":{"entity-type":"item","numeric-id":239156,"id":"Q239156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166677$C286D153-3959-4487-907D-E924B9619555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"752d3190ebdc99211a7716bcecdee1f182f6c48a","datavalue":{"value":{"entity-type":"item","numeric-id":2842664,"id":"Q2842664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166677$F8258101-3B4C-40CE-A2F9-721CF0D93628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5208bb41cab1baa3e1b7c36c1533d2e18a7095e5","datavalue":{"value":{"entity-type":"item","numeric-id":2842663,"id":"Q2842663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166677$17A00D2A-D4C5-4B3B-8680-A62CFA10A161","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166677$1E56EDA5-990B-4684-A55F-CB25E6E4836E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166677$96CFBF83-B951-4ACD-84E6-8775FAC37215","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166677$F85FF584-5E82-4F44-BFA5-4D5CBFC80F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166677$36356643-F720-42FD-9CC2-1568E4046002","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e06414aa561b920457efd023b972f12181a7dce8","datavalue":{"value":"6314147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166677$DAD66DCE-CC7D-4A27-8873-D0EAA72AE201","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"746d9e55d4e8a97c2b07f745dc060ac8f481dfb0","datavalue":{"value":{"entity-type":"item","numeric-id":15812,"id":"Q15812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166677$F9567FE1-F577-44DE-9AB0-1FA6779139E0","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":"Q5166677$470D16F0-B2D2-4DE0-B655-962C4BF1A605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a904e7e0f6312a484ac8ae14b477df45c7ed0b19","datavalue":{"value":{"entity-type":"item","numeric-id":19067,"id":"Q19067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166677$C12736B3-B6E5-43BC-95A7-4E9DF2052943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166677$47AE90F0-DC1F-423C-94E7-665A56DAA68E","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":"Q5166677$44DA5753-C591-4475-9317-10207ECBBD8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06f2c6b5b0b3bbbd397f10bb830bdeed0b0647ba","datavalue":{"value":"https://doi.org/10.1007/978-3-319-02444-8_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166677$8A0D71A6-D19C-4183-8EBE-A596E4A205A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"860a40f7634ef6b8d5681dec8f1a4300c811870b","datavalue":{"value":"W1879457849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166677$21DC1CCF-998D-42AC-AD4B-A6711C4B717C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0d42d058d6ab44963e1d92b6f03120fc29ffb5","datavalue":{"value":{"entity-type":"item","numeric-id":1923088,"id":"Q1923088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27aef09b7ea5040851a9223961114de66433be3","datavalue":{"value":{"amount":"+0.7667521834373474","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":"Q5166677$88266CB4-1398-4902-8BBF-800F1D71E72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a209f98b5286824b2fcc6b8add5d6fd875c610","datavalue":{"value":{"entity-type":"item","numeric-id":5047170,"id":"Q5047170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec5a20067e7d754cd3e48a8e4807d5fe78941bcd","datavalue":{"value":{"amount":"+0.7667508721351624","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":"Q5166677$94BC3F5F-1E33-4A15-AE90-BBE8E88FB0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68cc13b2f3174c069fdbe3ae19564da12e715c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3510852,"id":"Q3510852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ec4f55d3aac5eeb0bd171e02b0f7d17fb03e8e","datavalue":{"value":{"amount":"+0.7661126852035522","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":"Q5166677$8569C7C4-C5EE-496B-A65A-B1CB05AD4A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4461760d789b6eb2f77a286ebb12ca4692f1886e","datavalue":{"value":{"entity-type":"item","numeric-id":3146274,"id":"Q3146274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3edfcbd9c7a684e724321d2b2b6e03f247abb23a","datavalue":{"value":{"amount":"+0.7656910419464111","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":"Q5166677$81C3D97C-78E9-47D8-B7AF-2653D99DCDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61762d1a0b214a9dcb84410f924064d87dbece04","datavalue":{"value":{"entity-type":"item","numeric-id":4503929,"id":"Q4503929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ae821e0bceab0f4b6f9c189e3a55769cf3284c5","datavalue":{"value":{"amount":"+0.7580969929695129","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":"Q5166677$C0198B16-4195-4BB3-A0CF-F65258F43E89","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5166677","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5166677"}}}}}