{"entities":{"Q5458809":{"pageid":7488368,"ns":120,"title":"Item:Q5458809","lastrevid":50342459,"modified":"2026-01-13T20:51:59Z","type":"item","id":"Q5458809","labels":{"en":{"language":"en","value":"Equivalence Checking for a Finite Higher Order \u03c0-Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5267197"}},"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":"Q5458809$75C7E02D-959E-40DF-9375-8E27634F2C55","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dafb4527c688fffea9e76ef8a31eca52991ff102","datavalue":{"value":{"text":"Equivalence Checking for a Finite Higher Order \u03c0-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5458809$D53F924D-5285-46B5-828F-E453C891C4FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"672c8043eb5d84ed062178e44dd1ad53b06c3b9d","datavalue":{"value":"1138.68439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458809$04A6A537-B759-4ADD-8FEB-E0EBD80B83E8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22aac127d7c599f5cee67b43da0d054589f2a548","datavalue":{"value":"10.1007/978-3-540-79124-9_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458809$9D0C991B-B216-452B-9AD4-238EBD6DEF3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10dcca5b30d83a2b73153a1fe8ee4cf4295d3114","datavalue":{"value":{"entity-type":"item","numeric-id":442288,"id":"Q442288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458809$ED6782BF-3470-4DB3-9F5D-61EF353FBB36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458809$7DA4E953-A49E-4507-B19D-6ED2821F7282","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1394cf050ec7558b15d2b20d30583ebe6e633ce","datavalue":{"value":{"time":"+2008-04-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":"Q5458809$A15EBA46-485D-4B90-9995-94AEA6F44DF3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458809$9E425D7C-5989-4FC5-BAA4-A7B07343C1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458809$B24CBFD3-9331-4EFF-8BDE-6779E22CD974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458809$F77E4E1B-4327-4FC4-B497-2589C820E321","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9afb548a2589942536894727cd086d4b5134cae8","datavalue":{"value":"5267197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458809$44190D75-65D7-4202-B098-D1990731AB24","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":"Q5458809$05960F52-D14D-4CBB-8B18-8CAACF1E101B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"93d36d8f383d1125b1340ef43bce881c906c1399","datavalue":{"value":"https://doi.org/10.1007/978-3-540-79124-9_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5458809$338BF447-551E-482C-86B3-C27A7D8FF48D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7f0483e4fd55ae795c055fd5a4418360ab9d71cb","datavalue":{"value":"W1509030580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5458809$56047503-5D37-4FBD-B94E-1901B147C325","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458809$B1342D3F-C225-4E34-84EF-B0CEDA4F9CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14ae6b91536743b933c1ba4609c1171229026f9","datavalue":{"value":{"entity-type":"item","numeric-id":1815341,"id":"Q1815341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458809$D5C4BA07-057C-4561-BF83-B86A80CBD357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4db463b72293699aa12f14595958b9718ab07d50","datavalue":{"value":{"entity-type":"item","numeric-id":276479,"id":"Q276479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458809$277AC4F6-A44C-4AFE-8764-EA9B19C116D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf86784e12409e0496307becee9f2e0cd19296d0","datavalue":{"value":{"entity-type":"item","numeric-id":1317428,"id":"Q1317428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458809$DE81E6B6-A2E0-4FB0-B107-B0CE49E55AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f4ba5468c159a2abb24066cee50144962c2069","datavalue":{"value":{"entity-type":"item","numeric-id":4219048,"id":"Q4219048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458809$26BB0066-F451-41C1-BD0D-2FF7B42749F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d21f0015ba47b85d962f6f917701c3f715bba9","datavalue":{"value":{"entity-type":"item","numeric-id":4219039,"id":"Q4219039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458809$6D913740-C97C-4810-8829-8FD1ACEA584D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea964153fc3f582f584071addb5e8696f3d1c6b3","datavalue":{"value":{"entity-type":"item","numeric-id":1966507,"id":"Q1966507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458809$E6697597-9EE8-4632-94A6-E7537FB66E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82f37781aa914c1d87d854c93e84c935e8c635ef","datavalue":{"value":{"entity-type":"item","numeric-id":1400579,"id":"Q1400579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458809$0545041E-1DF2-46C4-BE68-1C464AD6A875","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":"Q5458809$355A6CD1-0415-4C84-B183-2305E35D1159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5ec2a5764ba96462a08e4206585f5a8706c508","datavalue":{"value":{"entity-type":"item","numeric-id":2746874,"id":"Q2746874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458809$4B09E1FE-29A2-4D2F-A28C-95068035350D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30eebd202e1d23be9819f5cc5a73c6f27b7e94c","datavalue":{"value":{"entity-type":"item","numeric-id":1898459,"id":"Q1898459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5458809$2C11CD27-3FF6-44F7-9A96-FBB0AA9016B2","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":"Q5458809$9F29ACA7-9740-4DB7-8CE9-0F8967714FDD","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":"Q5458809$634DC878-4747-441B-9617-B5821BFFA93D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614872894ff3feaa35db7566d946b74376376a07","datavalue":{"value":{"entity-type":"item","numeric-id":5899080,"id":"Q5899080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f979815c4ee097a061bf5638fd0a7918f9f6ce6","datavalue":{"value":{"amount":"+0.8399249911308289","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":"Q5458809$887D8BA6-89C7-4456-AA2E-30DAF48E4DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb89accc791434a16b308b1bd728dd09f8527ef6","datavalue":{"value":{"entity-type":"item","numeric-id":442289,"id":"Q442289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9713f68436a2192b29d0dd2f7e74a27328fd4486","datavalue":{"value":{"amount":"+0.8372278213500977","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":"Q5458809$7DC19FE0-5DB1-45D1-A181-1C5292ECB53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636c2d0bcd301d2ec5b9a8631f68ce4b21058f58","datavalue":{"value":{"entity-type":"item","numeric-id":3651244,"id":"Q3651244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9802fb397ff88b03c78ba5e1fb0e8f2982e75c11","datavalue":{"value":{"amount":"+0.8333064317703247","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":"Q5458809$D1BCC44F-8F8E-4F30-8F71-E34ED9A00204","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":"6c69d098423cf355625b428d02b67fe6315f8b24","datavalue":{"value":{"amount":"+0.820379912853241","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":"Q5458809$D99912EA-C578-4C29-96FA-BE07E93ECBC3","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":"23863e7683fefa634e5c7255ab52562654c5d801","datavalue":{"value":{"amount":"+0.8148362040519714","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":"Q5458809$6ED28CE0-9334-4928-9B22-6BEE3B255F95","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5458809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5458809"}}}}}