{"entities":{"Q5055859":{"pageid":7085436,"ns":120,"title":"Item:Q5055859","lastrevid":47786050,"modified":"2026-01-02T16:51:34Z","type":"item","id":"Q5055859","labels":{"en":{"language":"en","value":"Combinatory reduction systems with explicit substitution that preserve strong normalisation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7631291"}},"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":"Q5055859$210799A0-84A3-432B-ADDF-9B212D89BC89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dd4fe1510a51954b78c259a00e182ff8b7fbc47","datavalue":{"value":{"text":"Combinatory reduction systems with explicit substitution that preserve strong normalisation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5055859$55F9821C-E8A8-461C-A411-EB08065A1A1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5e5cc4a48b1d60af970ff48180e2f8ffea24ea0","datavalue":{"value":"1503.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055859$E68EC02F-1639-41FA-AA58-D412BB65676F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a9531e2e8287b9a7277fee22ee04040e2392ba9","datavalue":{"value":"10.1007/3-540-61464-8_51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055859$E9BF0AB3-2751-480A-9F01-5DACECDD3CAF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95c0470d173aeeeda7b208422c076739fd98b16a","datavalue":{"value":{"entity-type":"item","numeric-id":1274457,"id":"Q1274457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055859$2A1B5958-8B67-4939-BBD2-81B4419C593D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9038323ffa8acf7be95b9ea658ac54ec4060a74c","datavalue":{"value":{"entity-type":"item","numeric-id":2392485,"id":"Q2392485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055859$0B891F34-EA1B-43C1-B860-B6BEB370AA37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055859$94851C23-480D-4C8F-BC93-B1B0834BFB19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"11447fc0ad9bdb1f5ac45f1763d7f4fd1b0676df","datavalue":{"value":{"time":"+2022-12-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":"Q5055859$53FE47DD-62C2-4E6F-99F8-76424970C568","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055859$5590FABE-EE1E-4F6E-8057-295DFBB33C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055859$EB71CFA0-FBDD-45CC-8F29-F0695AE5B7A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6903d07d25b840db21b60ff375184ae468f586e1","datavalue":{"value":"7631291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055859$F0C054E5-8165-429C-B3C9-EC545C735D78","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":"Q5055859$15546DFC-0FEF-4550-9F1D-28323CA1EBA1","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":"Q5055859$22921717-9D63-4514-A68D-D47FC2B3D0BD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d2cc15ea8ee44620f53d68505d5261227f0b305","datavalue":{"value":"https://doi.org/10.1007/3-540-61464-8_51","type":"string"},"datatype":"url"},"type":"statement","id":"Q5055859$1982456E-096E-4549-A4AD-6348996FC5CC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cde0759856211e51a0bbb93879420d1c55a4804d","datavalue":{"value":"W2126650211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5055859$2971CB0A-5765-470B-923B-316E9F3D20B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055859$74FF1D9C-95E9-4C63-B950-E91AD6372014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055859$ABCEBA50-B835-4245-B0EF-B7CF492C0BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055859$B7EC70E6-2F03-4931-9EDA-C3D5E30448E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be604f9726a120d8606eea2ea8bf40b25f834421","datavalue":{"value":{"entity-type":"item","numeric-id":3918095,"id":"Q3918095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055859$8303CCB5-52A7-4014-AB3B-02891DD86B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1eb42d9c5348c57088bd4b838a7a5b42853faa","datavalue":{"value":{"entity-type":"item","numeric-id":1314356,"id":"Q1314356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055859$FE7D8CCA-8FEB-4D36-A926-139E49A911BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f7bcfffc49742b219cd84a695191ca8beef7cd","datavalue":{"value":{"entity-type":"item","numeric-id":5734774,"id":"Q5734774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055859$E1E9ADF8-F3C9-437C-84EB-559FADAF3381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bab25eceb42f52701d753efa4ce1915a7e4709","datavalue":{"value":{"entity-type":"item","numeric-id":3024846,"id":"Q3024846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055859$27CFEA34-4799-49FD-B42A-629E6BB5E1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055859$9D043F65-E292-4A11-8CE3-50EE595BCD8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76b1e8f8aa637b2d958be34bc9c921a3b84fc34a","datavalue":{"value":{"entity-type":"item","numeric-id":5881174,"id":"Q5881174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055859$8F596333-3621-4954-8A29-FFA1E86D9CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fe7d6c0b3a45eddceda9b3c78d2d5a3dd52603e","datavalue":{"value":{"entity-type":"item","numeric-id":4380997,"id":"Q4380997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055859$3AF1EDE1-EE25-4179-BBA5-7E08C05D9E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212a413d72385fbce7e63ede411ad18800925449","datavalue":{"value":{"entity-type":"item","numeric-id":4501166,"id":"Q4501166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5055859$B86FF683-FBE4-4107-A8B2-F9570353B611","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83788ec018f6fe076d317e7138cc532948fcec2e","datavalue":{"value":{"entity-type":"item","numeric-id":4357055,"id":"Q4357055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b9374ca96e3b8084af3ea7a5f7a7c4f443ab99","datavalue":{"value":{"amount":"+0.8295403718948364","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":"Q5055859$5E0260CD-A5DD-4114-BE2B-D9E7B6447B6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b1e6ec56c83b1cfd582d9359886bc98c25a45f","datavalue":{"value":{"entity-type":"item","numeric-id":4263879,"id":"Q4263879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a69e2102c0689d4d2aec31b28b8f656de97dd34","datavalue":{"value":{"amount":"+0.815774142742157","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":"Q5055859$62B81E61-63C1-402B-A7C7-59697FB9EDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03a6d36976734bf2348405ecaa1b84400b5fc70e","datavalue":{"value":{"entity-type":"item","numeric-id":1274458,"id":"Q1274458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44815539f69aae0df1afc7caae3456b8b72c1532","datavalue":{"value":{"amount":"+0.8094525337219238","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":"Q5055859$507CC483-2924-48C3-8686-D06B47850314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de03afcd9e634828c884f8371c6924cf776aa37f","datavalue":{"value":{"entity-type":"item","numeric-id":1290510,"id":"Q1290510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93522659de200b2ca602f22c494406752a3ca6d7","datavalue":{"value":{"amount":"+0.8081422448158264","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":"Q5055859$EE84DD5B-2181-4773-94C4-AE2B9D1EC282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b00b63c734d15a154f4cc93164e3082abdd010","datavalue":{"value":{"entity-type":"item","numeric-id":1770414,"id":"Q1770414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93522659de200b2ca602f22c494406752a3ca6d7","datavalue":{"value":{"amount":"+0.8081422448158264","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":"Q5055859$76CCBF6C-F9DC-4D6C-834D-C63A62573BB1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5055859","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5055859"}}}}}