{"entities":{"Q5111441":{"pageid":7141015,"ns":120,"title":"Item:Q5111441","lastrevid":58429710,"modified":"2026-04-05T04:40:03Z","type":"item","id":"Q5111441","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204561"}},"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":"Q5111441$CF5E1127-6A49-41D6-B43C-BB6F4CECC67B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8dd87945623432718394d4cc15c8eb96de430a1a","datavalue":{"value":"1442.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111441$1FCB369D-C386-4677-93D0-647C7C33BE36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f681530f1e601559ae451198ac16d4e80569d32e","datavalue":{"value":{"entity-type":"item","numeric-id":436401,"id":"Q436401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111441$440BA689-3836-47CA-9C8E-0553CD024A5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111441$691F15BF-76FD-4082-9A4A-D7DE985970A0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"178a0b432af053817050d6a37d39fe2097342df6","datavalue":{"value":"https://arxiv.org/abs/1501.06522","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111441$97DA6DBD-AB38-4282-8717-DFF0A8D7DED4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111441$50669933-1141-41C4-81D4-8B7EDDD1F197","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07260ac7be77aabbebcf4d42e58c7177b66b6551","datavalue":{"value":"7204561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111441$8A2F0A2C-7EAE-47D6-8E15-EC5F20A6AC36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcab9163f53d6e5a171b7b1c65e7d87f375401bc","datavalue":{"value":"proof reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111441$625B7AE3-0205-4BB5-8050-A8041B381CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ac0247726491e51a1a9dad4fadbff313f8e488","datavalue":{"value":"simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111441$C14CF570-02D6-46F3-8A7A-A873468945B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aacdd9e6b1e081b5de4688ca768accb91a2c66bc","datavalue":{"value":"calculus of constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111441$AB59A329-5DB0-4A89-ACD1-138B9CEC760C","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":"Q5111441$5FD73F7E-F358-4BB3-8845-9B47AD9F78B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"656f6e1aa163f911f56b64f42e9b145fe3ecb07b","datavalue":{"value":"10.4230/LIPICS.ICALP.2017.109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111441$21DA5F6A-138B-450A-9D7C-3B41DFA9ADBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e0337194e443d10e848130d88804fc6a3f10aa3","datavalue":{"value":{"entity-type":"item","numeric-id":3655204,"id":"Q3655204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42398ca9c64822aee02f11b09af2e2a76c46efb1","datavalue":{"value":{"amount":"+0.89649963","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":"Q5111441$4DA91656-B448-47B6-9EC8-947BDA301570","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8523f9fbdd0cb5d75658db58f361aefd862698","datavalue":{"value":{"entity-type":"item","numeric-id":4903716,"id":"Q4903716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b6fd809a092f494b04f9e92cf10a07b336e5470","datavalue":{"value":{"amount":"+0.8888388","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":"Q5111441$24AD30C3-D0C3-4513-80C1-5795EFEE0D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b0a50e466707129605d225106e5b7250c6fcc1","datavalue":{"value":{"entity-type":"item","numeric-id":4635600,"id":"Q4635600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748cc15366ef2014d7354c791196a46f77527c1a","datavalue":{"value":{"amount":"+0.8886769","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":"Q5111441$016AB6E6-8CFB-4B85-84C5-21A2C1F26838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913fc751b45e48cac9dbb02d65e0dcf57f87f99c","datavalue":{"value":{"entity-type":"item","numeric-id":4261066,"id":"Q4261066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cbb1e6be98701e97f5a7fbb6822148fc13f4c0","datavalue":{"value":{"amount":"+0.88604957","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":"Q5111441$D05CACD6-CA65-43AA-B5FC-5D4CADB7861A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6036cfaf18e9c4dd09c938069b152227b730f74a","datavalue":{"value":{"entity-type":"item","numeric-id":4923379,"id":"Q4923379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d77a98a7fccdf3cbff9c9402a01b4e791c86e0ff","datavalue":{"value":{"amount":"+0.88587993","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":"Q5111441$896AC8E4-2929-48AD-8C6A-D8E1DEBE6E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"527ed1ff046149b21a3ec2c8d4a731f50c711513","datavalue":{"value":{"entity-type":"item","numeric-id":5897473,"id":"Q5897473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2332e7a9c026b65292efe4b6c35735f99eaedfaa","datavalue":{"value":{"amount":"+0.8855703","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":"Q5111441$EBDBE98E-C257-4793-AD9E-4AD2385FEDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6891d3808ff2865a0226f7b986b63dba00ebf668","datavalue":{"value":{"entity-type":"item","numeric-id":2142091,"id":"Q2142091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c7012c755494649eb43ff7edd3a9ce240cb6f9","datavalue":{"value":{"amount":"+0.8841747","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":"Q5111441$04757344-77D3-46CD-8D27-C0E00C5D6226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1601b8c796d8b20e76b5fba486f8da6ae71efa7","datavalue":{"value":{"entity-type":"item","numeric-id":1117213,"id":"Q1117213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91307a6b4e961c18b9c673bebda3264fb383f472","datavalue":{"value":{"amount":"+0.8838472","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":"Q5111441$CEFDE8C2-CE7C-4637-936F-D78796FFE7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac4210ededdbd74bb5091bd7e9879f5bf4eb1dd0","datavalue":{"value":{"entity-type":"item","numeric-id":4452617,"id":"Q4452617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8695b6b2f3615e83cdf6522e4b0cfb2774452acb","datavalue":{"value":{"amount":"+0.88353825","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":"Q5111441$EDB7D132-CD18-4177-A04E-A46D527C3FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e39dbd2fc855554e505b91049187a5f408000dbc","datavalue":{"value":{"entity-type":"item","numeric-id":4681890,"id":"Q4681890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7043338fd4d18f10ecdf6c74f1d7a3d709058f2f","datavalue":{"value":{"amount":"+0.8833387","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":"Q5111441$8FFEF7CC-A1CC-4492-8CD0-5E4B51DAA480","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111441","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111441"}}}}}