{"entities":{"Q5376325":{"pageid":7405899,"ns":120,"title":"Item:Q5376325","lastrevid":40886878,"modified":"2025-04-13T19:01:24Z","type":"item","id":"Q5376325","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6938205"}},"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":"Q5376325$BCCE2759-B89E-4079-810D-B6E8F4663E71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3db0999a6f661ced42cd73ea55ba908cf2607739","datavalue":{"value":"1441.68277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376325$CF4A6A25-ACA2-4253-A9F5-DA8B4D237E49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f955ec65c1f597cefb161d31950ea1641f654fb6","datavalue":{"value":{"entity-type":"item","numeric-id":5376324,"id":"Q5376324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376325$FB585474-6116-4A8F-B319-1FBE11E4533E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71ce7679c4eb6b3685fa3533339cfb542936a412","datavalue":{"value":{"entity-type":"item","numeric-id":3122077,"id":"Q3122077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376325$B2025E60-EB86-46F9-A302-DE829C08806C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6a9e4ccd1da5df8d41e511376d1e8cc0cee40c8","datavalue":{"value":{"entity-type":"item","numeric-id":2050327,"id":"Q2050327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5376325$9B5CDD63-B899-449D-9D6C-F29D1EBD9A37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b659f459f103c6c1eb03033eb788f40be26f86f","datavalue":{"value":{"time":"+2018-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5376325$32FCFEF2-0C14-4BE9-B99C-CC0CDEA180E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376325$21BBE3B7-76E9-4FBB-841B-9082617E8468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376325$0850DE3D-714F-4CDD-A520-BA9FC8D5E0C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64d5b7f6b5fdb443385ce9527c1521c0b47b195a","datavalue":{"value":"6938205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5376325$8DE8FDE0-AC91-451B-9BC9-76BE05C35FC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e211fc7e93c98223b55930e9945e91aa6e9cdfeb","datavalue":{"value":"formula schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376325$3EC10076-C9DC-4B79-A852-183C25AA965B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376325$5D63450C-688F-42B8-A92B-166515754B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8a9646b82dbeb50d8df2be83409261d3b2042d","datavalue":{"value":"proof-search","type":"string"},"datatype":"string"},"type":"statement","id":"Q5376325$C8D0284C-F792-4BB2-8346-A64F6C75A31F","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":"Q5376325$AC59D2A1-6530-4708-B069-77A37084A3E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6706f674745437a28e826927d52883b093061b9e","datavalue":{"value":{"entity-type":"item","numeric-id":2988387,"id":"Q2988387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcbe435bbf8006a06bc5e276fb8af7c9c37d6a35","datavalue":{"value":{"amount":"+0.93570983","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":"Q5376325$B46D918D-6747-4F33-8E1F-9F1FBA410BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7981ba232c8847b9a162827d20a710c9039428","datavalue":{"value":{"entity-type":"item","numeric-id":4255504,"id":"Q4255504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70d894ce7863c0d9e5a4356b5f4ae7b88b5137cc","datavalue":{"value":{"amount":"+0.9056695","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":"Q5376325$3DBB66E4-08BB-4CC5-93CF-84D86892C820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050391e3f27b8bfab5af09f69bc4e968903fe067","datavalue":{"value":{"entity-type":"item","numeric-id":4871733,"id":"Q4871733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"658603b165ebee8872285534fd2162308644bccf","datavalue":{"value":{"amount":"+0.9053222","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":"Q5376325$E0C4F780-BD05-4F15-AAC7-32E78D508D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b9adad277afb75e602d33ddfb27ccf51947b183","datavalue":{"value":{"entity-type":"item","numeric-id":4539642,"id":"Q4539642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fcdd437c5d454042389864fad2325bb610c254e","datavalue":{"value":{"amount":"+0.8918988","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":"Q5376325$654D09FE-27EE-4353-BFBF-45352168411E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5f69c789071bf14a8417081271429c23160ada","datavalue":{"value":{"entity-type":"item","numeric-id":4816538,"id":"Q4816538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e8f71fbbda4bda75eef4de867814effd7a5863a","datavalue":{"value":{"amount":"+0.8890652","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":"Q5376325$1B050F7A-1908-435F-AE4E-FC4AD565117E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2651dc685e3510fae612d1697c2cc86fd464987f","datavalue":{"value":{"entity-type":"item","numeric-id":3498428,"id":"Q3498428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6de2e7e68105b926e921bdd23aaa46adf8a3e526","datavalue":{"value":{"amount":"+0.88767236","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":"Q5376325$0C3A7420-C11F-4734-8839-69538F9E6331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd4e16ca1cb0cf967baab16095777ff595e9eba","datavalue":{"value":{"entity-type":"item","numeric-id":5186757,"id":"Q5186757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4b6566e7a99f21ebf95ac0d646044a15e2e3c38","datavalue":{"value":{"amount":"+0.88658583","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":"Q5376325$25F19ADA-B0DE-46BA-A028-16D92FBC43A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"520cde98e21b3e6cc794ac8de426ca7c5daf2365","datavalue":{"value":{"entity-type":"item","numeric-id":1675786,"id":"Q1675786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f6f31030fcdd8369d888e2b41fcd92976ad7345","datavalue":{"value":{"amount":"+0.88433427","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":"Q5376325$78907AEE-ADA1-44EF-B49B-E92C2057AB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6540b6ab6d92113a91ff958757755562350221b2","datavalue":{"value":{"entity-type":"item","numeric-id":4934147,"id":"Q4934147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8109beeba10bbb323d9a853d9dae94529708e98c","datavalue":{"value":{"amount":"+0.8842752","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":"Q5376325$0F16FAAC-9532-4E5C-B2B4-D661BDA97313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"739c9513b8fdb87c5ba056d95a097148e536dfa3","datavalue":{"value":{"entity-type":"item","numeric-id":5902363,"id":"Q5902363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40173e3b983b5604150c380c7f63dba7e2fbab71","datavalue":{"value":{"amount":"+0.8789855","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":"Q5376325$A9E3CC1C-70B6-44E2-ADFE-A61834B19EA7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5376325","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5376325"}}}}}