{"entities":{"Q3014941":{"pageid":3025665,"ns":120,"title":"Item:Q3014941","lastrevid":51286865,"modified":"2026-01-17T14:51:59Z","type":"item","id":"Q3014941","labels":{"en":{"language":"en","value":"Simplifying algebraic functional systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918474"}},"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":"Q3014941$42C03F9E-5CAF-4778-8CB7-344BDC455224","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e160bf79d9e2ec1c2b4b509e28da0621b98d3cf2","datavalue":{"value":{"text":"Simplifying Algebraic Functional Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3014941$8B6666DA-BD84-4686-A3E2-18B3F9BD7B81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a70ed1010171222809be984efb70063052fdeaf","datavalue":{"value":"1339.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014941$4333FB92-F70D-448F-92E1-E30C0C488F3F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8873f136e97cd1664fce0ca076cd2cc2bfda8217","datavalue":{"value":"10.1007/978-3-642-21493-6_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014941$38076C31-189C-42B3-BE89-5824B3D228A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e34f94bae741b263748574e2b2f0d5e51dd493db","datavalue":{"value":{"entity-type":"item","numeric-id":2789054,"id":"Q2789054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014941$36DAC540-DCEA-40A4-B161-411C6C4D46D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"990dd856f9b39b97bff0e5ce9e90e3e73f0526ea","datavalue":{"value":{"entity-type":"item","numeric-id":2849996,"id":"Q2849996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014941$D6DAE776-81C0-412F-8F0F-B77F7C3FB436","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e83de025addf20ea5ebcef37a33b5699c76aba6","datavalue":{"value":{"time":"+2011-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3014941$BE7630C2-901D-4FFE-8D8F-6B25E5D02842","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd5bbaded420de5a51b8f026618b3a4ad24f0119","datavalue":{"value":"https://research.vu.nl/ws/files/2941104/270479.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3014941$D3C46979-4A0A-4D3A-8745-FE303242F285","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014941$CD62EE67-7BCE-444B-9FA5-F336030B5472","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06b5b1322147f230fd30ddaa99d5ee97b2f85f53","datavalue":{"value":"5918474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014941$FB0520BE-7D26-4582-B204-91E2B31461C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a97032ae79aad315618a7a484896779e7f49e7","datavalue":{"value":"higher-order term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3014941$7C70F499-0BE3-42E6-A6DA-A0C7784DFDA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67d452e665a25523e6c880f20975f2e6e32802f7","datavalue":{"value":"algebraic functional systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3014941$866F0583-8C67-4EF5-9851-69CB9D33EFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3014941$86B78AAC-B8A0-4669-88B9-21559CD0E6BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dca5b755a3b33e79b67a683448b6bb0d1d64360","datavalue":{"value":"transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3014941$61546B5B-65D1-400C-AF90-1BCB01580F43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d8c703f2494d18e82ae164f5dfd0e2e9ca28b50","datavalue":{"value":"Currying","type":"string"},"datatype":"string"},"type":"statement","id":"Q3014941$27828688-27E3-4AC8-B366-95E8A9EB7F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb28607e62fc73049d4b6e6c27b613b20dc1e4fb","datavalue":{"value":"\\(\\eta \\)-expansion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3014941$8CA8ED77-9A25-4A81-B87A-05A94726FF0E","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":"Q3014941$D77E5BD5-FF7B-4AB2-8C80-71ADBE35A7A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54457adba24ff000f71952b0a68d9aa4664986c5","datavalue":{"value":"W1666634947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3014941$70504579-02DE-41EE-A882-2858670A69B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"58811399841cdbd355a9449d21565b49ce61c7d4","datavalue":{"value":{"entity-type":"item","numeric-id":3540166,"id":"Q3540166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014941$5C041716-0185-4294-B627-6E3F5553894B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff42e0abb425eb452fc2749897729b7818e52c5","datavalue":{"value":{"entity-type":"item","numeric-id":5505588,"id":"Q5505588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014941$C6E64268-1075-417B-ADEC-A7EC8B981B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7d65043224af4b2cf3ae668d308eedc182cf63","datavalue":{"value":{"entity-type":"item","numeric-id":1907275,"id":"Q1907275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014941$54173CED-B4BF-40D1-BEC1-35734FC75DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322ec2f67eaba65235e470de0421516c735a1b23","datavalue":{"value":{"entity-type":"item","numeric-id":1918496,"id":"Q1918496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014941$74B06924-CCDD-44A1-8BCE-D94CFBF23BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60af476512aad671eca473b4037bddc4837c3457","datavalue":{"value":{"entity-type":"item","numeric-id":5389082,"id":"Q5389082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3014941$0EE8E6DC-B426-4967-8A20-1A599418B443","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d1a9f96d6d3e01fe50d6d12de83605149afb44","datavalue":{"value":{"entity-type":"item","numeric-id":5389082,"id":"Q5389082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"670002925068b4f4ffa60553ade5c9e5248cb44e","datavalue":{"value":{"amount":"+0.8281258344650269","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":"Q3014941$FE7C3B5A-A734-4ED5-ABE3-7EA7D60046F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"329edee4e7d852039f1235f44763e946c8a25031","datavalue":{"value":{"entity-type":"item","numeric-id":2895471,"id":"Q2895471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df5b6305843c74acc60c743a5ae80d6773939b2c","datavalue":{"value":{"amount":"+0.802945613861084","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":"Q3014941$5AE2B526-FF44-48A3-93FE-5F5CEC6D1718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b614750f797f07b9ff2edd03752cd1b60221e2","datavalue":{"value":{"entity-type":"item","numeric-id":5111904,"id":"Q5111904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b01f845ab741ec8dc007de2a2eb1c3dfd59b70","datavalue":{"value":{"amount":"+0.7652793526649475","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":"Q3014941$699F871F-055C-4358-9014-B8D26329D9EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b18dbe47618768eb312adb549a9ce9f62147f7c4","datavalue":{"value":{"entity-type":"item","numeric-id":5898159,"id":"Q5898159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5012cc05e1ba4a468929986130f0d8dede64b3fd","datavalue":{"value":{"amount":"+0.7485877275466919","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":"Q3014941$FE51E605-6C22-4B33-BFAC-2ECDA89D5AE0","rank":"normal"},{"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":"6c4f9e504e5ff33b940e8308d5fe0fb24c50242d","datavalue":{"value":{"amount":"+0.7461052536964417","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":"Q3014941$84DE16A4-82BA-4919-9D78-2AED7E37ADAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3014941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3014941"}}}}}