{"entities":{"Q4440824":{"pageid":6470423,"ns":120,"title":"Item:Q4440824","lastrevid":41825204,"modified":"2025-05-08T18:48:31Z","type":"item","id":"Q4440824","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2020175"}},"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":"Q4440824$B57999A8-27D3-4448-B1CB-4F8CDABF0B2E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b58ba9b268445a18d530e7a82a70c9d1850caba","datavalue":{"value":"1036.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440824$156CB7B7-C499-4D4D-AB01-65477BEFDFD9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0abb4f1c0073438793d43eb9c7ac443b64bb74b3","datavalue":{"value":{"entity-type":"item","numeric-id":1744399,"id":"Q1744399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4440824$8A20E9FF-FC9A-4203-8C21-A1430211B85A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8529a07395758c7f92e5bf2b02863c3fd7bf325","datavalue":{"value":{"entity-type":"item","numeric-id":1005957,"id":"Q1005957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4440824$2C8DCC91-65BA-495B-B803-0D41ACFBECAA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16179fdf9dd6b498fad3f9e77d522b325315bc5c","datavalue":{"value":{"time":"+2003-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":"Q4440824$9E720D1C-21C2-49E6-88E6-208F0B2B7EE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440824$AA40F228-BAC6-4CE4-9B06-740F6014F24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440824$0DF80A6F-88D0-446C-B2D6-CABDDAAF9325","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f41210d4fb9cb67530170a280dc27453baa0832f","datavalue":{"value":"2020175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4440824$C781D60C-C7DF-486A-BFF9-566BC4158824","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4b757adc1864d15cdc041f34100af294e9405b3","datavalue":{"value":"proofs as graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440824$1C953B19-EAC2-4ABE-BFB6-0FCD928485BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2cbe06396d5867a36aef9c1e224c04be21db862","datavalue":{"value":"geometry of deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440824$D930086F-D483-43B9-95DE-44A0761229AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4988e5e40921b1bf7be0dde48252438edc6a3bb","datavalue":{"value":"proof-net","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440824$3A11900F-F5E9-4A43-9E12-AC0B9DE4FA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7922c79235032f78dd6d2b449b362a905a29a30d","datavalue":{"value":"logical flow graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440824$16745C65-536F-4C8E-BE61-B475498B19B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d13ef687f0f317b343c90e24fe262e18b41e8a0","datavalue":{"value":"structural properties of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440824$243A7B9A-DDE7-4075-88B3-C48E91098EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440824$0AB538DE-2CCC-4BFB-82E4-D8E3E91E1EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8944a8df46e38ac923d34fa1644ba629a6d6097b","datavalue":{"value":"multiple-conclusion calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4440824$D468DAEB-FCCA-41F8-8454-D521869A5805","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":"Q4440824$347BA2DC-2F77-4310-83CC-DB4110629957","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"399918cf55d808cb65772851cacb582ed948505a","datavalue":{"value":{"entity-type":"item","numeric-id":6535443,"id":"Q6535443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c38986eaa53bca765c84b201f0defc94b363c2","datavalue":{"value":{"amount":"+0.9129771","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":"Q4440824$BCC34B87-C412-496C-AE16-E47EC6A0ED9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f58535ca4d35f905e807fddb3730d98ef36b02af","datavalue":{"value":{"entity-type":"item","numeric-id":5483299,"id":"Q5483299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4592b134590a0078f0af92ad5416b7980b211f5f","datavalue":{"value":{"amount":"+0.90414655","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":"Q4440824$11B10D63-60EB-4B43-A4A6-11A23299C3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbf46aad459119c33004925957d08c945d98d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4222817,"id":"Q4222817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7460a59a0aea6f91bf8f5974f9013ba92aef590e","datavalue":{"value":{"amount":"+0.8999655","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":"Q4440824$86897302-AA63-4CB3-88A2-3925B28DD1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aceb6193b839b2b7abca1faf70f963d763aa54f3","datavalue":{"value":{"entity-type":"item","numeric-id":1124373,"id":"Q1124373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d0e2b01c8d3ae2376b175fcbc93b7ed787f5566","datavalue":{"value":{"amount":"+0.89845353","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":"Q4440824$9001B9E0-C1DF-4338-A63D-E0AD1AC091FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b5d94eac23b34bee4cebd91c0adbe4274e61aed","datavalue":{"value":{"entity-type":"item","numeric-id":4964705,"id":"Q4964705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0a34854d44cfd786173a3c41bb2e020183f32d6","datavalue":{"value":{"amount":"+0.8962238","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":"Q4440824$B08F0ABF-7E16-47F1-AA05-0297A35249BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f7b60e1605e7f42178b8d7d7d5e757e69e556cd","datavalue":{"value":{"entity-type":"item","numeric-id":1855223,"id":"Q1855223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd6e5a4b7056fcaafb4ac68cc7121d18b2d11a26","datavalue":{"value":{"amount":"+0.89485824","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":"Q4440824$CC15D5BB-7432-4860-812A-08FA8F497556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2615d28fe6ac414a94711fcffe21ac421e92c16","datavalue":{"value":{"entity-type":"item","numeric-id":638496,"id":"Q638496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f9c264b8bf50d7305ada776f0ea600b968f3424","datavalue":{"value":{"amount":"+0.8924221","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":"Q4440824$530C0778-E9EB-4281-BC04-85A3E5DAB009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81c767d8b0e2fcbe638ab8ce9edcedf6d7e403dd","datavalue":{"value":{"entity-type":"item","numeric-id":5145617,"id":"Q5145617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"606f128295d2146e3dc0787aa913fd7a4cb6c8d4","datavalue":{"value":{"amount":"+0.88995075","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":"Q4440824$0A13760B-DACE-4DC0-9D92-9619577CF8F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4542d4f6ee9ed97205b6e68ed988ac4f3df1a721","datavalue":{"value":{"entity-type":"item","numeric-id":4531856,"id":"Q4531856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3d9db78040b9b8d221d395e3e3222cceea1eed3","datavalue":{"value":{"amount":"+0.88921833","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":"Q4440824$A3DD976E-D2DA-4491-AED7-986BB69E828D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4440824","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4440824"}}}}}