{"entities":{"Q5111304":{"pageid":7140878,"ns":120,"title":"Item:Q5111304","lastrevid":46185304,"modified":"2025-12-24T00:10:41Z","type":"item","id":"Q5111304","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204428"}},"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":"Q5111304$C25E5209-2C5C-48CB-910D-410BB5877E54","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae75889a61f7eff7a57ea1b73ce89621686f9b55","datavalue":{"value":"1434.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111304$A7AABCA3-410A-481E-B994-C6B1D4C15952","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d753e681db51bb5163d35cc60b3a5ce6d828a892","datavalue":{"value":{"entity-type":"item","numeric-id":2037947,"id":"Q2037947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$E7B5663E-CFD1-4A54-855B-C3EACE04018F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32fec076cd784676ce6465fb8cbb84aed2bdec55","datavalue":{"value":{"entity-type":"item","numeric-id":408546,"id":"Q408546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$952299F8-DA89-472A-9AE5-294FCECF772C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111304$D631CF6B-47B6-4EB2-86F9-26C2C751605C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111304$2AC8CC62-DDEE-49EF-A974-2E335BDE2619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111304$4847295D-C3AC-45ED-9BDE-E3492AED6A95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94a2e20474680b94baf877055f0400babe41dc4b","datavalue":{"value":"7204428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111304$3AAAA8FB-D226-43E7-B208-83FF94CC6B2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111304$E93F832E-D0AE-4E32-8620-090D0EA57DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111304$C8E8B7A7-5211-4742-9000-F18752DED9D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"466c42c02ddf75f7f67e6990514dda7f81e85cd7","datavalue":{"value":"explicit substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111304$9311C8B8-2D0B-41A6-8B22-7FDDCEDD7C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"397f0fcfe559cfe37f2292b68dfe99c79c811e52","datavalue":{"value":"optimal reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111304$77E39568-C4C2-4B94-A4D7-08D931AFAD37","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":"Q5111304$5FF51DCF-613B-4503-8D37-F48077A01B68","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":"Q5111304$B8D09906-2D8A-4032-A2E6-C0B11714E3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9e207e093bc0b7d07405b2cf42890588e429e43","datavalue":{"value":{"entity-type":"item","numeric-id":2819700,"id":"Q2819700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$7D9F9439-EE2A-4AFB-A26F-818B7A8E406F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"362675962d1938ba3874471a51de6f703c07e893","datavalue":{"value":{"entity-type":"item","numeric-id":3460910,"id":"Q3460910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$7B96614C-94B4-4C6F-9308-19E20A91B437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736b927b44af9ef59d1147d2f70b5fea094590b5","datavalue":{"value":{"entity-type":"item","numeric-id":5408457,"id":"Q5408457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$1AA0C460-E818-4844-9A31-FB6B3CF48FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f7c2965e025f2e44f633931fc66c0e670ed0f76","datavalue":{"value":{"entity-type":"item","numeric-id":4635799,"id":"Q4635799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$3C635DE2-6100-4A57-BAC4-FB49744B4B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62652dd62ec51af26d1f57df547887590f807f50","datavalue":{"value":{"entity-type":"item","numeric-id":3586054,"id":"Q3586054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$A0966D77-A90B-498D-A419-62261927D58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f55eaf870926bb49d2ce288fcc4e44fd13c4c4c9","datavalue":{"value":{"entity-type":"item","numeric-id":4635589,"id":"Q4635589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$0A472376-82A5-4C62-9E24-A374EBBF23F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4cec3adab929cf6aae81987582e38a2192f7ac8","datavalue":{"value":{"entity-type":"item","numeric-id":2794671,"id":"Q2794671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$3D485BD1-45E1-4251-8DA2-65C1C978B28D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc59eca403e6d7ac2b4d4f9d044a3b60310a392","datavalue":{"value":{"entity-type":"item","numeric-id":2900255,"id":"Q2900255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$3EE933F4-DE72-43BB-B263-A82D49AC5F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef793cd341d40ecfedab2b760bf19a2d788dac7b","datavalue":{"value":{"entity-type":"item","numeric-id":5397484,"id":"Q5397484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$A7F3ACA7-B87F-4870-86D7-7A6F1F8B6857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6632fc7c7f73d5aebf66695932b77dd7138660d","datavalue":{"value":{"entity-type":"item","numeric-id":5244806,"id":"Q5244806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$8C60827C-4E89-4867-B864-DBBFD338E73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383217e8d7c00d8ca1021a24b4cc0d89492f3a7f","datavalue":{"value":{"entity-type":"item","numeric-id":3221960,"id":"Q3221960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$E5B9AB60-1C5C-4D92-B64A-66FFE678FBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf0b88f3488dc1965d9a2bb7ec0dca36130a837","datavalue":{"value":{"entity-type":"item","numeric-id":2956718,"id":"Q2956718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$C6AC4159-47C0-40D6-BA8D-EFE116AC823B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74c41ea929505ef6f565669a4cb2bb3fd37a959","datavalue":{"value":{"entity-type":"item","numeric-id":2811356,"id":"Q2811356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$1935018B-41E9-44E6-A785-F4B82E77A43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0d443da3abf4aafaf5770bd7ad722bc60f80f0c","datavalue":{"value":{"entity-type":"item","numeric-id":3400630,"id":"Q3400630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$BE3E96B1-4702-40E3-8EFC-E45139B128BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c599153d0a1fd0a12ef0f8765e92f884a8da6809","datavalue":{"value":{"entity-type":"item","numeric-id":4500179,"id":"Q4500179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$54A1CD64-6AF4-4FC9-BB2C-49534D6B870B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6f2a16499c24961a39897c344c5cf75313281","datavalue":{"value":{"entity-type":"item","numeric-id":4808736,"id":"Q4808736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$4FF8BCC4-91D9-462B-BCEE-8FA38A0AC687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d4380a0bd4cb8224cffd727faef6e764f5e902","datavalue":{"value":{"entity-type":"item","numeric-id":2866344,"id":"Q2866344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$7BBDDCF4-BB21-4208-B3FC-CD0DBAEFC6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2202ea6b7a5f8b2bf37b129e53958a44d2d21d02","datavalue":{"value":{"entity-type":"item","numeric-id":1133323,"id":"Q1133323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$BEE7ACEB-5BC0-47B7-9D35-544E2A1D66DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e893a22b00868b6c784d8a2cb0494f6f11b10b78","datavalue":{"value":{"entity-type":"item","numeric-id":3527309,"id":"Q3527309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$0E64FB82-53CC-4B84-9845-82CD5C1A535F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cc846e4285dd73747ab89d2dd8d67254289009","datavalue":{"value":{"entity-type":"item","numeric-id":4799892,"id":"Q4799892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$D778A42A-FC70-4BFF-90BD-019F93102E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"116fe0a2264a42c8d2db1adad19fd880054f1a19","datavalue":{"value":{"entity-type":"item","numeric-id":4594237,"id":"Q4594237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111304$F018C66C-1CC0-4C86-8905-B9908F8524C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0060aa26dc2a62beabb3644127ff439458610349","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111304$3F2A4EF4-7DED-4C92-840B-5A1CE6698675","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca48d0e440db16032230a87f8cae57570a5856a","datavalue":{"value":{"entity-type":"item","numeric-id":5703851,"id":"Q5703851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e48abd4f4980823381387a6443ae0244c250c2","datavalue":{"value":{"amount":"+0.7855761051177979","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":"Q5111304$3CB92606-171E-4B62-8454-BD62DCB25B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58fb2cf4cd736c16f41eb6e7a209ec514c241e6e","datavalue":{"value":{"entity-type":"item","numeric-id":5055792,"id":"Q5055792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"750c6fb2331a4b60e2cfd18ed4ef5fbb17549517","datavalue":{"value":{"amount":"+0.7639378309249878","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":"Q5111304$122E81E2-195A-4303-A0B5-68A9F5DFFABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a16229f4d3a11a830a27044519d04bb4f6dd8b5","datavalue":{"value":{"entity-type":"item","numeric-id":5747746,"id":"Q5747746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fb3819f671964a66e65474c5ab6a382e06498be","datavalue":{"value":{"amount":"+0.763443112373352","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":"Q5111304$178C32F3-E552-4AC2-A96D-C6DAFBD32807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0875391429c6cb0a3404b8581ec55739716ac2a0","datavalue":{"value":{"entity-type":"item","numeric-id":5055822,"id":"Q5055822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8142976396fd461eaa0ef64e91d7f987792b30ef","datavalue":{"value":{"amount":"+0.7621883153915405","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":"Q5111304$A4BDB876-0721-4161-B9F3-FD0DEBC86E30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9cb4078fd2ca4380d1999e6c7395ad56b13cf09","datavalue":{"value":{"entity-type":"item","numeric-id":2794671,"id":"Q2794671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0070ddf40a9f2004d2f94b2b02664f7b2f13609f","datavalue":{"value":{"amount":"+0.7540631294250488","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":"Q5111304$E82C62B2-FBE0-41D0-AB8B-A164ED8443F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111304"}}}}}