{"entities":{"Q2848947":{"pageid":2859667,"ns":120,"title":"Item:Q2848947","lastrevid":58019997,"modified":"2026-04-03T11:46:51Z","type":"item","id":"Q2848947","labels":{"en":{"language":"en","value":"Full abstraction for fair testing in CCS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208116"}},"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":"Q2848947$524E85EC-C978-45FF-867C-BE6B3016AB8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41cf7fd5777885cb18e26e861b6b6277d5c539e2","datavalue":{"value":{"text":"Full Abstraction for Fair Testing in CCS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848947$FD070E0A-20CA-4DF5-BD4A-025B6C7CD190","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"112c8ced66613cf06304e5dd2388348d5604827d","datavalue":{"value":"1310.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848947$5CD211A0-7CEA-48E6-9A86-9C2BC80EC62C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40e5e740ae8dc31d89469fd3973aa7c2a608eb8c","datavalue":{"value":"10.1007/978-3-642-40206-7_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848947$FB3F7E48-41B4-4C45-AE8B-3390B616D36E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aec17d4de2993980d020ecf108cf8bca2a360f1","datavalue":{"value":{"entity-type":"item","numeric-id":848737,"id":"Q848737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848947$EB6AED9F-3E84-488D-8396-CC3098AC93F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6c69d0d6931faf1bde94dc1cf33300ba4c2b8327","datavalue":{"value":{"entity-type":"item","numeric-id":2848933,"id":"Q2848933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848947$0882615B-9457-4D1F-84DF-B7A074C318AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3756c0dd48f1ac2a2472fe44a850976017bd3fa9","datavalue":{"value":{"time":"+2013-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848947$0A15189A-A6B2-4648-92DF-CB61A320CADE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97e0d63c0168e4904dcb0314969eb0c051aabf23","datavalue":{"value":"https://arxiv.org/abs/1305.6184","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848947$35761F37-1B97-4251-863D-3BE9C36FEB62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848947$13D0E0E9-729D-4218-8F13-640562322DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848947$42D3B3D9-E2C0-4FE9-AF4C-C6A327FB0B1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848947$9A2C4D2D-70F7-4D08-AC5F-CB60E5E69D53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d97923d75c8d789c243a729870b4752352a41546","datavalue":{"value":"6208116","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848947$DC8D3228-3EA5-4522-8C60-D0EA4BAD062E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848947$51499E3C-4162-4D55-8A8F-39CE99148B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848947$996567C4-5BD9-4098-970D-7B6A1453CCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9549b9b59d12b51bdff96e0de2f12a921c8bcf1d","datavalue":{"value":"presheaf semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848947$05D122CD-4B60-45E0-9734-EA1947252905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848947$2F1D90A4-8428-4000-A09D-92BA3AC9E803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848947$5262B51F-9D60-4C23-9065-7F50C946EBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848947$491C2C6C-C464-4F04-BD0C-FE3CC2CFCAB6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4feaea7961d9cfdcd7e2968b41cc11ecb0c87f44","datavalue":{"value":{"entity-type":"item","numeric-id":21716,"id":"Q21716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848947$7DA89A93-6E48-4782-BC95-95DF6072AD9A","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":"Q2848947$3B4D4CA9-87C0-4621-A6DA-AB4AF2F3CC09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9edbbb38b5e5ca8c8493982e3c9b4b045f0b6d8","datavalue":{"value":"W1890822632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848947$7EAE7E60-C7B7-4146-A56F-46630ACA73C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c9096f95d0d8ac06d7d76247b52fc74bd86e21","datavalue":{"value":{"entity-type":"item","numeric-id":2929593,"id":"Q2929593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"583d421097968b7c58f7984721e2df62f1763881","datavalue":{"value":{"amount":"+0.9856044054031372","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":"Q2848947$EB73ECBF-531E-476E-A000-172C742D0D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7148ef8cb70af69acf025b54c427aee29ac7cff","datavalue":{"value":{"entity-type":"item","numeric-id":4222750,"id":"Q4222750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd8748f495ab5419e6f375efbf41e10caad3445","datavalue":{"value":{"amount":"+0.7818374633789062","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":"Q2848947$F9FF1BC7-DC03-49FF-B809-8830FDEA6F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74bc77dd65bd709cd09206aeb922ae854f2dfd4","datavalue":{"value":{"entity-type":"item","numeric-id":4621160,"id":"Q4621160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abd2f33615e40dfa1f12e3ee5fa86d912a5fdaef","datavalue":{"value":{"amount":"+0.7792287468910217","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":"Q2848947$183BEBB6-6CE8-49C6-A77B-2D6C70729EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34cdd712c2061c1fea90cbcff259f3731168b2e7","datavalue":{"value":{"entity-type":"item","numeric-id":3678656,"id":"Q3678656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1de3cc0ed9e8551fdafb05cd5ca4c5cda1900f9","datavalue":{"value":{"amount":"+0.7750324606895447","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":"Q2848947$11C79EFE-805B-492B-B9CF-B8948151D704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8365468e4d7e803c006c953627bc57f0ea985c12","datavalue":{"value":{"entity-type":"item","numeric-id":1275748,"id":"Q1275748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4efe436f0137c13f691622c50c728823546dea92","datavalue":{"value":{"amount":"+0.7594007849693298","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":"Q2848947$E50595A4-E5D6-4F7C-9771-7490E43012A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848947","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848947"}}}}}