{"entities":{"Q5958778":{"pageid":8135580,"ns":120,"title":"Item:Q5958778","lastrevid":47755951,"modified":"2026-01-02T14:57:06Z","type":"item","id":"Q5958778","labels":{"en":{"language":"en","value":"Recursive equations in higher-order process calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715823"}},"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":"Q5958778$897D6B95-8149-4FC9-9841-BCE3F44D616A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afceb22ab9b8a70fd80a35fefb3b06ef6f467b2c","datavalue":{"value":{"text":"Recursive equations in higher-order process calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958778$BD99E0DE-8A6C-4969-B776-0279A61F0919","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83339d239f7822d84a1ada485d665c8dfaa99b23","datavalue":{"value":"0992.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958778$CBFFDBAE-3753-443D-88A0-A6A219766384","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"405e0fb44c14fc0362cd6e6bb8583e1642ed75a3","datavalue":{"value":"10.1016/S0304-3975(00)00378-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958778$C620F11D-91FC-4F5A-8738-0815BACB5E24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48e3f86aff53251e8d360c8097a6d94f9c5044b1","datavalue":{"value":{"entity-type":"item","numeric-id":188299,"id":"Q188299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958778$BDF932FD-7B74-459C-AF00-1FE911D0E1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a63343326dc3782dfaf32190a15d54584cc577d5","datavalue":{"value":{"entity-type":"item","numeric-id":541294,"id":"Q541294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958778$1254BB9C-5B12-40C9-BCF6-1DEB77B79782","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958778$6256139F-FB2E-41EC-BCD1-420F252AA337","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958778$45463402-7BBF-474C-8D5D-79F22A7884DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958778$07452BD1-DE17-4A31-8577-BCB6F50C9351","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9339bd24e806fbf794db73249a4685bc55f71cd4","datavalue":{"value":"1715823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958778$C64CAFDC-AA9E-49E7-937C-951E6C618C02","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":"Q5958778$9A3A7341-F7E4-4838-BC8C-702DF82EC9E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01bb998e3eedfd5bc48772810588c75ec6838ed","datavalue":{"value":{"entity-type":"item","numeric-id":672042,"id":"Q672042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958778$558053B8-E855-4F65-92C1-C9D76AA8D865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7efb136d917ff3e8401a8348f545536d78290273","datavalue":{"value":{"entity-type":"item","numeric-id":1327390,"id":"Q1327390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958778$5582A88D-5F45-42F1-BD2F-1F859FE41DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc567155f030145ec4945c4336240b545e36a1a","datavalue":{"value":{"entity-type":"item","numeric-id":4632434,"id":"Q4632434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958778$1406B810-DA42-4572-A9C7-9EAF781B6FBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958778$0ABC543A-5BD2-45AD-B8E2-6FA37F748816","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":"Q5958778$401663BA-82E2-422D-B843-A01348C812F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958778$30A424EB-1ED0-4A32-BB8B-FDF83612681D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958778$5DEE930F-23A2-45D9-9B64-DA4D51BD8492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5382313fb3f5d333e9729621f69130c9633fcb2","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958778$ED5E3CD8-99B2-401D-ADF1-9A62324CF6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8132367abd0e20dc3ad2adfc421b48b77e0e5aef","datavalue":{"value":{"entity-type":"item","numeric-id":1323361,"id":"Q1323361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958778$93FD76A1-A5A9-4BA9-AED7-A6AB5AE1152F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e84a34f7ed2a4c6a1f340d4b5ffdb2124876a3c1","datavalue":{"value":{"entity-type":"item","numeric-id":1346714,"id":"Q1346714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958778$6251A5FC-6A85-4050-BF97-78DD440E4895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48cf1200d3f971ac6e1ca2d959389912a3d21fc6","datavalue":{"value":{"entity-type":"item","numeric-id":5940933,"id":"Q5940933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958778$735C2C15-7C3D-4EFA-8E13-62C5390414C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b96dc17d7202ab11ced7c513880be8380bb198fb","datavalue":{"value":{"entity-type":"item","numeric-id":1285667,"id":"Q1285667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958778$0ABD4713-BAF5-40F9-9176-500007DABA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6ab1a19779388585ffbb2851a4a5b7199c972c8","datavalue":{"value":{"entity-type":"item","numeric-id":1575263,"id":"Q1575263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958778$6B4C4249-3723-4AAC-BDF0-85995733F7E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3d23f37d80a9091c4f6476957f3947427e2a8ef","datavalue":{"value":{"entity-type":"item","numeric-id":2286742,"id":"Q2286742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b876fae375ee27c63ef2abf38b474365c60f5f5e","datavalue":{"value":{"amount":"+0.8266280293464661","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":"Q5958778$B1DFED6F-2CA7-4F1F-9E5F-7CB5CB22718C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f973a3cf740520663fbae48533770d730c008cf","datavalue":{"value":{"entity-type":"item","numeric-id":675066,"id":"Q675066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838030718ff1c3aeb57b441a400eae15392b2f08","datavalue":{"value":{"amount":"+0.8076135516166687","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":"Q5958778$EA0933E2-903B-434C-8F97-12B4FB61F0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6a1c2a751740c88e85fde805ddb9c3de42c4e4","datavalue":{"value":{"entity-type":"item","numeric-id":627133,"id":"Q627133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838030718ff1c3aeb57b441a400eae15392b2f08","datavalue":{"value":{"amount":"+0.8076135516166687","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":"Q5958778$6E3D58F9-3CC6-4BC1-B783-2148CB667D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea0d8300f32501b0a513ee023b419d344e90e2d","datavalue":{"value":{"entity-type":"item","numeric-id":276479,"id":"Q276479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff183693ca0d400df9af99ff54af9242262d2ecf","datavalue":{"value":{"amount":"+0.7892026901245117","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":"Q5958778$FDA10268-5EFF-4C32-9296-4B98085ED9F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69a5ab6201c2d1527083e16329d1141f016685f6","datavalue":{"value":{"entity-type":"item","numeric-id":5310635,"id":"Q5310635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f1efd179e4b6dbf78150f8f003957e8a5fb516","datavalue":{"value":{"amount":"+0.7857538461685181","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":"Q5958778$9C178176-C7A9-45B4-A733-36E3022B0CBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5958778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5958778"}}}}}