{"entities":{"Q5370875":{"pageid":7400449,"ns":120,"title":"Item:Q5370875","lastrevid":58540947,"modified":"2026-04-05T16:17:55Z","type":"item","id":"Q5370875","labels":{"en":{"language":"en","value":"Deciding equivalence with sums and the empty type"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6794665"}},"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":"Q5370875$9DFA3E6C-F066-4FF6-B70A-6EF9B8EEE393","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3e88c3e6638fb25dc236002d7f7eccc3adaae5e","datavalue":{"value":{"text":"Deciding equivalence with sums and the empty type","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5370875$10648B26-09F2-4F03-93BD-AAEE5C33DE85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2d66b614eee567ca861add50ae9ceddef3db22e","datavalue":{"value":"1387.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370875$25F2CAFD-9EE7-4986-9207-4DA1ADDC153D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4052d8cccaec320fd636a756ef29644b3351fbf","datavalue":{"value":"10.1145/3009837.3009901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370875$FF69BEF7-8142-42BF-8E21-044F7B46CB88","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22d4f40940ae63e936c21b3ba75f359788c389e1","datavalue":{"value":{"entity-type":"item","numeric-id":1652973,"id":"Q1652973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370875$59DBDCBF-E58B-4165-991D-737C2106E01E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2300a4bb532724f6695014ad32dc9335c9fdde3","datavalue":{"value":{"entity-type":"item","numeric-id":5370840,"id":"Q5370840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5370875$4D1D7600-3E7D-4FB5-82F6-0D721DD625CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c23b22abb6cd47509eac4c3e5d58b13717e9ea4","datavalue":{"value":{"time":"+2017-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5370875$AEC36405-895B-4B5A-86AB-7C7DE22CC737","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3661e7cc4039bdc2406df92319320642ccb909b3","datavalue":{"value":"https://arxiv.org/abs/1610.01213","type":"string"},"datatype":"url"},"type":"statement","id":"Q5370875$4F5F835B-AA34-4308-8D3A-B7AD0B52567C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370875$7115A1C5-7593-425E-B86A-A5413CAD8901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370875$FA3A9E55-F8A7-491D-B6DA-FC24D4B2B2B8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5974f9639a95b8eb13e20dd9f57e95eb1f10ec3","datavalue":{"value":"6794665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370875$3360529A-3EAB-451E-82E9-F38DF46F55CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e76da76122f5ca32c5c633ce8b9c54e05634dfc","datavalue":{"value":"canonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370875$5B6DD4ED-7F4D-411D-8D0C-C48909A636D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6c2a1463a88b59040d8f18b505e137f15b8def3","datavalue":{"value":"empty type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370875$B8D7C047-B8FF-4850-AC97-AA2A54EECD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370875$A10D3296-502D-411C-AFE8-C33A1AA10D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370875$D4EE9F3A-A87F-45E7-9991-E081952A89E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6739fba16acf61162defd709061e3d3f6a05da4","datavalue":{"value":"saturation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370875$09E0BB67-DBFE-436F-8176-45764DA2B1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d16a741da1e08903c84a973e87820e0425d498","datavalue":{"value":"simply-typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370875$79682B28-F3A7-41F7-81A1-A552EA277A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b7f6289eb34bfeb3c73a0f8f4edb8611b380225","datavalue":{"value":"sums","type":"string"},"datatype":"string"},"type":"statement","id":"Q5370875$7DA0820D-DCE7-464F-9D29-DA48F5CE62FE","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":"Q5370875$2A202077-99B1-4E2E-916A-FE902C1834B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e15dc648e49bf90eb75fa228b2bfc22e39e1ae08","datavalue":{"value":"W2529368321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5370875$DBEDE37D-EE2D-4A11-9403-7CF506DF8018","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23060c9dc1628bd92e9ce02531ff52f85143df1d","datavalue":{"value":{"entity-type":"item","numeric-id":3024834,"id":"Q3024834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aae623d84686435d0c367d1a0ae42d818da033af","datavalue":{"value":{"amount":"+0.7920769453048706","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":"Q5370875$73E19622-11B4-476D-A36C-973AC7EC78DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d809c196c39f2e163ea8fcf30b346cc6e52b3f","datavalue":{"value":{"entity-type":"item","numeric-id":4855295,"id":"Q4855295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132c0269ec34f3429a20b6aadcaaeda8f2eada28","datavalue":{"value":{"amount":"+0.7688421607017517","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":"Q5370875$E4C22BD2-18A4-496B-8850-C09215AAF7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12b9cbfb80a3c71c4bf3f247de6c661e68291464","datavalue":{"value":{"entity-type":"item","numeric-id":3612636,"id":"Q3612636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d69c154bbb4a8f623f3d215593719a1f288ac51","datavalue":{"value":{"amount":"+0.755521833896637","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":"Q5370875$064163C1-1B7A-436D-810D-564D872E100A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29b2d4c041b599540f781ddd83e33c7995dcf0fa","datavalue":{"value":{"entity-type":"item","numeric-id":5370876,"id":"Q5370876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c67132039b1bfbb4f5c606757993a7880028f8f7","datavalue":{"value":{"amount":"+0.742943286895752","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":"Q5370875$C4E140D9-6A39-44E5-B56A-4CE0387EC435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"051541e41ae38fb1815130930f93535b43f16b39","datavalue":{"value":{"entity-type":"item","numeric-id":4635798,"id":"Q4635798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4225829c76ae5941e6391534afedeb9ddb1bd13","datavalue":{"value":{"amount":"+0.7428983449935913","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":"Q5370875$B96B0C22-65ED-48E9-A96E-44F6CFC57923","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5370875","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5370875"}}}}}