{"entities":{"Q4364379":{"pageid":6393978,"ns":120,"title":"Item:Q4364379","lastrevid":46511856,"modified":"2025-12-24T22:50:25Z","type":"item","id":"Q4364379","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088031"}},"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":"Q4364379$88E9FCED-93F6-4E5E-AA61-5E757F73324C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"85f8cf3bf4d3157258f89451e3d75daab15d6ed6","datavalue":{"value":"0884.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364379$CF3E17AA-C8D9-4B3F-B1A1-52AD08CE15E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"48552ab21c66d0b04090f0666911ca61b12af69f","datavalue":{"value":{"entity-type":"item","numeric-id":407555,"id":"Q407555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364379$D8F41D7E-5870-4926-9108-E98681C974E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30ea29f34af1ee45ad2057a2024c5255e1232d44","datavalue":{"value":{"entity-type":"item","numeric-id":526773,"id":"Q526773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364379$C7BA75D2-D7B4-4D06-95D5-3921A904A6EF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"363664994bd3f98264ff6fc78db2cfbbaf8e3fbc","datavalue":{"value":{"time":"+1998-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4364379$5C9A4445-C26E-432A-A712-53CA48DD246A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364379$047F9D6E-F0FF-488D-B411-47FA899A666E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23bafad04047b0e114f3cd01ed698348ae81b057","datavalue":{"value":"1088031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364379$54F9E5AF-2F68-4629-8F88-AF878E03866E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bb4fb5ca05d43319ef4b8ea137c09412c40767c","datavalue":{"value":"minimal infinite reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364379$DCC11679-0E89-4AB6-A375-627650663451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f900e3016b5c741e7058f7b9936bb6eb779dc6","datavalue":{"value":"perpetual one-step reduction strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364379$C708EAAD-0913-4467-B51E-EC80330A2D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2342559f19819674d3f54d6a5ffe4e6d255efea","datavalue":{"value":"Conditional Orthogonal Expression Reduction Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364379$859458C5-D1B2-404A-92EC-ED9092F33EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af0d8549ee7e1e3cfa884d85122faaec069195bd","datavalue":{"value":"perpetual redexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364379$9624EA58-45F2-405B-B8FF-D0C149CC9E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb63142800e2159e47a6c77466a5044a28c48ff2","datavalue":{"value":"uniform normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364379$2ACC34FB-1CBA-45BE-9F0E-20158013C177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b23eb7a73320db44fbdce6c14db1c3845c676bd1","datavalue":{"value":"restricted \\(\\lambda\\)-calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364379$E0915F95-8112-4A2D-ACD5-6D0BDDEC146F","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":"Q4364379$A3CD576F-DD10-45B1-B228-6BE7B8B92D81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14a52380406d6e85f69bb8ba800009490ec75cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1854401,"id":"Q1854401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"236bcf1c0b5140a5355119ee0b06013529ec72a2","datavalue":{"value":{"amount":"+0.9143710732460022","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":"Q4364379$00F28448-0187-45AA-A82B-9A75D0D4053E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f0ecbd58d5785e9ed383ec9bf33ddcdc368fd1e","datavalue":{"value":{"entity-type":"item","numeric-id":1286373,"id":"Q1286373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73861aca6abf1542f16ab81b72a773102ba351f0","datavalue":{"value":{"amount":"+0.8370321393013","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":"Q4364379$B49C0914-8F8C-48A9-8E5A-F104F99E4E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c38d515c13d49bc407bc7990ddd667e9c0cc902","datavalue":{"value":{"entity-type":"item","numeric-id":2713353,"id":"Q2713353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400e4c2a096ca110cc5f833cb76c4a9d5c9c7a19","datavalue":{"value":{"amount":"+0.8222419619560242","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":"Q4364379$BC3FE31C-5B18-4764-B770-8681E2E0C75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2024b93cbb3d0b66b9df981be4b3b3ab99ff353a","datavalue":{"value":{"entity-type":"item","numeric-id":3522017,"id":"Q3522017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19430f710c6328f0173d2f74247b6dd9f962f8f0","datavalue":{"value":{"amount":"+0.8197832107543945","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":"Q4364379$75433F9B-0E62-43D1-AB38-543AAC3F7EE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364379","badges":[]}}}}}