{"entities":{"Q4436028":{"pageid":6465627,"ns":120,"title":"Item:Q4436028","lastrevid":58253520,"modified":"2026-04-04T10:47:53Z","type":"item","id":"Q4436028","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2006632"}},"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":"Q4436028$421D9EAD-93FF-4059-AD8E-F33B8DD7BDC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c898a3bd3db67a7cf4fce3a3458c8b1d4970c9d","datavalue":{"value":"1024.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4436028$376D47D7-4D4D-45A2-9DD5-0AA4A7579126","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":"Q4436028$BC8FD46C-0C83-497C-AE75-D4E0649C5BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"560fadb272ba9670b6f7e2522deaa7e7e693aa5d","datavalue":{"value":{"entity-type":"item","numeric-id":383358,"id":"Q383358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4436028$BFBB0CF1-F501-45BE-9935-7ECB7A2E2C1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1382cc090f507a328521fdf5ef591a7b9c8325","datavalue":{"value":{"time":"+2003-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4436028$29DCE1B8-B6CC-490D-A341-5A23BC11A611","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"085e3d20c474a89702d61a0ebd855bf5e9e23a74","datavalue":{"value":"https://arxiv.org/abs/math/0006091","type":"string"},"datatype":"url"},"type":"statement","id":"Q4436028$A6864D29-79D5-441B-94D8-FFEEF1232D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ef229d7c50e25134b9302a4e619beef1ab32f8d","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2183/21830078.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4436028$9BB38DA9-BD47-42CB-A0F7-20A31D5CA795","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4436028$40786EFA-6210-456E-8570-C4F9F115D8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4436028$A52E28DE-54CF-4E90-8B31-C0D864BE2B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4436028$6059727A-2EEE-4F67-905F-95A9B7D44804","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa54c050a9b70cdac315a07431058018a4d92a14","datavalue":{"value":"2006632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4436028$CDDDB115-ED33-4A5B-836D-1FA36CBDC7BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"310c34382cf03df3dcc2bec21646c54ec1479ba0","datavalue":{"value":"categorial proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436028$52F9B6F0-2C71-4685-8E35-7753C6996DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afb17cf4e967d2d2e5fd3f128202f272e869fdf9","datavalue":{"value":"conjunction and disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436028$3A02CD73-475F-4AD1-8805-F6377437A9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3062d6a88fc18a7268c19ddf9482b77f07b5cf41","datavalue":{"value":"decidability of equality of deductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436028$F3C38F7C-5494-4526-9BFF-291FFEC218BC","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":"Q4436028$F90FE482-3C41-4341-A3CB-EEEEDF202FEC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e610a91b77c5f00f1f92d8942af2fe0e392804a0","datavalue":{"value":{"entity-type":"item","numeric-id":1059704,"id":"Q1059704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b54b267a7ebb14ff282eecc97ffdd30aba9813a3","datavalue":{"value":{"amount":"+0.92887783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4436028$A85093B7-0688-4BBF-892C-CE1F59000B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ddcf435da8cb03d4f4ab09c3d38ed06b1999e94","datavalue":{"value":{"entity-type":"item","numeric-id":5068207,"id":"Q5068207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"880c89515668a6d0ed498c816e03a1a9cb552881","datavalue":{"value":{"amount":"+0.9267831","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4436028$ECFFEB6A-CDC4-4783-9DDD-A122EFAF976F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60dd0e7116323a0edbe8ce2b223be92d5ed93ce4","datavalue":{"value":{"entity-type":"item","numeric-id":3456348,"id":"Q3456348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89db767bdfc293fa85aacee5c79a4415e21ae5fb","datavalue":{"value":{"amount":"+0.9266616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4436028$6278CC33-BE45-444B-B366-92F7A0E13207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e04a2c3c89ee8c7748aa151102c68a7c364a489c","datavalue":{"value":{"entity-type":"item","numeric-id":2200954,"id":"Q2200954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"893b416130ac4d95581bbed860f40364dfcc6acb","datavalue":{"value":{"amount":"+0.9203498","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4436028$DFB62EB6-97F0-4065-9044-6BF12447C77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9ca0e4d4c0291b052485251c3965fc4422970e9","datavalue":{"value":{"entity-type":"item","numeric-id":5037746,"id":"Q5037746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988b428d3c306191ff5db8d6b8f30a6d46492c66","datavalue":{"value":{"amount":"+0.91883504","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4436028$DF483DAB-DFC6-4808-92BE-CC1D48DB3B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07415e7c22a29257bc00fa4d1a4c7db430679e0c","datavalue":{"value":{"entity-type":"item","numeric-id":1421734,"id":"Q1421734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8c6dfe5f3bc1c05b096850ec2c066ea35b5423c","datavalue":{"value":{"amount":"+0.91764337","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4436028$61612BF6-AF38-4B69-BEC5-9D1A3A54A9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2493e160f508d4ae780409e9e19d30aa21de4352","datavalue":{"value":{"entity-type":"item","numeric-id":4842056,"id":"Q4842056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4aab324b27755d5093bb4e7275929938cf6c0ea","datavalue":{"value":{"amount":"+0.9162478","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4436028$3994C4A3-D27A-4ABA-BE7B-780CBD7E172C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d26c1c141070184ca87e5eb6b334148b1e308e","datavalue":{"value":{"entity-type":"item","numeric-id":3832738,"id":"Q3832738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73f67bd0bb2deb2c1ffec069097919262b7a4fab","datavalue":{"value":{"amount":"+0.9149446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4436028$449A8C1F-423E-4716-B388-CD25FC0F43A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"930a25972ee46357628c6ba47289454a904e3173","datavalue":{"value":{"entity-type":"item","numeric-id":2187735,"id":"Q2187735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7aad7fbdf7c1c030c08f9acaa0f28b603e3795a9","datavalue":{"value":{"amount":"+0.91408765","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4436028$0A75C6EE-00BA-4000-985C-2BA58C2781FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f2c42dfb146119953040bb068328e0758df9969","datavalue":{"value":{"entity-type":"item","numeric-id":1575878,"id":"Q1575878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27d5dd56653a23df462f5aa4a393d0385886a12f","datavalue":{"value":{"amount":"+0.91028315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4436028$38E2A5E8-53D9-4D4D-8993-18D06FF38370","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4436028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4436028"}}}}}