{"entities":{"Q4857386":{"pageid":6886966,"ns":120,"title":"Item:Q4857386","lastrevid":47371318,"modified":"2026-01-01T13:16:14Z","type":"item","id":"Q4857386","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 821282"}},"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":"Q4857386$938C8E57-1764-45D7-B804-8735468618BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1298755e5f94ca2f83271869bd6cd995b7467d1b","datavalue":{"value":"0876.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857386$15123D81-7ABF-40A3-9A5F-AD73A64305F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc3f5466e9c88a7c802540ef52e7255943d06ade","datavalue":{"value":{"time":"+1995-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4857386$DD4D6545-B613-4F0D-A1D5-954A5FE0F193","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c4f03e5a3e476e50f6dd858960461863a5fd9ea7","datavalue":{"value":"68-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857386$20DCFCF3-5A61-4D6B-9B60-D6A53A00A7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857386$3C927025-ABC5-4F2C-B65C-E16B512D738F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857386$5658FD1A-467B-40B8-9620-4585296ED7E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857386$3DC7BAAD-2BD4-442A-AA89-6B75BD61B162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857386$44A3EE81-96F1-460F-AAEE-68840763D1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857386$8E3A6F54-E58B-452C-ABD0-045B96247494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857386$94ED65F4-7CF9-4EE9-A0F5-B2093FB52334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857386$C7270449-49F5-479F-AA95-35D531B30854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8ee19fabfda925f5a843f98ef3568b8466bdd8f0","datavalue":{"value":"06B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857386$E97A3A28-3FC5-4309-B7E4-A23A6CD1232C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857386$4F2E232A-A07E-4F8D-8EB4-B85B0D196C86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eefe3599ccb36734c287fb4bdd2a2778bef72918","datavalue":{"value":"821282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4857386$DB723B17-61D5-4440-A448-6867C8451C12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3440fcc5fe2144885df1e5d08f619a5504691daf","datavalue":{"value":"Handbook","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$C9632DB2-D0A5-4E61-9AD1-BD0E955885F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b0b5141fabeddc97c73e1199966ea592c7fb5d4","datavalue":{"value":"Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$EFF9DE2F-D636-407D-A525-8C130C9FA5EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa78ad5518ca246bcf12a7a95d0f4aea27c592e5","datavalue":{"value":"Computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$9BF37108-73F8-472F-AA13-D9FD96FC7FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b4cc2f5f672b493ba3a79e6dee2809046581768","datavalue":{"value":"synchronization languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$F496940A-4B91-4023-A7FB-C606C7583F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3749e8499b8f4081b5f43e02c1da7353c3b92a07","datavalue":{"value":"algebra of communicating processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$F089C811-EC09-40E6-B215-B98255FA3602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$9F44220E-C478-4612-BDC7-811AC433396E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea686fd75d01d0dfdf5c0e60a1bfc58d42aa067d","datavalue":{"value":"complete partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$D70935F7-C864-45CB-925D-0810F71B6B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ed02b5846e954cc1cd1e15b24fb496cecb70a89","datavalue":{"value":"programming language for computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$559DF316-C66F-4F00-B77C-64CD14C478EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25624105929257f2bf707d801d3a3afc2b84d8b3","datavalue":{"value":"effective algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$F42B7958-56A3-4794-A5C8-2FC1C365FB01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$87AA581D-A78C-4017-8A5D-0B64BB272621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$B5F34DA5-97CB-4987-A1C4-1DE568D4371E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$5A81C650-C899-42FF-A862-4E250AE70CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8778c1b27a823e27890fef077ae9c48d377f0562","datavalue":{"value":"synchronization trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$EA97E13D-7AD5-429D-A680-ACBCF3E131BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$7CC9BD3C-8D0C-443E-8033-4EFD3A39F051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$00610CFE-FA70-4570-A4BA-E7169232B3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"482e589c7d28cfd2f3aaa9f02fc3730d1f55af4f","datavalue":{"value":"concrete process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$DC8FB2D5-F39A-410D-A4DD-FF6EA028D3D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f5c3506f269ac2fc9e4afe3abfbe0c7f5ae9ab9","datavalue":{"value":"concrete concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$C8712B2E-AEC5-4069-B6FE-9F877E2AE09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1398ea8a0cb853d68943b1885374634691ea3dd0","datavalue":{"value":"full abstraction problem for PCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$038767D8-A12A-4FB5-BA45-DEAA0D693710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$8BD94E88-143F-43F3-BD38-D25DEE605B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$3BD52737-DA28-4F41-A472-8E2F30E61659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b09edfff5049291d835bad38b535290813e75f1c","datavalue":{"value":"implementability of algebras of data","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$5CAAE5BB-3363-49B5-BE66-472DF12B9898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccbe83c8e0bdf56e0af52ea58571ffad8c43826c","datavalue":{"value":"computable algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$AA64D9DE-4F61-4F37-B0BD-2E0715C95267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5fe63fd5c1cb0746168ad0d82be6e9f985ec611","datavalue":{"value":"topological algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$A774647B-88DC-44B5-98F9-27F15FCB4E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"429d54a25c33aa63019beba453afc89a8859dec9","datavalue":{"value":"effective domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$D50FA005-1772-40AF-95BB-84C8081483A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2923471bf073e7ec928059861e2f3f3d95c244","datavalue":{"value":"effective approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$CF748F2D-0E2B-4493-AFBF-6C41BF69AACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0939e88686209711ebec08d0a7c1bb85c0c05d4","datavalue":{"value":"Scott domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$6603E87B-E1A9-4827-BB8F-5ACEC29C3994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"90340e0d972cd54990c73c796b55f13d911ca263","datavalue":{"value":"data-flow languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$DDB187CE-2ABF-4015-9D80-BF94C34D5994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$8C7DE666-304C-4B46-80D6-F6293B834089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$DF5369C8-7AC2-4863-890D-EA9C3BDE3583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4857386$E8C4844F-345E-4BF2-BDFB-1F8E32224B49","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":"Q4857386$20F6B2D0-5E78-484D-9024-9189C2E3D1F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7126a524e1718191ebc0db63dc1d819e90f83c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4843177,"id":"Q4843177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445d113ce4fd66a345eadcb0e239af1445da4303","datavalue":{"value":{"amount":"+0.8027284145355225","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":"Q4857386$C146F11E-2343-41DA-9236-A10535311F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c82c5d6670e807d8fcba3b9a87fb96ca8bae6f4f","datavalue":{"value":{"entity-type":"item","numeric-id":1188840,"id":"Q1188840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445d113ce4fd66a345eadcb0e239af1445da4303","datavalue":{"value":{"amount":"+0.8027284145355225","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":"Q4857386$DA0F4E15-6798-4D3A-B2E3-BCBEF99F26CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14a7a009faf1f1eb709c1d2271b2a7093c5c588e","datavalue":{"value":{"entity-type":"item","numeric-id":1188804,"id":"Q1188804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee75486bb51b3b306f8ab4c67fd8cea8133021a7","datavalue":{"value":{"amount":"+0.7914438843727112","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":"Q4857386$BC456EA4-3FC9-41FE-81C0-B3D3940D618B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e669841ea759d0f3913fb9339407e56b6604eb8b","datavalue":{"value":{"entity-type":"item","numeric-id":3999156,"id":"Q3999156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876186e557b1db3603a17d63a2ab9da5f0a75df2","datavalue":{"value":{"amount":"+0.7907896041870117","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":"Q4857386$DC181C8E-A007-4B46-BE23-F90B5C20A18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d69905c3ebc8026b048ae24500122267cd00064a","datavalue":{"value":{"entity-type":"item","numeric-id":4040912,"id":"Q4040912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b4e8e8e6289891cedac7542cdbfaab5af0d5200","datavalue":{"value":{"amount":"+0.788124680519104","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":"Q4857386$6C6A75B7-D01A-4E8C-A4BC-BA09B9013152","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4857386","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4857386"}}}}}