{"entities":{"Q2929593":{"pageid":2940313,"ns":120,"title":"Item:Q2929593","lastrevid":58060272,"modified":"2026-04-03T15:48:57Z","type":"item","id":"Q2929593","labels":{"en":{"language":"en","value":"Full abstraction for fair testing in CCS (expanded version)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6369231"}},"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":"Q2929593$94151D96-6D30-47A2-B24C-1E6B8D64346D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66a4f2aa12a0a126cf52a6feb21ed5ec1ce49ea7","datavalue":{"value":{"text":"Full abstraction for fair testing in CCS (expanded version)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2929593$E26657C8-33D8-44CF-B714-CD8ACF92E25B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df2967df3098cd8789d963a10d7c294ec9fa16fd","datavalue":{"value":"1310.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929593$21B09946-034F-4436-AC4D-8321F8316919","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"09dfcfd7aceecfca1163fa559291398b44d241a4","datavalue":{"value":"10.2168/LMCS-10(4:2)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929593$D3A10BBD-0CA2-4651-9967-28F6C87DF083","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":"Q2929593$683E523F-C0F1-41CB-A335-520DBA395301","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2929593$4D8EF722-906C-4310-96B6-80C93E26894D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c62651f95a56155ca689baf347b077b1fbdec8f","datavalue":{"value":{"time":"+2014-11-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":"Q2929593$0416AE89-1699-413D-B9E7-1D34F8E6848F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f40d9a2cf342c714f586f7102109ce2fb7262e55","datavalue":{"value":"https://arxiv.org/abs/1409.8056","type":"string"},"datatype":"url"},"type":"statement","id":"Q2929593$90707606-CE42-4896-BB3E-96DDC05A5842","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929593$BA504BD4-5FBE-4884-8CDB-CDBD73D9535D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929593$AB51D787-DFA5-4BFF-9B42-460A19623584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929593$870C004C-6642-4103-8D74-7F234E0215F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88c6ec75da7be0af76340e18aa7c592943a49bac","datavalue":{"value":"6369231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2929593$D25690D3-3F32-4873-9F09-BF3A24F8D4D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2929593$702C9CC0-C271-4692-B322-094E6AC5C26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2929593$4015F26A-F1B8-4829-9049-9AD6B16297D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9549b9b59d12b51bdff96e0de2f12a921c8bcf1d","datavalue":{"value":"presheaf semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2929593$707D77E7-699A-4690-B68B-D9F768E3582A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2929593$170AD3BF-699C-4620-BD03-946CE28C0E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2929593$7D5C8E78-A11E-4B34-87AA-77E275BA14B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2929593$20F1F591-BDCA-40C3-AEC9-DA79565C8822","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":"Q2929593$BB7DC10F-DBE7-4151-A137-38E707943F50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe44e8cb894017c151bfaaa38da61076b2daeff","datavalue":{"value":{"entity-type":"item","numeric-id":2848947,"id":"Q2848947"},"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":"Q2929593$96A1344D-3330-4805-A681-14EE97D7DD46","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":"6b4099b4df3bf75963f1858971cc9eb2bc03bac2","datavalue":{"value":{"amount":"+0.7887587547302246","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":"Q2929593$A6B779C6-AEC2-40AD-936D-8AB2D8AA4F7C","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":"9c66d86b6f04ed1022b218fdb17bd9008adc2e32","datavalue":{"value":{"amount":"+0.7733743190765381","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":"Q2929593$3EA4B0E4-BE83-4845-AB33-C188F447A8BA","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":"5865037304a85379181bc9f2f200392235474f48","datavalue":{"value":{"amount":"+0.7603271007537842","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":"Q2929593$4926BC4B-B115-4A15-8DEB-F9F095851089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741c8c96e770b77a80ceb44a95ae6ca9fe43524b","datavalue":{"value":{"entity-type":"item","numeric-id":4917059,"id":"Q4917059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7faa6b4fd5e8c6030f6fb99ed0cfeb8fa32c416e","datavalue":{"value":{"amount":"+0.7541055083274841","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":"Q2929593$2CC3147C-5925-4785-B3E0-487FD485B2F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2929593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2929593"}}}}}