{"entities":{"Q3153199":{"pageid":3163915,"ns":120,"title":"Item:Q3153199","lastrevid":58125336,"modified":"2026-04-03T22:08:16Z","type":"item","id":"Q3153199","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1823815"}},"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":"Q3153199$F7E4515D-890A-48B3-91F1-32EB77484305","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bae203fb148e42149ffe7ac587b19ec135622727","datavalue":{"value":"1002.18001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153199$29B83510-4C6B-4225-8821-29B52FF1EF8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3153199$0DB627A1-E578-42DE-8E19-3F19EAB103ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"057a96f3936b75f566a0a23d243f39fcfc13edb2","datavalue":{"value":{"time":"+2002-11-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3153199$EDCF959F-C709-4FF5-8420-4BD41BB9BD82","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b465b8193d3aa4c8f9193e9875ac8455efa143b9","datavalue":{"value":"https://arxiv.org/abs/math/0111061","type":"string"},"datatype":"url"},"type":"statement","id":"Q3153199$9AD48A42-1E6D-4D5C-9B6F-DEE2A0DCEDEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153199$A36CE5F3-E07E-49A0-BA64-E8FD516590A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153199$DC41DD10-6D92-40BC-863B-5354A427FDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153199$C98C2CF7-8DA1-44C3-9E7B-D65910554D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153199$3FE139CA-5E6B-46D8-B19F-249059DB3954","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b68b00ba22d16e31b23de3cb7ba749ae34b0f377","datavalue":{"value":"1823815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3153199$30E56B81-BF77-4282-A65A-4BC962365A9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb7c57587a9cf6cfbf4920d0ba76515e57df4b14","datavalue":{"value":"functional completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3153199$3A6B6137-99FB-4982-8E1F-45740184685B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e78d1e083bfd2997380d5accef0478c6d7f4bdec","datavalue":{"value":"Cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3153199$2AFE3996-E86C-494D-81B9-3EED2AFCB704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b3e621e000a5c3d196dbbd9db63c4eb08ebee0f","datavalue":{"value":"comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q3153199$99081738-FEB5-4092-A12C-A78439B665D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3153199$1BE9DFED-4B0E-43DB-830A-ABFA543DD9A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10643e55113af8d6a94c359eb5499105bc9e0ff1","datavalue":{"value":"polynomial category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3153199$DC613F23-7003-453B-8FE6-5480FED69820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"310c34382cf03df3dcc2bec21646c54ec1479ba0","datavalue":{"value":"categorial proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3153199$2C3954CA-0C71-4A2D-8DC6-53D776703E77","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":"Q3153199$F9F79BD1-4E37-4DC6-AB49-02CC5493F0F3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba734823adc944777046576f863268cf0a8a7f78","datavalue":{"value":{"entity-type":"item","numeric-id":3749213,"id":"Q3749213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4db19860f9c160e93744be9d21b6ad70838bc530","datavalue":{"value":{"amount":"+0.7895693778991699","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":"Q3153199$146CB7AC-0638-48AE-9886-D568B0418EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b921691b4d2505e7a5c5ded47c65c86ae05c09a3","datavalue":{"value":{"entity-type":"item","numeric-id":3760508,"id":"Q3760508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0272c3a611f7c8a9ddb106be7b9df36db2b78627","datavalue":{"value":{"amount":"+0.7660671472549438","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":"Q3153199$44884962-1E62-4300-93D1-0E89A72A4934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12901f2112901842ef4ac0618c1401f8c4980724","datavalue":{"value":{"entity-type":"item","numeric-id":3682463,"id":"Q3682463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dccfe5f75290edc8990b96e77ee7a19ccdba3eb","datavalue":{"value":{"amount":"+0.7652083039283752","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":"Q3153199$5818DF3E-D349-49EC-8FA0-9DF0EE4FC18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4413f2d4f1b96a82414ee2db1446389d273ddea","datavalue":{"value":{"entity-type":"item","numeric-id":3721820,"id":"Q3721820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62d6727beb609d3ae7c212f3bae916372c4ec1b9","datavalue":{"value":{"amount":"+0.7641909718513489","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":"Q3153199$D806A827-FE76-445F-B274-750566D3FA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c561b53db804a457c959caf979b5f4184a83145","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15021bfcca0922b4a6a2463266beb18da9f1c994","datavalue":{"value":{"amount":"+0.7641662955284119","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":"Q3153199$8F6B6F02-F679-4D84-BCF6-DE0DDAD65975","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3153199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3153199"}}}}}