{"entities":{"Q3202988":{"pageid":3213696,"ns":120,"title":"Item:Q3202988","lastrevid":49446145,"modified":"2026-01-07T04:20:00Z","type":"item","id":"Q3202988","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4179330"}},"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":"Q3202988$732D1706-8398-432A-8968-D56409F4D711","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf131d7b64bb5d054a125353812254a355df5b2d","datavalue":{"value":"0716.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3202988$F8E2402D-0010-48D5-B2B8-C8C09C39C9A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3202988$C5D2E505-F25F-41AC-9147-6EAEE5FDFC5C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3202988$7BAF994E-8BC8-4E48-9CB1-7D39C6EF4B8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d47a3ccebeb39412c028444e426d980039f489b7","datavalue":{"value":"4179330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3202988$36985483-A344-40D2-9958-F622FC493DD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3202988$1B77CA1A-E838-42AC-9B92-864E5C46D1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d818093dd65f49f9234b65b7e21b27f7f45309","datavalue":{"value":"strict equivalence of reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3202988$B6479DD9-5F4A-4473-891B-C2AF7FCF9C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86eba3b20403bf1dfb52fa36ab688732bdf5d366","datavalue":{"value":"essential reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3202988$41AA3BD1-F894-4B45-A9DA-2A7853EABC68","rank":"normal"}],"P16":[{"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":"Q3202988$35B6044E-0B08-4E55-B180-15AEF84103C9","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":"Q3202988$0DB2A0CB-4004-4E86-BF45-47CCB4E07755","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f24aac7dd51532e16daa4b44166982b9e1732e","datavalue":{"value":{"entity-type":"item","numeric-id":5453495,"id":"Q5453495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f096db7bfeca7a3aa9f325cd2fcd53e01b9a5e","datavalue":{"value":{"amount":"+0.750381588935852","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":"Q3202988$B944EA52-C564-4AAB-AB59-189708C29FB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f81534303c94cc624f002b2f6441cb7a75400c98","datavalue":{"value":{"entity-type":"item","numeric-id":1322165,"id":"Q1322165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59b2a717a01df97c10c17213bfdba786b9be89c","datavalue":{"value":{"amount":"+0.7471948862075806","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":"Q3202988$3C21C990-CDB5-47F3-92EE-2351E04072B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4f09844710e9f1778fd7a7e76b7cb62b72ca67","datavalue":{"value":{"entity-type":"item","numeric-id":5014809,"id":"Q5014809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4922dc0a66d48704450b55b3e216414840f01d","datavalue":{"value":{"amount":"+0.7432476878166199","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":"Q3202988$088BD066-DC67-40DD-83FE-F4C3280C9992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38d37a044ccb139fb459fb405ce0cdc18876a40","datavalue":{"value":{"entity-type":"item","numeric-id":4880488,"id":"Q4880488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"322e6c360c022addbf310d8e709a94353f75f4db","datavalue":{"value":{"amount":"+0.7399847507476807","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":"Q3202988$F59B4972-3D9D-48FA-84B2-726AF883C611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c088ac95ac906727b69fc2484e544561c6a0758c","datavalue":{"value":{"entity-type":"item","numeric-id":5917605,"id":"Q5917605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6abc569b471153bc8038bb5bd41ba435d4fbd08e","datavalue":{"value":{"amount":"+0.7357882261276245","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":"Q3202988$B7F061E6-97CC-4E37-93E1-86BC95352D60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3202988","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3202988"}}}}}