{"entities":{"Q4247081":{"pageid":6276682,"ns":120,"title":"Item:Q4247081","lastrevid":46824294,"modified":"2025-12-25T16:18:20Z","type":"item","id":"Q4247081","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301857"}},"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":"Q4247081$7F5C6494-E000-42B2-AAB2-FC1F487D5B0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"877114c54bce541940d9c45a9242cb1bd3149b0c","datavalue":{"value":"0927.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247081$54A008AE-F3E1-4737-A000-75730EA0535A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2abdd7c39d43e6d95dacb00580af9dcbdfafbb64","datavalue":{"value":{"entity-type":"item","numeric-id":4247080,"id":"Q4247080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247081$25889CC8-748D-4BFE-B313-AD097D5EB0BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cf815526c4f2604ee47e98322610a52470dc8b3","datavalue":{"value":{"entity-type":"item","numeric-id":1072370,"id":"Q1072370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247081$9278EFD3-012F-45D2-B934-87315B0A78E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdac7f8667945c3fb34e527fc5abbf5817818c79","datavalue":{"value":{"time":"+1999-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247081$1D5D6DBC-3235-4647-9E41-6FC2C194B195","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247081$169D95D2-3CEB-4649-8EAB-32D78C7D2C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247081$E0D5B8C5-BB26-4C8F-9A45-F883CD0218FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247081$CA5159F4-14AD-4396-A6AD-5C49CB98BABF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247081$E65CA247-5905-43B1-BA8C-93157FA1DD15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b007e6afc2a34c78cfb613dfab016903739af59","datavalue":{"value":"1301857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247081$AD772604-3694-4C95-9C3D-8CAC09B09FEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51d4cd3112ea768893383518c3c534e11d5dcdc6","datavalue":{"value":"precedence-based termination ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247081$69222BC9-6AD7-444B-9D39-9256A0259EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16873b553779c0bddc5b5ace1b4b2c9b5cde7af","datavalue":{"value":"higher-order terms without \\(\\lambda\\)-abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247081$6E8103DE-E870-4AB7-8D18-747EA98B2F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7cb73a196f288816b2323e6b141f990d504f58c","datavalue":{"value":"higher-order rewrite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247081$B68E7AD1-4573-45D1-ADEF-ACE0D053E06A","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":"Q4247081$9E0C350F-CE09-4703-B789-09BB14B470A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc30ff9155d71a008c7380bf57acfd5ec38dc5ed","datavalue":{"value":{"entity-type":"item","numeric-id":5055816,"id":"Q5055816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"899bb154aeda607e9cdd36ba3da18efdf2d43e82","datavalue":{"value":{"amount":"+0.8618503212928772","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":"Q4247081$8E2D6741-60F7-46E3-90CA-64B5E0AC2B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0c61e6fd01e935344860ee668c18458e006fba","datavalue":{"value":{"entity-type":"item","numeric-id":2988386,"id":"Q2988386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4539d1afb9bc5f5e8ee976a45e3de31c4ccb4e1","datavalue":{"value":{"amount":"+0.8453450202941895","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":"Q4247081$B1C88EC5-92CC-4352-9BC2-5EDDACB481A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f000fc31c1bab55c3a4a6f5c543789864c6d5e7c","datavalue":{"value":{"entity-type":"item","numeric-id":5055855,"id":"Q5055855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420e1707b7cab334def9290e49abf2553a01048f","datavalue":{"value":{"amount":"+0.8314292430877686","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":"Q4247081$AA1E24A9-BC06-45ED-996D-E1BCC7BA77DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fdb450072f0a21d1b2b7da535dc91202feb50b8","datavalue":{"value":{"entity-type":"item","numeric-id":1275015,"id":"Q1275015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64fa3d6dad4815f1d5ebc9570b29f566a6effb9b","datavalue":{"value":{"amount":"+0.8281363844871521","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":"Q4247081$EF5B11A2-0910-4E72-95FF-14D794ABEAB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cef9cf6987fdb38041d6207038228071299b8c8d","datavalue":{"value":{"entity-type":"item","numeric-id":3546327,"id":"Q3546327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"985f4c2ef204a5954b77170e324945280c78af3d","datavalue":{"value":{"amount":"+0.8236386179924011","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":"Q4247081$5FD25BF5-F055-4C9C-9B2D-FA0A2861FAE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247081","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247081"}}}}}