{"entities":{"Q3559769":{"pageid":5589673,"ns":120,"title":"Item:Q3559769","lastrevid":50976476,"modified":"2026-01-16T01:20:36Z","type":"item","id":"Q3559769","labels":{"en":{"language":"en","value":"Extending higher-order unification to support proof irrelevance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5705582"}},"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":"Q3559769$89B55477-362F-4AED-BC69-86CFC9A112EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a9d8935eaa8755cb94dea33e297cf0d56d2567d","datavalue":{"value":{"text":"Extending Higher-Order Unification to Support Proof Irrelevance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3559769$AD33A803-C05B-4121-BCE3-5CD83AE92ACB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ec61c391a0b963cbd135600ca941198ae4f6e5e","datavalue":{"value":"1279.68294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559769$2CDC4710-2B1F-409A-9E1D-78490D4AA12A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8726c178ddf0191e45544db8d619a218c25164b2","datavalue":{"value":"10.1007/10930755_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559769$757597A6-5117-4DBA-BDC1-B79477509C07","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b17d510f5fc284b6b938631a4b44f14a486e6a3e","datavalue":{"value":{"entity-type":"item","numeric-id":2867953,"id":"Q2867953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559769$A2527526-BC6C-43B3-B79B-30C42DD53D5B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3559769$AF694854-055F-43AD-8713-5E16B0183679","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17e143d5b33c80948b67548d47c63ee6df7c9f0a","datavalue":{"value":{"time":"+2010-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3559769$F2835437-D76A-4995-9EAB-D53DD2087139","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559769$CB78F619-C520-41E2-A6E1-2A76B0E614E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559769$3BE5C05D-49B0-4CA0-9F24-C206870A871D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0824b337b819c223a119a5af4726be641f9a0002","datavalue":{"value":"5705582","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559769$776077D1-70B2-4C6E-AF3C-C15B30014EFD","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":"Q3559769$BBE49E8F-8D73-4362-8574-A944C0EF09D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28536cfc93178ca8434ffd9c2cd34df4be86f010","datavalue":{"value":"https://doi.org/10.1007/10930755_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3559769$F5EB48B2-F7D7-496E-BDDB-757758DB3819","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53a6da3bea8942c27a73796cd4f2129b00c2c03e","datavalue":{"value":"W1511371610","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3559769$AE21A71C-FB30-4CA4-9BCA-F41B3BCFD3C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0374978b71ce4f934a36d4ae8d192493815b5b6c","datavalue":{"value":{"entity-type":"item","numeric-id":3613437,"id":"Q3613437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e82ab9700b7a3dad06fd4427b3f3b4caf19f274","datavalue":{"value":{"amount":"+0.7075440287590027","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":"Q3559769$A848DFA7-0F46-4E65-939D-DDAC0892FBC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4128576115585c6eeba0ae32dedbf5d93cb852","datavalue":{"value":{"entity-type":"item","numeric-id":3535620,"id":"Q3535620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82dd5c8388b4eb5a7b149035d27ae5cedd406de1","datavalue":{"value":{"amount":"+0.7024409770965576","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":"Q3559769$96F8FB27-8365-41F4-B630-74100E7C2B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a77f92b0a8bdda0dc21719f1ec259c8b9ed6960","datavalue":{"value":{"entity-type":"item","numeric-id":2754030,"id":"Q2754030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efbf10656c7f55b8132dad822e001cc234377031","datavalue":{"value":{"amount":"+0.7012057900428772","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":"Q3559769$BE97116F-1053-4D44-9567-40CBAE924B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331655c4eafcb383ada6fdca52fe4bbbd459891c","datavalue":{"value":{"entity-type":"item","numeric-id":4405694,"id":"Q4405694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"598bc9a04159046b2feba871cf19052b23e987a1","datavalue":{"value":{"amount":"+0.699386477470398","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":"Q3559769$D68D4549-F5F9-4645-BAD8-BC943E95EFD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec1bc88c780d0b5c92400e3167000d28f157898","datavalue":{"value":{"entity-type":"item","numeric-id":3000599,"id":"Q3000599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"598bc9a04159046b2feba871cf19052b23e987a1","datavalue":{"value":{"amount":"+0.699386477470398","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":"Q3559769$FEB6A490-B6B9-43DF-A2D7-FD46FB03C9EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3559769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3559769"}}}}}