{"entities":{"Q4819369":{"pageid":6848949,"ns":120,"title":"Item:Q4819369","lastrevid":74572623,"modified":"2026-04-14T23:24:51Z","type":"item","id":"Q4819369","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 2103271"}},"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":"Q4819369$F7D7E429-FEF7-47B6-884D-5B3B7DAA2B3F","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":"Q4819369$19EE6A73-8DB6-4633-871F-6A8979468AF5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e0c7df78c5c1886992c513dc3fec0c2b180b9cc","datavalue":{"value":"1088.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819369$DF661D26-161B-4A57-BB61-B1EEB18B6CAE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a3a4691f1795d7ad64a3363327344794d8e848a","datavalue":{"value":"10.1017/S0956796803004726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819369$E8C6B728-6B5E-45E0-99EF-E17273414094","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":"Q4819369$67DBBAA6-1C8B-42EE-A47F-40B54BD7D187","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":"Q4819369$94D1A8D1-EFE0-40E4-BA63-017161F966C3","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":"Q4819369$7C10B6B2-6896-4122-BE6C-A97860380176","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80836874fe663944c89061f0420200b4dad391b3","datavalue":{"value":{"time":"+2004-09-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":"Q4819369$A4A645C4-13FA-4B80-B504-07E27A43CD95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819369$5602CCA6-59C4-4E57-A3EC-7A87ABC94A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819369$86C3D201-E0DC-4217-9B06-FFAD525960F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ba79468e436730bbdceef596fe3cc2f704b2cfa","datavalue":{"value":"2103271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819369$C1B8B019-FF27-4FB5-945E-BAC40EB6748B","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":"Q4819369$B9AB80B9-D101-4E6B-A578-67F1D43112BB","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":"Q4819369$CAB0CD5A-F1A9-4852-AC46-41FA7D15E687","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3bb7cc2daad9dc2492efc5a334f81ddc69171061","datavalue":{"value":"W2168328957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4819369$896C011D-8851-4575-A2CC-CE900155C5C9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f144cf8b5df1bcda076b6b64774af2d5eac7c703","datavalue":{"value":{"entity-type":"item","numeric-id":3377459,"id":"Q3377459"},"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":"Q4819369$E3820FEE-F4A5-4B45-8717-F9E6BC4A7F2D","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":"bb7c5fc064a1e7079f9c7057a687354047648231","datavalue":{"value":{"amount":"+0.7745352387428284","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":"Q4819369$82D9509F-0543-44B4-BDE4-491E9CE9CF37","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":"a48b711c598a690a1b806f85ecec035190b46a56","datavalue":{"value":{"amount":"+0.7732781767845154","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":"Q4819369$A28BA5BC-841E-4212-8EB0-C1DC50BC1FCB","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":"6449af2fbea9efafa0d652cd5f2e6b6a0e8170ad","datavalue":{"value":{"amount":"+0.7701295018196106","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":"Q4819369$EC5C0EF8-1B6A-4EDA-9A44-24415EB76D7B","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":"0de2476b74b9fc5af18e6fb08c163a6f62e6da6c","datavalue":{"value":{"amount":"+0.755759596824646","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":"Q4819369$D144221E-2C2E-4636-B85B-4C76D8D9A944","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Remarks on the equational theory of non-normalizing pure type systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Remarks_on_the_equational_theory_of_non-normalizing_pure_type_systems"}}}}}