{"entities":{"Q4501574":{"pageid":6531167,"ns":120,"title":"Item:Q4501574","lastrevid":47014767,"modified":"2025-12-26T01:28:25Z","type":"item","id":"Q4501574","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1500555"}},"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":"Q4501574$24865455-2E70-4ADD-8C49-BA86B77DBC4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6010ba450b9390baf4091f781be2c14556a4d9d8","datavalue":{"value":"0955.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501574$BF78331E-A5D2-4CD2-ADE0-E2F0B845CFB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501574$42B9CA3C-6267-4FF9-8BA7-1AAAEA82B35D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa467ab0fb5921a8aef55b984db7a2882bc4957f","datavalue":{"value":{"entity-type":"item","numeric-id":877885,"id":"Q877885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501574$41D18869-6C60-4E9B-A2A9-0BDEBC3A8B73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"821776895b8ae7b21a7c293e945d21240df81371","datavalue":{"value":{"time":"+2001-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4501574$0B4E05D5-6E08-42A6-944F-5F8FF00EBDFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501574$B1DF2EDE-AE79-40CD-97DF-EA7EC5466A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501574$375D4C5C-5767-4F52-8E6E-469A136F56FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"463581365212bcf63ecd18ec6de0ea5cf896a08b","datavalue":{"value":"1500555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501574$689DF0F2-262C-44B0-8ED5-EE6202D385B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8a9646b82dbeb50d8df2be83409261d3b2042d","datavalue":{"value":"proof-search","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501574$3BADA894-5D16-473D-84C8-33BDEFBF9DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6722b2209aa11f991e0cccfb18f727af37bf0db0","datavalue":{"value":"propositional intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501574$BE342B7D-1C8B-452C-912A-73A47D4A3994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"602d9d47be335fd28fa65a427b3e24e590e9df66","datavalue":{"value":"structural sharing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501574$161CBD9D-08AE-4BA1-8F21-BC6558BCD790","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":"Q4501574$4E7388EF-CC4B-466C-8B59-351AFC836016","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989f28c9c1e21875261775a6581c68d2eeb842f0","datavalue":{"value":{"entity-type":"item","numeric-id":4540540,"id":"Q4540540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15681735329e53f0dd3af56447944ac94e02ed05","datavalue":{"value":{"amount":"+0.8449927568435669","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":"Q4501574$F95CADD2-3C21-4B87-9288-AAA0240B4D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11e9b9d0f7d471546cf959849cfb3699590e8c97","datavalue":{"value":{"entity-type":"item","numeric-id":4533383,"id":"Q4533383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1212ad064c9de5a7ca922b060a0f47702a6e8012","datavalue":{"value":{"amount":"+0.8008716106414795","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":"Q4501574$6BA041D8-24B8-4AA3-AFA3-F5CDDC9B4D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc991c4163e4d166664b7dca4d293463f6687987","datavalue":{"value":{"entity-type":"item","numeric-id":959821,"id":"Q959821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fdbc020bedfa7ad5d9de93a9830e06a27047e18","datavalue":{"value":{"amount":"+0.7828951478004456","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":"Q4501574$2E0A3084-D6E4-4875-BA98-C604B8F23BE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d1bff0083d5306f78d94ac28e217263fa23a329","datavalue":{"value":{"entity-type":"item","numeric-id":1725847,"id":"Q1725847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6081e90db21e3f9314b38b4540adf8fe8edd8ec","datavalue":{"value":{"amount":"+0.7817280292510986","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":"Q4501574$4A80FCE9-20AF-4668-9116-0BF035DF0D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22fb0405a3492fe98e52c2328cf020bcb32911ac","datavalue":{"value":{"entity-type":"item","numeric-id":377482,"id":"Q377482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70524d5dbc73c24ee132be32c1911b7e13b079c8","datavalue":{"value":{"amount":"+0.7799009680747986","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":"Q4501574$DAF4D196-65E0-421A-9747-8BF90D9B014A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4501574","badges":[]}}}}}