{"entities":{"Q2500522":{"pageid":2511265,"ns":120,"title":"Item:Q2500522","lastrevid":49897714,"modified":"2026-01-11T19:54:58Z","type":"item","id":"Q2500522","labels":{"en":{"language":"en","value":"Pattern-matching spi-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5047505"}},"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":"Q2500522$0A2C05B7-7C46-498A-A4D4-94521660C141","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3cf9cde20f9595a6a5018a8a19b3bc06431f107e","datavalue":{"value":{"text":"Pattern-matching spi-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2500522$FCE4D22B-24C3-41A1-8194-7FCE17B27D07","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ada8f0f2ea3f9e53b5de290342107492f8c43ef","datavalue":{"value":"1110.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500522$D695032C-6E7D-485F-A6DA-7E77459D1551","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a7225056087b5a376fd5b50ef580557b21fb0a4","datavalue":{"value":{"entity-type":"item","numeric-id":1887737,"id":"Q1887737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$F2ACF68F-ED57-49C3-9407-D21ED1B0F953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c07df3e9710693ca2029d56f2786e60cd031e8","datavalue":{"value":{"entity-type":"item","numeric-id":276477,"id":"Q276477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$B513E50C-9D45-4904-BE31-8679E473AA32","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":"Q2500522$85249221-599A-4231-87A7-F538AE766C73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"843bd17abb8f5e9fd7f0b14de142c4a143fb1c46","datavalue":{"value":{"time":"+2006-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2500522$EFC60BA9-7E37-4265-907E-38ABB72E13C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58bd804a9b32ab16fea71636cf187b83a20de8f7","datavalue":{"value":"68P25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500522$24DC1614-D8F9-4E15-9BDF-E10067BB3A78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ed536bef3801cc4a0ddbde83c3c561d3934d882d","datavalue":{"value":"5047505","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500522$C1422A60-ECA2-410B-B226-802690F1BC71","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c5be43f59b23822927adea1d3ffb50f3bc628ec","datavalue":{"value":{"entity-type":"item","numeric-id":14788,"id":"Q14788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$6CB99AA8-88CB-4149-8CE5-71069600CFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15db61fa432026488c4ff63cfec65b45cbb00638","datavalue":{"value":{"entity-type":"item","numeric-id":18651,"id":"Q18651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$924AD9AB-309C-4ADE-9429-E4C3BDE14852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6439f576bec612da723d6d7b0875e7a344a5f3e0","datavalue":{"value":{"entity-type":"item","numeric-id":24758,"id":"Q24758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$7F6E4E49-3B64-4721-830B-795900E6C18B","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":"Q2500522$1CE8A118-AE2C-4620-8418-6DBE108340EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9417b1f362dd99cfc8b6067c828d5649d514a086","datavalue":{"value":"https://doi.org/10.1016/j.ic.2006.04.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q2500522$F6715533-9D1E-48C4-A8EC-03E1E944C104","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ec93ade34392c564c52c0325cbd0150070ba7cd","datavalue":{"value":"W2118042780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500522$C70B81B5-4266-4BB3-A650-1C64B99A8363","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85120675be4dafaaf247bdedf9c9b3c4696f0c9","datavalue":{"value":{"entity-type":"item","numeric-id":3158557,"id":"Q3158557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$2DE8FF66-973B-4820-AC53-E82F2867B369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2c85674b32ecf9d0fe1b123e47c0c1df694d121","datavalue":{"value":{"entity-type":"item","numeric-id":2752046,"id":"Q2752046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$A41C6B9C-685D-4738-ABE3-7C56EEDB5CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a59eba1e3f91a5489ebd01844184f7fc7ea9d1c9","datavalue":{"value":{"entity-type":"item","numeric-id":2769422,"id":"Q2769422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$87D6924E-1E37-4E4A-8E5D-8283358F8F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f72ed4d5dfee06c68091f6aa72dded66f76bccb","datavalue":{"value":{"entity-type":"item","numeric-id":5178896,"id":"Q5178896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$A4EDC8DB-7163-45A5-BD6E-B2B086C36C76","rank":"normal"},{"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":"Q2500522$A7EE584A-C13E-46DC-AF39-C10EA4206193","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":"Q2500522$D5018570-BEA1-4398-A753-B25E981283AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88841c928c327a6860d292686b79d9d48a1bdc75","datavalue":{"value":{"entity-type":"item","numeric-id":4484507,"id":"Q4484507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$88B6402F-13B6-4033-8C61-15004489CE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea5c7bfcd7d33e8177170c842fe7d83d5fbf89c","datavalue":{"value":{"entity-type":"item","numeric-id":4206382,"id":"Q4206382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$17FBA087-87D6-4D51-A2D1-9F4814139E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8a3ac4639dd4b337d27b26782bc37c2b08b219","datavalue":{"value":{"entity-type":"item","numeric-id":4530846,"id":"Q4530846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$07DE7CA7-7ECF-4728-9CE9-5CB8A68E6E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$2ACC6321-089B-4BD5-A566-A5AFE2ED7341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1e5c387495101cc179a37c17843dfd91b94145","datavalue":{"value":{"entity-type":"item","numeric-id":2754128,"id":"Q2754128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$2C3AD065-A9C1-4A27-8AF2-F79FFCC972CE","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":"Q2500522$15616C90-1D5D-4994-B633-FB87E9D779F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a09b43ab717e0d119a28b84937155a570091bc3","datavalue":{"value":{"entity-type":"item","numeric-id":3427354,"id":"Q3427354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$0DFB34CD-FC6D-4359-AA55-5E722BF8DEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733b41d5454127ff81028469a688aa558bbeb5b7","datavalue":{"value":{"entity-type":"item","numeric-id":4418581,"id":"Q4418581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$C2AFB91C-DEC6-4122-B994-E10D505B8CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8812faaebacc9ba9f42dc54bdb155ab8c6eb388e","datavalue":{"value":{"entity-type":"item","numeric-id":5897483,"id":"Q5897483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$CD34ADFF-7C57-4004-A3F7-9F08A205E23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"050040e4d94eb7c60ca1d0833ea2ad314874430d","datavalue":{"value":{"entity-type":"item","numeric-id":5897484,"id":"Q5897484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$9961F30A-2F64-435F-A595-3008AE01AE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ac4f7355ee341e97b439f1c076f45e740c5fc5a","datavalue":{"value":{"entity-type":"item","numeric-id":1853583,"id":"Q1853583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2500522$9ABE114B-A4C8-42A2-9B91-EA24141133BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7121c0c1c5e8300dd36dc8844b0a48737882deb","datavalue":{"value":"10.1016/J.IC.2006.04.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2500522$6B27F90C-FF89-46FF-94AD-6F2E79580559","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d15a71dbf6a694be380b6f7859e3bc8291e199e","datavalue":{"value":{"entity-type":"item","numeric-id":1283776,"id":"Q1283776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e423d5738b4d9f46ac9bacc6a179260e12bfb10","datavalue":{"value":{"amount":"+0.8022291660308838","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":"Q2500522$8EDCB063-5975-48AE-BBCA-11FBF70DA84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97daad70c3e93b2303c7c0b5f9b7473a443eb4a","datavalue":{"value":{"entity-type":"item","numeric-id":4778711,"id":"Q4778711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ec93791af027dbaa41720077f6f60048d289d8","datavalue":{"value":{"amount":"+0.789137065410614","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":"Q2500522$03ADE4C3-56C3-4526-8C06-5B059EBCF703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141f4c317f3b11bda07211ace3e7f96eba56978a","datavalue":{"value":{"entity-type":"item","numeric-id":2996142,"id":"Q2996142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ec93791af027dbaa41720077f6f60048d289d8","datavalue":{"value":{"amount":"+0.789137065410614","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":"Q2500522$DB7A7C4F-164B-4158-A495-EE0A53AA565C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19ebbaf52060a9a1cbe1a50119acfcb47dcc52ab","datavalue":{"value":{"entity-type":"item","numeric-id":5311472,"id":"Q5311472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d5948287f629e4c5efd24f95ee4e21b81b83181","datavalue":{"value":{"amount":"+0.7868024706840515","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":"Q2500522$8562F7ED-590C-4205-8D7E-ACFB85E5F7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a0cbced68e823237274204c41c816e1fe73eff6","datavalue":{"value":{"entity-type":"item","numeric-id":1603653,"id":"Q1603653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3445b0c17685073226c6e3f4c4a27830b6695454","datavalue":{"value":{"amount":"+0.7756841778755188","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":"Q2500522$5E315CB2-0DB1-4A98-8166-566007F07EBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2500522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2500522"}}}}}