{"entities":{"Q2481584":{"pageid":2492327,"ns":120,"title":"Item:Q2481584","lastrevid":55971721,"modified":"2026-02-21T15:39:36Z","type":"item","id":"Q2481584","labels":{"en":{"language":"en","value":"Verification of parametric concurrent systems with prioritised FIFO resource management"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262297"}},"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":"Q2481584$6C13B6FB-798B-4555-8414-3A996E97044C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b7d1c291aab0fe57c82ca0f433a21f5435a472c","datavalue":{"value":{"text":"Verification of parametric concurrent systems with prioritised FIFO resource management","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2481584$23FBF97E-E279-46B8-BDA9-C8ED578F5FB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9493fa01073dc8717e3d9f64cf2269f96614fe9","datavalue":{"value":"1138.68464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481584$BCF4C8FD-EA92-4078-B845-095A9127E6FE","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":"Q2481584$886A9BDA-911B-409F-9241-69F58292AF43","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":"Q2481584$81D5E78D-0C0F-4FB3-81CB-4B48226E7AFF","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":"Q2481584$19C41445-8AEC-4D81-AC25-E41932CDEB15","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481584$0B05F838-8EF4-49FB-A544-F566580FFFFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2481584$66EBFF4F-505C-4286-ACBF-81023AB55C5D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481584$FD99AC02-5168-49C9-9D25-F0762DEA6964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481584$23431F5C-4577-4DFC-816C-AE382F48FE91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0140cec875dc7d4c554502185eef73267a116961","datavalue":{"value":"5262297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481584$A6E0B818-7974-4E23-A8E6-3B8B434896AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bdf9c2b5fcd46606db43506dc4d0fb69d64da19","datavalue":{"value":"Formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481584$D67C2C15-6E4A-4DA0-8F6F-9C0B9CAA433F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c318168f8f926bafdff8ef6f8b21beb2a03b7a14","datavalue":{"value":"Parameterised verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481584$23F9C67A-466F-415F-9907-1C264FED4CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a025646d319714ada4e6fc78aa5c62b7a401e59a","datavalue":{"value":"Infinite-state system verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481584$9670D9C1-E5E4-4D3C-A45E-18646311D48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e3e1c46b94ac6a1e689cbd1a08b8c96a21f6ad4","datavalue":{"value":"Cut off","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481584$ADF8C001-88E2-49F8-8258-B523CEEC3316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481584$DFD6C187-4FDE-4766-9323-9345ED8F8DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5abef75347d007d8e69f93f71408ab20fd25cf6","datavalue":{"value":"Parameterised networks of processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481584$7DA347CC-C906-4175-9261-2CD9F98C5FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51c658726aec079c939c6aa5372c9bd1b494cd65","datavalue":{"value":"Resource sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481584$49868D70-EA92-4A8D-8D64-56903F81DDFF","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":"Q2481584$B874991D-D1A1-4BAE-8E39-6216795091DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f845f873cb5dcc0348e7326a9d764c22e63981a5","datavalue":{"value":"https://doi.org/10.1007/s10703-008-0048-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2481584$FF2FF02B-58B8-45B5-9F1E-3778E04BDE60","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fdfcc7702249744f42ae3564aba7bb29cb1c2ceb","datavalue":{"value":"W2038221635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481584$D7B024F2-F6E8-4AD5-BB6D-EFD8BFE9388C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3543b6ab16d24051c1f38949623316c0a3308454","datavalue":{"value":{"entity-type":"item","numeric-id":4817539,"id":"Q4817539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481584$0B32ACCE-83C5-46FC-ABF3-B4C38A7496DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e446c44c0d2c4c80894927e9bfcbe7fa8893108","datavalue":{"value":{"entity-type":"item","numeric-id":4808829,"id":"Q4808829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481584$35C13771-9BF1-4CAF-A124-FCC34934919D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b616c18c9f25eca63c3b073680f3df7741357783","datavalue":{"value":{"entity-type":"item","numeric-id":4518895,"id":"Q4518895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481584$905D3BE2-992D-4C1F-8DDE-6DBC6C5498B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4acb92f5f977d91828d0f85575a2ecca384ade","datavalue":{"value":{"entity-type":"item","numeric-id":2723423,"id":"Q2723423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481584$1A27B403-EC9F-4059-B2CA-EFCC1932C27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b3675b5c0c7a82ed12ae8ee9060e9d4fb8b0804","datavalue":{"value":{"entity-type":"item","numeric-id":4472243,"id":"Q4472243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481584$B43403E3-3642-461B-9530-72C72868FAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47725b472606f4bada0befded8523598e0fad82a","datavalue":{"value":{"entity-type":"item","numeric-id":4302808,"id":"Q4302808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481584$EB5A6913-AEFA-442A-B9C2-00D5983D74FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481584$C580EDDD-86D0-4BB8-92FC-0763931042AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4c31746727041f1ff1157480ae7fc11bf88dce","datavalue":{"value":{"entity-type":"item","numeric-id":1891157,"id":"Q1891157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481584$0C0E345F-6B21-4E81-8545-33166C11C015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481584$B5B11EE8-D849-41B9-BCAF-6697E5BB92B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"480ed92cdc81c1b695ab095610a1821532023de6","datavalue":{"value":{"entity-type":"item","numeric-id":4181607,"id":"Q4181607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481584$D54C67A4-C8F3-49F7-A350-C2ADF7F72921","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cea7c430dca78d74229f448f5ee141d99790a2ca","datavalue":{"value":"10.1007/S10703-008-0048-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481584$BDB401CF-27D9-4454-9D17-116D85CF68A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95bbdf7045f3b7ce3654d3130646ba36867fa88e","datavalue":{"value":{"entity-type":"item","numeric-id":5900565,"id":"Q5900565"},"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":"Q2481584$86558967-0452-4E3C-BDBF-E909BE88CDEC","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":"c7b84eeef5d2322f4bea78bcb44ab8b394423723","datavalue":{"value":{"amount":"+0.7188923954963684","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":"Q2481584$E31C75C3-B077-48F6-8CF3-24966323928D","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":"ac2e9bfd1a14a54eace211c7dbb9569cc05d4b93","datavalue":{"value":{"amount":"+0.7036888003349304","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":"Q2481584$FC62669A-99E8-4CE4-B9B2-CCF19CD5ADBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2481584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2481584"}}}}}