{"entities":{"Q3942386":{"pageid":5972291,"ns":120,"title":"Item:Q3942386","lastrevid":55056232,"modified":"2026-02-03T06:05:05Z","type":"item","id":"Q3942386","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3759536"}},"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":"Q3942386$51988EBC-56C6-427B-AB4F-D1011A8CD66C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4978806be794c12bdd7e99169da9812d27005442","datavalue":{"value":"0483.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942386$2E194E02-8381-4120-82E0-D845D83B95DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb24e71fa0848ff25aa538d02585705362e3fbd9","datavalue":{"value":{"entity-type":"item","numeric-id":583192,"id":"Q583192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942386$89124802-3DAF-4F56-A72E-87C31B205885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d8083e5daeb2aefc31d533bbd212fa0607d03b","datavalue":{"value":{"entity-type":"item","numeric-id":583194,"id":"Q583194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3942386$D1B2AB7D-3AA1-4182-AC43-43BBB345BBF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3942386$627A4695-75D9-4F9A-A5B0-31246D5CEF44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942386$E599AD8E-398B-4D07-9A33-92E9E15908DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942386$087F3A1A-7032-44E8-85B1-5131F1665246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942386$FE9DAB15-2CC3-4334-8168-94B1F3B3CB79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"762dd1680101f2cb5f3714f51eefddbbc966391a","datavalue":{"value":"3759536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3942386$CE7D1E67-E99D-4437-A99C-77C63748094F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56716f85ac0ca15645175c328e07d0d6597ef29a","datavalue":{"value":"algorithmic content of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942386$DF8AF081-B651-40BE-A3DF-C13214E54A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e957915c4bd3263ddeaf24b054dddc6b779ee5e","datavalue":{"value":"proofs as programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942386$4A315A7A-6C4B-4716-9A65-7BC3D5B00266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72245df2a035975379239945600b3dcfb0bbce53","datavalue":{"value":"proof-execution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942386$E5A8348B-572C-47AB-BBB6-C1596EFA118E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942386$DE57CC51-6FFD-467C-8F4D-586AB8BA82DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942386$23456EDB-4324-43BE-B118-724B85123CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d7fc3e71dbb7eec2d6df7126fb5ed8550ec03c6","datavalue":{"value":"pseudo-truth-sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942386$07BCEFFF-D30B-4E12-85C4-E732EDFFFAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"179541f977de19ab0ae247665b0c020c35a3c86f","datavalue":{"value":"uniform evaluations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942386$0FD28F24-700B-4FD3-A240-2D5C20A2CD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e362ea8e0a1e4d4321d15bba61b9102b0867b47","datavalue":{"value":"algorithmic completeness of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3942386$FAFEE8E9-B5B6-419C-9BB4-486D702A75EB","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":"Q3942386$1028A2F8-3775-455F-A2E3-33C72C95F4EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3942386","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3942386"}}}}}