{"entities":{"Q5453505":{"pageid":7483064,"ns":120,"title":"Item:Q5453505","lastrevid":50321909,"modified":"2026-01-13T19:56:54Z","type":"item","id":"Q5453505","labels":{"en":{"language":"en","value":"A proof of strong normalisation using domain theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5256520"}},"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":"Q5453505$38A63F68-C5DF-40C0-944C-5915FEBA4C78","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4c4e5f79f75d118ef9846b060213c827421a9754","datavalue":{"value":{"text":"A proof of strong normalisation using domain theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5453505$8A818134-AE8A-49AF-97F0-74064FB0D5A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"352b3e0a60544f218fb70f83b5a11b05670ef3ad","datavalue":{"value":"1131.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453505$A6AC35EF-3AA0-41CB-97B5-33C9942EAEAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fbdd5b4af70209c26e3e950d78e3d3c79d276225","datavalue":{"value":"10.2168/LMCS-3(4:12)2007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453505$C5AA35F7-0CC4-4D5A-B921-6B180B5090B5","rank":"normal"}],"P16":[{"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":"Q5453505$60CC19EE-41B7-48E2-BAF2-0109B419CD77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef3ce062a3abe34fbc66f2165f0b82461a1fec7d","datavalue":{"value":{"entity-type":"item","numeric-id":930884,"id":"Q930884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453505$0D437C9B-FF4A-4E97-8A43-587B9E372735","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5453505$AFC4F94C-FEE3-4557-94C9-BBDED646CE41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"198ebadd055eae6a54aaf8b4ed7b348339bb3788","datavalue":{"value":{"time":"+2008-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5453505$19AA75D7-DC7F-4B05-80BB-6638F82C9C51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453505$64DAF03E-CA32-44D5-9CE1-F822F43EE1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453505$A77046FA-7736-46D1-BA17-29DCA5BEA8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453505$5655D1B1-D294-43EC-9DDD-51D72C869D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453505$CDFC6A0B-4BF3-4984-ABDB-0340AD9F0C48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bfca0bbd683e0143178ae020668f18b9db0f0d3","datavalue":{"value":"5256520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453505$82D8A5D1-6E34-40BD-92F6-565D2B97017F","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":"Q5453505$166C9890-CFD3-40D8-B5E0-5F876B257ED3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5835aa6b86ff066608981e40fe163b19ac18108","datavalue":{"value":"https://doi.org/10.2168/lmcs-3(4:12)2007","type":"string"},"datatype":"url"},"type":"statement","id":"Q5453505$A1F45543-4D6A-40C0-BE55-DC577EB31BC4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b564d34a9318a4fbc6baea52936be91fa6acc58e","datavalue":{"value":"W3101018969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5453505$5078B654-A227-4A41-B5C5-774755AB4AFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62286b7c3e37fd0408848fcdfe878adae53d4727","datavalue":{"value":{"entity-type":"item","numeric-id":958484,"id":"Q958484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5c3b2f984aa70b3d965f72d18f291609f38e3af","datavalue":{"value":{"amount":"+0.8271453380584717","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":"Q5453505$D76E6F6A-8B7C-4BEC-B247-BEC6E11EA003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d42fe49bfdcf25b8a646b75d36b1c49087f911e","datavalue":{"value":{"entity-type":"item","numeric-id":3422018,"id":"Q3422018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b20374187c30de58783fd21c81ffac3eac377a1","datavalue":{"value":{"amount":"+0.7976215481758118","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":"Q5453505$1DCBE961-C795-4B33-AE27-F59075921ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aadfa86451afae3efec984c4829a469ac4dca4e","datavalue":{"value":{"entity-type":"item","numeric-id":5717056,"id":"Q5717056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"548040c0b171a13dc8620a1a3d718ae225448aac","datavalue":{"value":{"amount":"+0.7902485728263855","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":"Q5453505$DFF41837-778B-4097-AF05-BAAD4D0B8875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98d3790d308f4eef46048b7c5e54eadf8bc34016","datavalue":{"value":{"entity-type":"item","numeric-id":5394567,"id":"Q5394567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d00186032059283a1ecbb2368a4603005e5ba351","datavalue":{"value":{"amount":"+0.7879300713539124","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":"Q5453505$307EF022-2D79-40CB-9BD6-ADFD43B46816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"685d265adf2c83da358eb92c8fcb2753e44c03ef","datavalue":{"value":{"entity-type":"item","numeric-id":5310640,"id":"Q5310640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7106e0efabded41cfa92c463f990cea82b48f945","datavalue":{"value":{"amount":"+0.7860365509986877","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":"Q5453505$665FE656-0772-4DA7-8F57-04B5DB54F84A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5453505","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5453505"}}}}}