{"entities":{"Q2381506":{"pageid":2392249,"ns":120,"title":"Item:Q2381506","lastrevid":72664989,"modified":"2026-04-14T06:23:08Z","type":"item","id":"Q2381506","labels":{"en":{"language":"en","value":"Priority and abstraction in process algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5191628"}},"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":"Q2381506$2C85B8EA-61BF-4204-BE98-54610CD1123A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fac35d42773dd066a294527e29fa16692c84f89f","datavalue":{"value":{"text":"Priority and abstraction in process algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2381506$8872A378-461A-419B-BD73-C5E06B134A9F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c50cd3baa4549fe5033dfc087dbd1c12c55b6e2a","datavalue":{"value":"1127.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381506$119BA57E-3513-4D94-9296-CEF1BBCCE04F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$0BD46000-3445-41FF-A3E2-E56989063AEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$2BC2871A-64ED-4DD1-9833-B106BD7FCB51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3427f56d08c951df09e6b7c5aba2137c7bb94a11","datavalue":{"value":{"time":"+2007-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2381506$DFFBE9E5-EB8C-46E2-8554-9DC36E70D544","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381506$8F68D199-FCA8-4198-AE9F-5C617BB9E8EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92ecd40358c9bf5309f39c72b8793685d334e146","datavalue":{"value":"5191628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381506$6A703179-338C-4677-AE3A-4F5403D1B404","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c35e59984cabf218dfddcc4cee7fb81eefd5016","datavalue":{"value":"Process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381506$04F643E2-B23E-4E3F-9DEA-1374D172B759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24cc4d29473a9d86b573a92b75d8cb8b9ea2650d","datavalue":{"value":"priority","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381506$70A6861F-14DC-4450-8962-803B3E075449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381506$9FCA493C-3192-4621-9054-A5DB943870CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7ef519bfc9d2b2e2ee27ec4404e1fd2aef4710a","datavalue":{"value":"observation congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381506$7339ECFA-3BDD-4800-A838-572DD62FC6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eca9ff896efb1e34d9da4dcb5b5b353e4c12f209","datavalue":{"value":"full abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381506$B7ADA677-308F-4FC9-B8EC-D6B6DCBD946C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2381506$1DBD586B-09B9-4B1A-A098-0E18CA066AA8","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":"Q2381506$6B50114B-37CE-4D4D-8DC0-0A93EE52C5BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58dce067d9eba8552ad5b12c34afaa12febb2e66","datavalue":{"value":"https://doi.org/10.1016/j.ic.2007.05.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2381506$E8B0C299-A8DB-40ED-92E0-FB351F1BE7DD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"355606adaeb049ed51ba22834b495e3494c76d33","datavalue":{"value":"W2121936893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381506$9FF1B123-6A7E-4132-9E7E-C05CAD1341D7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d29fb3e005d6546006a0c7c5ab5e472a7dea951","datavalue":{"value":{"entity-type":"item","numeric-id":3591402,"id":"Q3591402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$70DA139E-DF73-48CE-9D5A-2A239D276D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368aa454d4977a647d34013fab693ad21c2599b","datavalue":{"value":{"entity-type":"item","numeric-id":5492813,"id":"Q5492813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$9C43F69D-10AF-46A9-BB09-7087CF613494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcd254ec8f657762d462bbc49ef06ba594d598f","datavalue":{"value":{"entity-type":"item","numeric-id":4727412,"id":"Q4727412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$A7E7607D-18DF-42B6-A643-0D4428B5E63E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f0ed55ca82a6b76d718088bf211773ccfae2cd","datavalue":{"value":{"entity-type":"item","numeric-id":864506,"id":"Q864506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$3671D906-2CAD-4215-A21A-56163F8F8700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$243AB919-1FAC-4624-B63D-781F39BEA0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef03999b796c54be743039f4a3fb23feae152e0","datavalue":{"value":{"entity-type":"item","numeric-id":4036587,"id":"Q4036587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$81FD0B4D-9250-4DB4-BCD0-91B9816E8B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b70818b0860e1c874a57b887652d27b592ff1d","datavalue":{"value":{"entity-type":"item","numeric-id":2754193,"id":"Q2754193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$BF1FA6D3-B094-4A23-929A-D0F0D15B2B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df320826ebfec6482ffa848c070a7d2963212cb","datavalue":{"value":{"entity-type":"item","numeric-id":1346713,"id":"Q1346713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$86418D0F-F1D4-410F-8E93-494CE61B635B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90faebe8db911fffe6eda59539b7a7cf2d2759ac","datavalue":{"value":{"entity-type":"item","numeric-id":802881,"id":"Q802881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$B1627974-43AB-43DC-BB0D-4B82C4ADC443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c9ed988475b647ba61843e60fda3d5ec0e38681","datavalue":{"value":{"entity-type":"item","numeric-id":6044116,"id":"Q6044116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$8852255D-2F96-4818-9DD9-8B9DAC31524B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510120abfe498ffe6c16df32c33010f36c2fea3f","datavalue":{"value":{"entity-type":"item","numeric-id":1276244,"id":"Q1276244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$87435DD1-7A52-4191-9A2B-152F7A34138B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90eec147673342a728814a618b57b3a6770e5135","datavalue":{"value":{"entity-type":"item","numeric-id":2760249,"id":"Q2760249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$99AF83E4-CA5C-41B5-A2A1-9CA55FBDA269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ac01f885f16946379e22c76b0d0157b9a05990","datavalue":{"value":{"entity-type":"item","numeric-id":4889347,"id":"Q4889347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$015FD2EB-94F9-4D6C-A1DD-9A377C8B962D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$9A62A4B2-5656-4E4C-99FD-6F92B0B62DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43eb8624c92f35a4b76adf1330ab940976d5e25a","datavalue":{"value":{"entity-type":"item","numeric-id":1333279,"id":"Q1333279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$0EF723C9-E4BD-4C58-AECF-41760D4FF347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fad139b4b4c762cc4e72243fb685fb474ed5bf97","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$DB16E77D-754B-4E04-831B-88DFBB81FF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$815A8872-856B-4413-8EBA-A4A5E082AD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96426380bd996cc8b28000cdb426cd07b0b98a4b","datavalue":{"value":{"entity-type":"item","numeric-id":4251917,"id":"Q4251917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$1A362F83-797E-4D8E-AFCD-2CAB43517AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$40DB4146-8D1B-4E5F-9570-F0288884EF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09a4716e90af71d607f89f4b46161563fdea0f4d","datavalue":{"value":{"entity-type":"item","numeric-id":598200,"id":"Q598200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$FB550D17-5B7C-4E04-B0D4-4DE7731DB931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$29D0C74B-562B-4F3A-993D-D517D1EC92D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$507DE9D6-DA46-4EF7-A336-02599F29A67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfda771f1aab10af4a4e1adae085cea4f5facba9","datavalue":{"value":{"entity-type":"item","numeric-id":4470507,"id":"Q4470507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$0B2F587E-CE8C-4EEA-B4C9-3A79E45F36DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$9736F99B-783E-4424-B2D7-3F6BD4AB1649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc12f7e639228ee8e915c756a08eb8dda3ecdf92","datavalue":{"value":{"entity-type":"item","numeric-id":4791842,"id":"Q4791842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$47548E32-9817-41E5-BF8E-B733D84E4620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a0cdcfdba2cb7be20b3ff60a87448ba5f273bd","datavalue":{"value":{"entity-type":"item","numeric-id":4847024,"id":"Q4847024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2381506$4409CC8D-7FAC-4B5A-9066-B95F50C0A7DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3faed0566313c9ff17cee7b748b867c974aebd89","datavalue":{"value":"10.1016/J.IC.2007.05.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2381506$1CA6CD78-78A3-4253-BB48-0A343894CFE3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e47d2cc43735f5f70af8b6c34939bf5052301975","datavalue":{"value":{"entity-type":"item","numeric-id":802881,"id":"Q802881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f88191b33f8863b48b0db0839b425c0b7781586","datavalue":{"value":{"amount":"+0.8670994639396667","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":"Q2381506$3410B7B0-D776-4160-8D8A-1CCAACB04FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a112f3e739a09ad228bb96e733869497d7ae41c4","datavalue":{"value":{"entity-type":"item","numeric-id":2760249,"id":"Q2760249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89bcd484123bdf5f4f06a802a4a86fb34356f342","datavalue":{"value":{"amount":"+0.8576951026916504","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":"Q2381506$29CB9F34-11C8-4DE7-985B-49DBC58867BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76d75b9e3bfb42ee267891545c94fe9bdfd50b75","datavalue":{"value":{"entity-type":"item","numeric-id":6104364,"id":"Q6104364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41cbc9efd85a3e58d09ed27c65ea57dad807a707","datavalue":{"value":{"amount":"+0.8480358123779297","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":"Q2381506$CB88BD6B-283B-4C22-9987-B7FEA5610D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d0cf158565eacba7fb5c644be8fe26469304ad","datavalue":{"value":{"entity-type":"item","numeric-id":1276244,"id":"Q1276244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e07ba434661180a9cae817590d75230ddca32c","datavalue":{"value":{"amount":"+0.8370435833930969","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":"Q2381506$05F05A13-7111-4941-8488-FFE38E581FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86b421effa253a76bcc4d98d599395c38bcad6a8","datavalue":{"value":{"entity-type":"item","numeric-id":1816921,"id":"Q1816921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ff6c2b47bca24ac33d19aa26dacbab62fe1b691","datavalue":{"value":{"amount":"+0.8230199217796326","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":"Q2381506$64EF07BA-81CF-439C-AA98-6891550A6E12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Priority and abstraction in process algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Priority_and_abstraction_in_process_algebra"}}}}}