{"entities":{"Q5900565":{"pageid":8006251,"ns":120,"title":"Item:Q5900565","lastrevid":55971772,"modified":"2026-02-21T15:40:19Z","type":"item","id":"Q5900565","labels":{"en":{"language":"en","value":"Verification of parametric concurrent systems with prioritized FIFO resource management."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5688259"}},"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":"Q5900565$3B2B2050-1297-4FCB-98C4-0A3DC50D3DDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2710257174c8c401d932a5ee3f734214331b9d0","datavalue":{"value":{"text":"CONCUR 2003 - Concurrency Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900565$1BBAEE09-EAF4-4E2C-AFF9-7C812C9897FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b6431da033366f9289421e8bbc7dc4003179871","datavalue":{"value":"1274.68222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900565$6E35EF85-093E-4822-8C80-D8C004CE8008","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900565$D97B9A06-6186-487D-94AF-6F82537F3E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48768ae81aa5edcb5110bd8b53b5885bdbc25ee1","datavalue":{"value":{"entity-type":"item","numeric-id":515662,"id":"Q515662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900565$62F940DD-11EF-4309-B530-3B96F74ABB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900565$0C8861B4-618E-4004-8933-FF55F2A8B7E6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900565$EFF4E95F-9377-46D0-81FA-1ED75607C197","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ad85b41ac0afe13597f905f95a4baafcdea7919","datavalue":{"value":{"time":"+2010-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900565$15936FD1-3C87-4FBA-B699-45ABB629519A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900565$C77BDFF5-2F56-4047-8F79-A8C597B6776E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900565$9215BAC4-D458-46A9-9197-A2C519CC6402","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3fd62c97e5d983f8a587ff67aed16233fc925bd1","datavalue":{"value":"5688259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900565$6F80BBEA-EBBD-4ED6-97BA-CD3158896953","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":"Q5900565$B69101CF-9B92-4927-8C17-4714C0305B4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a70288c8aba66f6f506ae1c9f1df3ec3169e150","datavalue":{"value":"https://doi.org/10.1007/b11938","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900565$0FD9A8E9-118F-446F-9540-EAEBEF49C3EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1eaaf20f9ed31f0c15fde1ed29c348788f9f57b3","datavalue":{"value":"W105220891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900565$B08953AF-0320-43A5-94C1-C9A1A78FC620","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c5ea868ec13643df31e0c2cc2ea726be761a8967","datavalue":{"value":"10.1007/B11938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900565$736F9BB4-4F69-4D86-949E-BEF947B86768","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42b2d1d6cbd127ba139e801bf4d07adec666dbd0","datavalue":{"value":{"entity-type":"item","numeric-id":2481584,"id":"Q2481584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"155174fa9919b9ee0259b46e18f899e7514611ab","datavalue":{"value":{"amount":"+0.9934690594673156","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":"Q5900565$6CA5B55B-ADB6-4F58-B10E-136D1DA6AF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545e1ab53716f4fafe9a4a6ba87d1be66a8e3d58","datavalue":{"value":{"entity-type":"item","numeric-id":5295510,"id":"Q5295510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4f36d4cfe51bd7d4ee8d071aaaef8f0c1c35a20","datavalue":{"value":{"amount":"+0.740951418876648","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":"Q5900565$A057D4DF-1A7F-4603-95ED-F52BD79CC404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fdffcc9edd95c99bd1b419a189f03a4e9847de3","datavalue":{"value":{"entity-type":"item","numeric-id":2164219,"id":"Q2164219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"521158593da64bf7a6afebca3706fd6bed7cc427","datavalue":{"value":{"amount":"+0.7217534184455872","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":"Q5900565$378F6E86-359C-472A-8FAE-AF7744D26D8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5900565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5900565"}}}}}