{"entities":{"Q4995152":{"pageid":7024729,"ns":120,"title":"Item:Q4995152","lastrevid":98258909,"modified":"2026-06-05T17:04:04Z","type":"item","id":"Q4995152","labels":{"en":{"language":"en","value":"Matching in the pi-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7362456"}},"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":"Q4995152$64DACD46-B1FA-4E2E-B7ED-08869621F493","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfe4f4eaa29d8468fe0519bee8387e91ac9a5e4b","datavalue":{"value":"1464.68257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995152$97DF250A-E6E2-416D-9C6E-0C52B2904DA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7b270069fe2a7a6870cf50938104f0718b45b2c","datavalue":{"value":{"entity-type":"item","numeric-id":2123057,"id":"Q2123057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995152$89F96060-22D7-440A-8556-C44C5120782E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2703e70210f9a743b2c5b2525dbc809f8649a2e","datavalue":{"value":{"entity-type":"item","numeric-id":4995151,"id":"Q4995151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995152$B57A7272-5638-4BF8-A512-3D8CFA1F712A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24db94f90cbaf6ef00e2909513980e367d10b4b9","datavalue":{"value":{"entity-type":"item","numeric-id":262425,"id":"Q262425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4995152$5632876E-93CA-4DA1-B69D-592569F088A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4b5964c0ca7f3b359de324eb5df9fa69569a066","datavalue":{"value":{"time":"+2021-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4995152$0EAF0F7C-F445-4D93-A4A5-B2D557617DDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"89de22c2b1c84d8a497b366d1424759187d45030","datavalue":{"value":"https://arxiv.org/abs/1408.1454","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995152$D3C2143E-48D5-4C7A-826E-A9AD884FB68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"3744bc5e043dc9831f04a8af7928b69873ebf8aa","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2014.3","type":"string"},"datatype":"url"},"type":"statement","id":"Q4995152$D3462453-6ACD-4499-B5D0-7C67DD4508DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995152$B9411538-37D0-4BCB-9521-5B3CB6ED9CDF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e4c5434a36d39d0863073dbdb156efefebfbbd8","datavalue":{"value":"7362456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4995152$E90FA015-49C8-4FFA-AFDF-405A761BF068","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":"Q4995152$1F75F4FD-4F96-47C6-B242-4EE7DF0F67D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c4122107415dcf282d8a8faaf1e5d5f93c1e24d","datavalue":{"value":{"entity-type":"item","numeric-id":2864374,"id":"Q2864374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78df98bdf5da962072162a48ce51da6a9829892a","datavalue":{"value":{"amount":"+0.8155636787414551","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":"Q4995152$C7222303-B90A-4F51-9F83-C8B890E0F078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d226abd36445da4601c0e59b5d1679677b2ffb4","datavalue":{"value":{"entity-type":"item","numeric-id":4457838,"id":"Q4457838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5655f545400df301f9e8fec5993f0336dc88668e","datavalue":{"value":{"amount":"+0.7772257328033447","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":"Q4995152$73C7B2E7-049D-4D13-8DD4-8470A55BDDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5d01692312ae28f43a7ffbca07472e5e5d4054e","datavalue":{"value":{"entity-type":"item","numeric-id":3067465,"id":"Q3067465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"510b72c0d61554688e35cd0b41245d5da31e6ba0","datavalue":{"value":{"amount":"+0.7523002028465271","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":"Q4995152$03A15353-23DF-486D-8A84-4E0B83E3F8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d406a7f1e8ed290248a08608149556f1b57bc6a","datavalue":{"value":{"entity-type":"item","numeric-id":1129260,"id":"Q1129260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afd3ccc886955785bf0f7aa1201bed70e0f4cd69","datavalue":{"value":{"amount":"+0.7490424513816833","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":"Q4995152$1F6745A5-9655-47C6-B1FF-FD5D378EF167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65ad8bdabe3edf0ea19ecc38af2296a088edfa89","datavalue":{"value":{"entity-type":"item","numeric-id":5045385,"id":"Q5045385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed29dddacd8fc7d17a62e75e7a135b0bc3652ce8","datavalue":{"value":{"amount":"+0.7480130195617676","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":"Q4995152$6605D4E6-EB35-4784-9509-3A1413D7FED0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Matching in the pi-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Matching_in_the_pi-calculus"}}}}}