{"entities":{"Q3422018":{"pageid":3432721,"ns":120,"title":"Item:Q3422018","lastrevid":50022334,"modified":"2026-01-12T16:48:23Z","type":"item","id":"Q3422018","labels":{"en":{"language":"en","value":"Continuous semantics for strong normalisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5123708"}},"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":"Q3422018$0F049E38-31D6-4700-86C7-F34FE8392FE4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9587c06922f7037dc02ef853ab1f51b25c95ad30","datavalue":{"value":{"text":"Continuous semantics for strong normalisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3422018$34050D13-A76C-4DD6-BC1E-B81FA71FB5C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"987492642657c13b9d3408776611e48175573738","datavalue":{"value":"1115.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3422018$CD2668BE-B827-4A5B-B227-B4191F516A2D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b639a6dc56003cf8eab8cae3f345be3bcce178e4","datavalue":{"value":"10.1017/S0960129506005457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3422018$F3920184-13F5-493A-8EC6-7EAB8B301001","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3422018$3570FECE-B642-4884-8781-6B71F934CF7C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3422018$E98DCDEB-486D-43E8-9D33-5559FFD25D61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"04c4eacc187712207be9323f3a2e3dcadf2d0f65","datavalue":{"value":{"time":"+2007-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3422018$591D9A22-A06B-4F3D-8825-4D543108F28A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3422018$F85E4973-66D8-4CAB-A1E3-65454C188CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3422018$88ABA4E2-C8AD-43CA-AFB5-E04BF57FA452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3422018$E7FD4C9B-E251-4D54-8C3E-F53E6DE4F3BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83892d7a54494071924329198176d9a81cf54bf7","datavalue":{"value":"5123708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3422018$37B694CB-818C-46E7-B1D0-A02533D4BAE4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3422018$1E78077D-E0B3-49A8-8FE8-3C6DB7DFB846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9dc06a6a62ed9bff51c23bfa69730df3a3a4996","datavalue":{"value":"higher-type rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3422018$573ABC13-2148-4D53-8857-1FEFC842B2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba76fa7bb00948a3cd2d3bacf496f939f3cbc65","datavalue":{"value":"domain-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3422018$5268EBC0-1C13-4F94-ADF0-102C8FE3511F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d1997c26d11ecc220dd31fc4a934865bdf201e","datavalue":{"value":"bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3422018$4EA844DA-0961-4FFA-85D0-4EC58D14F50E","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":"Q3422018$87B73622-83AD-45CE-9545-EB42DC95DFA7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0462ffe58a73b603f38c5cb733e5c4f12897cc7","datavalue":{"value":"https://doi.org/10.1017/s0960129506005457","type":"string"},"datatype":"url"},"type":"statement","id":"Q3422018$67A93922-F9CE-4AE6-96C5-A726D4C58A6C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"949958f5f3ccd18203416db8c8b2690cddf85d55","datavalue":{"value":"W2170835260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3422018$189CB493-A309-41BE-86B7-5EA659B13CBD","rank":"normal"}],"P1643":[{"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":"aadd877422bf274d4bb98609783b921be781149c","datavalue":{"value":{"amount":"+0.9855653643608092","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":"Q3422018$B0533B9C-4A42-4F3E-AA7E-7CEEB71D1409","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":"ace5928e0bd863bf2a73342a46f999948018ae2f","datavalue":{"value":{"amount":"+0.8643292188644409","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":"Q3422018$E157427C-7EC7-41FC-980F-452E14C562C2","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":"13fe7049798f28a66a7fbc8cf0bad45ec8450d2d","datavalue":{"value":{"amount":"+0.8049441576004028","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":"Q3422018$5FAF1AB2-E9AB-4D81-83EF-2F5B47A8ECF1","rank":"normal"},{"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":"15c11a678ea99f5fb43dbe76b53f39a6b9983ba0","datavalue":{"value":{"amount":"+0.8002960085868835","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":"Q3422018$692BAC8F-3A9D-4DAD-A95E-455902C659F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aac9522cf9e9b946dd6ae04fe83c072d8818ca0","datavalue":{"value":{"entity-type":"item","numeric-id":5453505,"id":"Q5453505"},"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":"Q3422018$6DA81E40-C645-43D6-B0D3-EFBC16F06B30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3422018","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3422018"}}}}}