{"entities":{"Q3377459":{"pageid":3388163,"ns":120,"title":"Item:Q3377459","lastrevid":49805401,"modified":"2026-01-10T22:09:28Z","type":"item","id":"Q3377459","labels":{"en":{"language":"en","value":"Remarks on the equational theory of non-normalizing pure type systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5014421"}},"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":"Q3377459$DADAF214-7CD0-41C7-8765-45BD8352C46C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f3e929dc07c62d65196cc818fb634953b65bf1d","datavalue":{"value":{"text":"Remarks on the equational theory of non-normalizing pure type systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3377459$6E8F5048-1EF8-43E7-86AF-AEE312AD5CFD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3a9a0ba48216be77b26a9b1de88873def06dd8b1","datavalue":{"value":"1088.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377459$CEEEEF47-CD97-4FA2-B2A8-DD4DBD18DA3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a3a4691f1795d7ad64a3363327344794d8e848a","datavalue":{"value":"10.1017/S0956796803004726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377459$34545E2F-EAE3-4233-8F8E-6D9225D080B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3377459$AC44F1E2-11AA-494A-9397-88E4356B1A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3377459$003AA620-706D-4032-B46F-86C619066A20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3377459$498DBAE8-B063-44AA-B596-6D09154D302C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b0fcdb7772aa9430d25813b6d3153f89c3c8a89","datavalue":{"value":{"time":"+2006-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3377459$AEEC80C1-320E-442A-9BC7-4BB898699C43","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377459$552CA9D8-5B40-4825-B670-0084B0CDA412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377459$5277FAB6-489D-425C-BDE9-3E604B0D39F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e8a6290142f32709d4a908b0b6d410e55e09ceb","datavalue":{"value":"5014421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377459$87836994-B94B-4AE1-8BEB-E0B275635482","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3377459$4CEE73A9-3EC9-4674-9820-C838ADB719B0","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":"Q3377459$3F00B412-5E91-474F-B68E-95A0142E88DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40b751706b31fcfafa6e2766875fea5bf385cf91","datavalue":{"value":"https://doi.org/10.1017/s0956796803004726","type":"string"},"datatype":"url"},"type":"statement","id":"Q3377459$2DD58301-A321-4D79-A29C-7BE99CF3B904","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bb7cc2daad9dc2492efc5a334f81ddc69171061","datavalue":{"value":"W2168328957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3377459$436D44CD-E602-4166-8526-CEB0EC462071","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fe68190ba6372f26e0cdb54cc291f7b4e60eb0","datavalue":{"value":{"entity-type":"item","numeric-id":4819369,"id":"Q4819369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b24a6b3612887c39fdb284520e90b6770b286e59","datavalue":{"value":{"amount":"+0.9956106543540956","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":"Q3377459$68A4F421-3018-47FB-A04E-CC408382BDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a8612493e6b5a2b4d78fc816cee4538696a4ac","datavalue":{"value":{"entity-type":"item","numeric-id":5170829,"id":"Q5170829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db2baa76555273eab906e5ce69f5e74a86670c3","datavalue":{"value":{"amount":"+0.7785234451293945","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":"Q3377459$D0EFC4E6-8503-4B71-9E35-40B94457C145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9da3f06971b0a5c5e1545510a0e13f468a663910","datavalue":{"value":{"entity-type":"item","numeric-id":4501161,"id":"Q4501161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7363377798b168ed93f50b188a4355533576a314","datavalue":{"value":{"amount":"+0.7771403789520264","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":"Q3377459$CAA08676-6E6A-4AB4-9414-4054848726B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70b84e7ec6d03c14228d6ecf6a5fcac07ec6fee4","datavalue":{"value":{"entity-type":"item","numeric-id":4246950,"id":"Q4246950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29fc17e2157b2b2c053f705c7d3aee6fede1cd5f","datavalue":{"value":{"amount":"+0.7743070721626282","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":"Q3377459$95E2E74E-CB09-4B66-9C1D-BF81CABD410D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f536dd4897b55633cd8707e2d26ca95080188d","datavalue":{"value":{"entity-type":"item","numeric-id":5371956,"id":"Q5371956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9633a54d106d01bc807053dfc54dcb1440526397","datavalue":{"value":{"amount":"+0.7601287364959717","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":"Q3377459$377496C7-C680-4F9A-90EB-D60E898322CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3377459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3377459"}}}}}