{"entities":{"Q5325767":{"pageid":7355341,"ns":120,"title":"Item:Q5325767","lastrevid":50725073,"modified":"2026-01-14T22:56:25Z","type":"item","id":"Q5325767","labels":{"en":{"language":"en","value":"Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5586280"}},"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":"Q5325767$AC554610-DC53-4DD7-9B82-BCACBF32E869","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e02e211964c58606c29964220a7375461ccb27d8","datavalue":{"value":{"text":"Types for Secure Pattern Matching with Local Knowledge in Universal Concurrent Constraint Programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5325767$27B14688-497F-4300-BCDD-E383F0B2C85B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a7c793228b9b720ed120a6a73a256b97deec53d","datavalue":{"value":"1251.68156","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325767$7DE1A584-564A-4A1C-ACF7-BEEC585B61C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa26e382353b10a29701fc269529921288f47fde","datavalue":{"value":"10.1007/978-3-642-02846-5_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325767$41EB5E0F-0C63-4EDD-9B39-0FAD507D2ED8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a12492b2251a345ff5ef7827ee7311bd60cc42b0","datavalue":{"value":{"entity-type":"item","numeric-id":2120810,"id":"Q2120810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325767$2193B77E-7DA2-4F9C-B33B-5F7E308DBDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82cbfc9d91e0bb47d8fe7c28262db6999b261d95","datavalue":{"value":{"entity-type":"item","numeric-id":2423751,"id":"Q2423751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325767$6473F28A-745E-482F-B140-40D64280966D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2c84f47c65e4d1c693c9c2179cfb504e9fb62486","datavalue":{"value":{"entity-type":"item","numeric-id":3608641,"id":"Q3608641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325767$920A2DA5-17C9-4755-9383-DB00586B8F81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"209778d88e026ced2a70bb47574dddab785b4835","datavalue":{"value":{"time":"+2009-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5325767$E90F7523-C714-4C52-9798-C90CBE4F8CCE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325767$B5F22960-F9AA-4925-B61D-D8B828C91E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325767$AA7661BD-C05F-4B7E-B741-4A653610FD73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325767$FAAFD62F-7949-4AE1-A9D9-8D674DF1707D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ead46f72c377b6589a5eafc8f158b3921e1fab0","datavalue":{"value":"5586280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325767$A75B9A70-53C6-4263-B32B-19E455A1D5E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d065d0bb21e03ad0fae41e182b54467e1268adf","datavalue":{"value":"concurrent constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325767$87C6CECE-F2EB-4A2C-A5AB-67B8013D8AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325767$39FAEE90-CE6F-49D2-AA18-3DF6B851CA53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eaba8710741c3625f74acb34aa4edd5eb82e000b","datavalue":{"value":"type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325767$C451E66C-EEF9-4431-81A0-CB13657C9AD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"941cf2149e8d408a2759797bfa7a752aa8823307","datavalue":{"value":"mobility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325767$9D5DDA45-46A3-4630-82CA-0BED15323350","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c612e97d0bbc5f0fc0c1fc6c648d85c6d9bbe2","datavalue":{"value":"security","type":"string"},"datatype":"string"},"type":"statement","id":"Q5325767$817E97FD-E45D-4C48-B2C8-023DFE783F58","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":"Q5325767$38345EC4-CFF5-4AB3-9971-B84AF10C7CCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b3aa7eccd18020b77c2d280e20e1a85eca1c211","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02846-5_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q5325767$CBAA8250-A29E-4673-8126-7DAD751D203B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"633efba11308f0b1df45bf64466842f30c74f27f","datavalue":{"value":"W1491395861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5325767$4D906096-9345-435C-B4FA-C2E6EAF83B92","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4659e4b65a5166be2e30470c613179619fe95b23","datavalue":{"value":{"entity-type":"item","numeric-id":5178877,"id":"Q5178877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325767$B2F7BF17-0D5A-498C-B042-8D09E2CA36B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d60ab50b8d1d4756f8ebae8cf9fd6ef9acae13a1","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325767$7CA035AC-F7E5-48B3-A6A1-0402B9B37954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17611ad257b61ab782adab4b003d5c18136092d4","datavalue":{"value":{"entity-type":"item","numeric-id":4411969,"id":"Q4411969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325767$8A88F32C-04B4-426A-B0D0-5337935036FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325767$B494E6AD-2ADA-4FEE-B159-AA163048E71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9bc8d8315416892a3686907acbad4ebfdd25070","datavalue":{"value":{"entity-type":"item","numeric-id":5449632,"id":"Q5449632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325767$1712B76B-44AA-4930-969D-25CCA1C72ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"606fd070630bb1cb73b0655837c2616dd769a509","datavalue":{"value":{"entity-type":"item","numeric-id":672251,"id":"Q672251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325767$7031A1F9-D954-450B-9797-96C992A32543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ba2d41d1ee3d98eeff69828aca7d800dde8008","datavalue":{"value":{"entity-type":"item","numeric-id":4924525,"id":"Q4924525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325767$E06A5E07-D15D-4095-8F4E-DE399A74F013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325767$B2C976B3-18DD-4823-B1DB-3A1AC5DCA483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d1abad224529fcdb3376cabbb7ca9b597a70ea","datavalue":{"value":{"entity-type":"item","numeric-id":4312468,"id":"Q4312468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5325767$D7A4E621-6126-4EC1-8CBB-B04C9FED12D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a57e7aa6741188ed61a90978b618a6034e199bb","datavalue":{"value":{"entity-type":"item","numeric-id":5259265,"id":"Q5259265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aaf2d401eeee29b5130ee8b647cba77e1894df8","datavalue":{"value":{"amount":"+0.7544043660163879","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":"Q5325767$B67E2BCF-7211-4D8E-A87D-48EF01B96C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f530ac822517fa2e0ffd85a91e938104ead061d","datavalue":{"value":{"entity-type":"item","numeric-id":281160,"id":"Q281160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac7797e81d38cdbd9479d9e02c4cb7a727092d73","datavalue":{"value":{"amount":"+0.7483425140380859","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":"Q5325767$A86EE4D3-457A-4B13-BB1C-B56AF7961567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2082bc442d6b12bf7516f2fcbc5b33036361fbe7","datavalue":{"value":{"entity-type":"item","numeric-id":4592982,"id":"Q4592982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac021011b4520a16c852f72947f52662650e926b","datavalue":{"value":{"amount":"+0.7329014539718628","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":"Q5325767$E0069C19-D26D-4AE4-B9C2-FB1BE4B5296B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdc43cfb0045fe54a9dbb63721a23bf9fa17f76","datavalue":{"value":{"entity-type":"item","numeric-id":5712290,"id":"Q5712290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f45387fc29b789bbd51d54e2e49d996d3b7887eb","datavalue":{"value":{"amount":"+0.7137876152992249","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":"Q5325767$51F8AA1B-CC80-47F2-9620-1542450AD93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03feab56db53e24b24f90bbc98c6145c4347c40f","datavalue":{"value":{"entity-type":"item","numeric-id":2500522,"id":"Q2500522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fada50f553f03e01bc56698f740bdb872261cb4f","datavalue":{"value":{"amount":"+0.7095224857330322","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":"Q5325767$89932FAE-926A-4215-A940-76112CBCE2C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5325767","badges":[]}}}}}