{"entities":{"Q3522900":{"pageid":5552804,"ns":120,"title":"Item:Q3522900","lastrevid":50445992,"modified":"2026-01-14T01:59:40Z","type":"item","id":"Q3522900","labels":{"en":{"language":"en","value":"Model Checking Timed Systems with Urgencies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5321053"}},"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":"Q3522900$048F7B11-88E6-46A5-930D-8D39CB14C9D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ae5b6de49cb7aec397eacdb849e716bf8793ef0","datavalue":{"value":{"text":"Model Checking Timed Systems with Urgencies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522900$034837A9-427F-4D24-B4F7-AA3F4650C080","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc9554490a8ee089cc3e5cc9e1593dd4ffec1d9e","datavalue":{"value":"1161.68570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522900$5E9F9A97-A286-494C-BCA4-B4469C93FCD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"07f9f3d5dfc8d2a80e482e560f2437d12699f428","datavalue":{"value":"10.1007/11901914_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522900$B29B1E1F-A7BE-4428-A093-4364F165F657","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"917193f43b155bc5f83a938f9c1c2e6bb5626b5c","datavalue":{"value":{"entity-type":"item","numeric-id":2842579,"id":"Q2842579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522900$CF6A5661-8BCC-4BAF-8965-602FE64E8C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ef8339e8b71a874e6165505764b5b0ac93e4ea4","datavalue":{"value":{"entity-type":"item","numeric-id":3522895,"id":"Q3522895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522900$92A7E1EB-D752-4899-9994-E0945C093DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35389b4dba65cd14fce7ecfdbcc231c4dfefad5a","datavalue":{"value":{"entity-type":"item","numeric-id":3522896,"id":"Q3522896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522900$62A50301-FDFF-45D1-ABB1-C528586B67BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1919f75d589c71453fea6da258e88f885835390","datavalue":{"value":{"entity-type":"item","numeric-id":3522897,"id":"Q3522897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522900$2215F28D-69FC-4C59-9C87-C9E337CD7F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"50419dc705d421c6b81b8f4f404585732c5c2c73","datavalue":{"value":{"entity-type":"item","numeric-id":1947733,"id":"Q1947733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522900$B5C6F4F9-2553-4615-A13E-769ACFFF1D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c0b237b5731b3c5a8130b665b6bc8613c5deb08","datavalue":{"value":{"entity-type":"item","numeric-id":3522898,"id":"Q3522898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522900$BC5AB7D7-748A-4BDC-8637-D55AD93CDFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"828ffd631dbc96ebdb527e7c806ceadc1677ecb4","datavalue":{"value":{"entity-type":"item","numeric-id":3522899,"id":"Q3522899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522900$B683D80F-88B8-4C6D-B4F1-4811E946AF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e755b5dc9f4979397d0df2f5a71bc2bf917f598a","datavalue":{"value":{"entity-type":"item","numeric-id":1716559,"id":"Q1716559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522900$61ADC18F-F750-4A5B-9505-0308889E3796","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":"Q3522900$B81A208E-73A3-4F76-8F61-EA1B8AD554DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bf0f0ee9c49018dff9c641c5da1a78a5da873e5","datavalue":{"value":{"time":"+2008-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522900$BEF66392-8550-46EE-9916-D9406349AF0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522900$05D6FE3A-BDD3-4E90-8DF3-1E5F08201882","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7298a17667d43b55218d4bee9ee7f1e3d15427a9","datavalue":{"value":"5321053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522900$E3735028-1C27-410A-A8A2-5DDF806B8F9C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522900$8B72A0F6-ED8F-4513-A8BB-45589860EDC2","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":"Q3522900$C36BFC0F-E7DA-4C8D-9DBC-7C07C074736E","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":"Q3522900$9085E495-82EB-4BC4-83CC-11797DC53D75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9e5fe9be6ddc24378dbc19953ec55d2b6e742e3","datavalue":{"value":"https://doi.org/10.1007/11901914_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522900$AA4A66D7-1387-4586-A64F-AD7243D527A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46ce58a89f8dcba3a8c492eeb0c5b075c54813fb","datavalue":{"value":"W2151277984","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522900$ADC99CEC-D0E7-4BC7-8B95-C13E798F6BFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"967d2af298ac21f2cd6af9ce8a91a27a9c75621c","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e798465953acafeec4def4286ffe255db794aeb4","datavalue":{"value":{"amount":"+0.7855396866798401","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":"Q3522900$FBB0CCCD-03C1-484C-AF06-7FAE1995C0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3edf120a3531e23ee31563694eada91679c5b270","datavalue":{"value":{"entity-type":"item","numeric-id":3164837,"id":"Q3164837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b42592b95a35cf8ddc47a3eff396d3b91e55083f","datavalue":{"value":{"amount":"+0.777588963508606","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":"Q3522900$D5278D06-2BFF-4514-B0F8-C76B90273D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69f2d5d8cbb27f22a82668c351b8f7a1cecc234","datavalue":{"value":{"entity-type":"item","numeric-id":4982129,"id":"Q4982129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9628ca903c2a699a959783c7f4e89ea2c3f7ae6d","datavalue":{"value":{"amount":"+0.7763659358024597","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":"Q3522900$8D31120F-1CE0-4861-83DE-6FA1F7868786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e184347027fe48befc0dcf2903577b56c36b548","datavalue":{"value":{"entity-type":"item","numeric-id":1889766,"id":"Q1889766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67378f4e7be3582dd99a64592ca779845812f9a3","datavalue":{"value":{"amount":"+0.769569456577301","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":"Q3522900$EC013878-C88B-48BF-B068-EB6630DC7B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1f5df4a94c821a4fb3cf532bdf48e46ed96c0be","datavalue":{"value":{"entity-type":"item","numeric-id":5055879,"id":"Q5055879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77897663a3d5090d48d1267f9c9e0c862292ecad","datavalue":{"value":{"amount":"+0.7650949954986572","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":"Q3522900$F8B7905C-A116-4E96-B962-FCE81DFC646D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522900","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522900"}}}}}