{"entities":{"Q2800971":{"pageid":2811709,"ns":120,"title":"Item:Q2800971","lastrevid":52509326,"modified":"2026-01-22T20:23:10Z","type":"item","id":"Q2800971","labels":{"en":{"language":"en","value":"A sorted semantic framework for applied process calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6570497"}},"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":"Q2800971$F6F70056-247B-4821-95E2-D7B735D38E34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51d612bb0b9b451900a9764a24b25d4f422100e2","datavalue":{"value":"1448.68331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800971$F8C5A103-ED76-4F08-8641-B9C6FE22BEB3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a4dbe948939d4e4e6b4eeb1e04d40f6fca87163","datavalue":{"value":"10.2168/LMCS-12(1:8)2016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800971$4481A04A-DF14-41A1-90A0-20A0B40218AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"08ac0ece65ffa29f2cb3e18f66e3388d5684450f","datavalue":{"value":{"entity-type":"item","numeric-id":2233469,"id":"Q2233469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800971$CE546044-A3D9-4E0E-BEBD-5ACDB88BF084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"496351f10d9c0dc652cb5d90e5f20fa8012c598f","datavalue":{"value":{"entity-type":"item","numeric-id":2800970,"id":"Q2800970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800971$DC27D9BC-AB43-4489-8CE5-AD76EBB47CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80e958f9a9f32007b96d202defeeabd37a16004f","datavalue":{"value":{"entity-type":"item","numeric-id":287321,"id":"Q287321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800971$7A847368-2D66-4788-A589-6B3BE2366CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0ed4a778147dfc838492305e6341530d9443bb1","datavalue":{"value":{"entity-type":"item","numeric-id":444456,"id":"Q444456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800971$3398DC16-0881-48B9-8F89-5EB8C343ACC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c576e290d89c249adea9f2616a7cfc2d1b21a82","datavalue":{"value":{"entity-type":"item","numeric-id":1687763,"id":"Q1687763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2800971$FB3577D3-C03C-4087-BA68-CFC5820DE856","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":"Q2800971$511B4CEA-C3E8-4C27-B186-70C4F9A69C33","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ca45399d7f8e443a58842f216d6469aabc08f0c","datavalue":{"value":{"time":"+2016-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2800971$733A9ED7-BD46-49E2-BFCD-8E5AD47A34A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800971$7F2F3187-F81A-4979-83F6-4DC8113C0CD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94034ddef52f676ec3ba87f7571d7f13d45640eb","datavalue":{"value":"6570497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2800971$8455C746-A893-4B44-8E7F-A5CB9520944F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800971$3244AC01-4083-496C-AC19-E41D981DD275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800971$CB7192E2-E74F-4772-BA51-0C16705FFF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800971$A253F961-BE67-44B5-98CE-2BAF5A18D990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800971$ACFE65EE-E9D9-4C9D-9CB1-FFE78A2414BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5cedc1a875d8083748dd695c5b423bf932b1222","datavalue":{"value":"pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800971$B4D2B1EE-D48E-41F2-8938-CF6A4A06835F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b78fd06c75bce2f27c56fcdfc2f26769e147394","datavalue":{"value":"nominal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2800971$E16AB187-73AF-4118-BA29-052F802D4130","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":"Q2800971$EC0041AD-B8F5-4AE9-B852-EDBE861FDB5D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b62a72a7e1b6114c34a5ef7f535505a31b0aaa8","datavalue":{"value":{"text":"A sorted semantic framework for applied process calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2800971$04B25638-7713-456B-9ABB-245DC4A11C66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b950d6e48f3b60c6792a9c568c86427f28b37384","datavalue":{"value":{"entity-type":"item","numeric-id":2830029,"id":"Q2830029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9341062f1ffd16f8ce5879b7dfc213b89020a3d8","datavalue":{"value":{"amount":"+0.9835456609725952","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":"Q2800971$0DB30841-FCF7-477F-B756-141BD8613128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abfd16a9972debe7bd761510786869290ae6e725","datavalue":{"value":{"entity-type":"item","numeric-id":3003314,"id":"Q3003314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afb598665c926d261b405e713043a742f2a29a5c","datavalue":{"value":{"amount":"+0.777600884437561","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":"Q2800971$9F697A07-215A-4E19-86FB-C619D4882860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942d4f08f3dc8f56bfe2952715973c9440026c2b","datavalue":{"value":{"entity-type":"item","numeric-id":3520306,"id":"Q3520306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc5db6860a19b790c7a2417e85980f9113ed2ba3","datavalue":{"value":{"amount":"+0.7648405432701111","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":"Q2800971$919E54B7-6DB8-4F30-9479-40D2FB132A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec0a1311e17efa4327e5396b63650095af059f29","datavalue":{"value":{"entity-type":"item","numeric-id":4536594,"id":"Q4536594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c203b1a7e9ad8fe3bf692efc4a6ab03125dfac46","datavalue":{"value":{"amount":"+0.7522469758987427","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":"Q2800971$676ED2FA-F510-4A35-8C11-636DADBF1EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea9331fd0e24eab0d477d6c945f6d6461b5dcc55","datavalue":{"value":{"entity-type":"item","numeric-id":3177888,"id":"Q3177888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faedf4e8b9bc0461c9468d4d95ba9a14760d96a0","datavalue":{"value":{"amount":"+0.7470089793205261","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":"Q2800971$024358C3-BE0B-4ACF-84BB-A23107193DF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2800971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2800971"}}}}}