{"entities":{"Q5311482":{"pageid":7341056,"ns":120,"title":"Item:Q5311482","lastrevid":48534037,"modified":"2026-01-05T03:30:27Z","type":"item","id":"Q5311482","labels":{"en":{"language":"en","value":"CONCUR 2004 - Concurrency Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2197492"}},"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":"Q5311482$5AA10869-E6BA-493E-A7C5-C3305C9A6713","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a1346abd10eb5b0e5a29f01bf02e73867298fa2","datavalue":{"value":{"text":"CONCUR 2004 - Concurrency Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5311482$9B07CF5C-A7F5-477C-9D3D-A23074CBA028","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61e11a04909bd5eee40d4a285be61efddf657003","datavalue":{"value":"1099.68670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311482$232174B2-E0C5-461D-AB5F-FCE3FBD89953","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311482$78F14E4E-1B21-4C26-BE64-D5EC9E16934E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5311482$85922642-AB91-4196-B6F3-131688973B1A","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":"Q5311482$5FDCC763-F514-43B0-95F0-57D91BBAE081","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c8161240b506a95f024b0718a56f9f3e2b0e7a2","datavalue":{"value":{"time":"+2005-08-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5311482$1CBF5FA3-615B-4587-9FE3-6D8D86CEB0CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311482$1846D65A-47EB-413D-9740-39ED884DA2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311482$25D72929-DFDC-4FC9-B4CE-11D042EE4532","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c7079321fca3d1dfe63cd1163fecf4b8ed86791","datavalue":{"value":"2197492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311482$7460AD6C-C560-4B81-9B58-D05A1591091C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1dfcf45a7330a9f202e8fe2eb4069bf18c16248","datavalue":{"value":"first-order modal \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311482$54B990D4-AA03-4088-BDBA-3492A404BE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b06ba5825444d19c06d33ebae99958bfded095d","datavalue":{"value":"parameterised Boolean equation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311482$A2FAD7BB-D17C-4958-A76C-951D85909E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311482$0DF8B16C-991A-4888-8024-CA78F32BAD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ca41c6bd39bc481c6e6cae3f26fd519783289a","datavalue":{"value":"infinite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5311482$57C125FE-AF1E-4C4A-BF25-22C98B2A4358","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":"Q5311482$68C32A64-08B0-4884-843C-7AD17D6F7471","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"471bc8a40f5f5adea41a94ede3e8459d41859d8e","datavalue":{"value":"https://doi.org/10.1007/b100113","type":"string"},"datatype":"url"},"type":"statement","id":"Q5311482$18DBA66E-72EB-4836-91B8-18BDCED0C7B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb5caae9814cccd0ab7cafaa1ca0ef760fe50a96","datavalue":{"value":"W2499482941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311482$61D1B918-5F8C-41D8-BF3A-0116F504B848","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8de75276ce16d6c1056059e4142f32ee0007fda2","datavalue":{"value":"10.1007/B100113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5311482$6EAA190F-7ECF-4BC7-AB65-82533EE6C158","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde571dc989a7055b710a38e8dcd3ecb158ea3ba","datavalue":{"value":{"entity-type":"item","numeric-id":2571204,"id":"Q2571204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c8d12c015c09c5d56e30a184bb3fa5ac9be0cbd","datavalue":{"value":{"amount":"+0.9920669794082642","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":"Q5311482$79C77657-A39B-42C9-8FCB-2BE195182A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b169ac0b6ae979ce11d8bfee6e252e9a990168","datavalue":{"value":{"entity-type":"item","numeric-id":5505619,"id":"Q5505619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b83552ce074903de37c4c6aa75f498b31a4aaf7","datavalue":{"value":{"amount":"+0.8604491949081421","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":"Q5311482$0FA256FB-2816-4B62-A6D2-63A0AA2CAFBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"621ad02f400cbd004b143fb52a7f7145be65c0a7","datavalue":{"value":{"entity-type":"item","numeric-id":716322,"id":"Q716322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5130a2542096b8239df0cce5a258a0fd4032e9f4","datavalue":{"value":{"amount":"+0.8452293276786804","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":"Q5311482$B7CB44F0-5824-42D8-AB35-96AEE0040DD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e6b887c65f672bd4b928b9c297f143798b14e1","datavalue":{"value":{"entity-type":"item","numeric-id":3525633,"id":"Q3525633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cacba8d0665a6437eb0abf077011ac74e2b7961","datavalue":{"value":{"amount":"+0.8234268426895142","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":"Q5311482$5A9F1F6C-A5D9-4AE8-A474-90530F98B856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f055259f511d1e8387168ee9a8a682aa5660b1","datavalue":{"value":{"entity-type":"item","numeric-id":3617762,"id":"Q3617762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f21bb9efc07ebde8702edf059773212980a7106c","datavalue":{"value":{"amount":"+0.8192450404167175","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":"Q5311482$FE33332F-0FB6-4286-B882-FAE2D155ECFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5311482","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5311482"}}}}}