{"entities":{"Q661282":{"pageid":663131,"ns":120,"title":"Item:Q661282","lastrevid":51416132,"modified":"2026-01-18T03:45:55Z","type":"item","id":"Q661282","labels":{"en":{"language":"en","value":"Proof-relevance of families of setoids and identity in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6005013"}},"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":"Q661282$38673311-65C8-428B-8C01-139BDF7C3BA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28ef5f8086c36f07e3dc66af08273532d01300e4","datavalue":{"value":{"text":"Proof-relevance of families of setoids and identity in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q661282$85A339EE-B263-49EC-BD47-FBB39DAE4188","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ef41990bf950cebdb9914d2655dc839501d4f3a","datavalue":{"value":"1241.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661282$A2AA6704-46FB-49F2-9005-55E37913CA10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661282$78924180-C887-4CD1-AAA0-18FB36D2E179","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661282$EB602030-0028-47C3-BDD7-FE51021BD157","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c52ba3eabb1b5dda8b2f889cd58a7e4939f1d164","datavalue":{"value":{"time":"+2012-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q661282$9C3FDF65-99EF-4A38-B1A8-7D3455B30C6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661282$71515C19-7FC6-48C2-BD3C-503D54F63AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8e11c3b849997ecc24b1ba169659dfe9d73b854e","datavalue":{"value":"18B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661282$93E0DB7D-A88B-49DC-80D6-B56CA939FBDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b78dd6c7e8c89284a2726643e0e179c22663253","datavalue":{"value":"6005013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661282$04754C7A-3FDD-4F56-B19B-81496CAB1AEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q661282$92A6C111-579F-46B2-B81E-2562CC4337C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f61e482dfff4cf2f0b071e9e92186cd4c2eb655f","datavalue":{"value":"proof-relevance","type":"string"},"datatype":"string"},"type":"statement","id":"Q661282$074D2957-0387-42AF-B797-D0CB8C758F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q661282$9B86F76C-D3A5-439F-B8D9-90F28111CC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef13a89c6778f2a25bad254dc33f67d3057db91","datavalue":{"value":"identity type","type":"string"},"datatype":"string"},"type":"statement","id":"Q661282$B67079B5-4675-4D0B-9AFA-2710FC5DC274","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":"Q661282$45E09C09-6CCA-4B87-90AD-0C05294DDC1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"038a3af65bebba184ffe2552fa9334647c0dfaf5","datavalue":{"value":"https://doi.org/10.1007/s00153-011-0252-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q661282$781E56F5-778C-4C4D-8C52-5DA6C51C939E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c363b43a418f7eca3fabff3f0d139943456517a6","datavalue":{"value":"W2036690021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661282$8895A9EB-567D-4E81-B50E-249D741507E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661282$E4868C70-2406-4C59-BAFA-8AFFB0D75051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661282$2AEE3F3C-3637-4D55-8187-1EA0ADA752D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef60b461b81992016cd6752f42b51f54301ddc1d","datavalue":{"value":{"entity-type":"item","numeric-id":5415629,"id":"Q5415629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661282$225225C0-DA08-4F0B-8754-F50FE4F001F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9c5d4cff434102bed227e3e021e251aecd1efd2","datavalue":{"value":{"entity-type":"item","numeric-id":4236885,"id":"Q4236885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661282$A4E237C0-4E7A-482A-AC3C-A593E81940FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661282$7DA8D8BF-D94B-4AA7-B335-C65861F5058B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661282$B74882E6-5540-4BE6-A848-503EDA944105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c32137845c073e84e544eba4c17c52212773e889","datavalue":{"value":{"entity-type":"item","numeric-id":5957856,"id":"Q5957856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661282$19A03B17-7CA0-48A9-B535-78CB085029E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q661282$87E2959F-479C-4C20-A73B-5D26D68D1624","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"067ac1ed77db4705125875505a97edaf0e0964f4","datavalue":{"value":"10.1007/S00153-011-0252-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q661282$F4301FB5-2F6E-4124-A686-8B54DDB02163","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d1141a5de5fa0a2e051608eadb67fd39b9457b6","datavalue":{"value":{"entity-type":"item","numeric-id":512135,"id":"Q512135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b41e057d0c5e6497b16accc5000d30d71ea745","datavalue":{"value":{"amount":"+0.7617186307907104","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":"Q661282$D72DE94E-C938-4B56-8F3F-E475D532C8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071577697c11a2c9b8cea4d5bf370cc8ab8c50a2","datavalue":{"value":{"entity-type":"item","numeric-id":4236885,"id":"Q4236885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"120c4634d6df912d7a8f9becfab6070f2af19ef3","datavalue":{"value":{"amount":"+0.7531375885009766","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":"Q661282$C4FE3E53-05AE-4B27-826D-1B69B49AA4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"119fc0bd9b24a50f4879867ef374d75d8eaf4446","datavalue":{"value":{"entity-type":"item","numeric-id":2921123,"id":"Q2921123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee0d901bfbc7030decb5a9c768818e04a414e08","datavalue":{"value":{"amount":"+0.7412289977073669","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":"Q661282$756BBE87-475D-4EEA-ACD0-A889B474525B","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":"42fb060a2d049b5768ab3e48e6b5d8a7d31fac2e","datavalue":{"value":{"amount":"+0.7344216108322144","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":"Q661282$512ED3A9-BF67-475C-8213-0B154258ACBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd2a7c5ae41bbaf82e6faeb8738632585b8325c","datavalue":{"value":{"entity-type":"item","numeric-id":2176677,"id":"Q2176677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"672f2fba292ddeed9ac656d8a6559f6c03ecee90","datavalue":{"value":{"amount":"+0.7311892509460449","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":"Q661282$D6110CE3-73E1-4251-A34A-A8AD56AD16E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:661282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:661282"}}}}}