{"entities":{"Q5111331":{"pageid":7140905,"ns":120,"title":"Item:Q5111331","lastrevid":46185370,"modified":"2025-12-24T00:10:45Z","type":"item","id":"Q5111331","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204452"}},"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":"Q5111331$AE23DFD1-A81D-4A08-951E-81455C8375A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82a004a2d11d7397596160f0f8de8c1f9766603a","datavalue":{"value":"1434.03140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111331$A40BFD7F-FC8B-472A-8787-C8ACBB1DDB95","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05f377508bb60773fd982917157c68668b1c0938","datavalue":{"value":{"entity-type":"item","numeric-id":2133465,"id":"Q2133465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$35664EC3-45C0-4808-8047-FBCF72CDA968","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111331$1848EC6A-952D-442E-A700-715A0378CB2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111331$83035290-75A6-4BEB-BC34-F7FA84E7171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111331$9969B765-9809-45A0-88F4-82BE5DC19C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111331$B028EB70-2715-439C-8FBF-AE93386D7552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111331$704A1FC6-366E-4794-83E7-A135D0AE4945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f3d0b1de78ad0e32d646815f9dc7561538cada7","datavalue":{"value":"06A07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111331$15C1C545-C2DC-4DB1-82E1-2A3D17AAF8C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef4c13cd1423a017b38e1190a9c771b1c8134269","datavalue":{"value":"7204452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111331$9A3C8654-BAD4-4980-BD31-D9AEEFE6F862","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111331$283CEA34-C0AA-4E2F-A5DB-C44691D62AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459ffded74521c7177e183238b11e0b004784b7c","datavalue":{"value":"combinatorics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111331$55CC42A3-59EF-4AD7-91E4-E43E37ADA83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58240fc6fd18ed006ad20ac43f9ca1f0eeabf7eb","datavalue":{"value":"coherence theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111331$3839669B-6B70-432D-AD5E-031A08CBFB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111331$2D6C35FA-2CFF-4738-84D2-0942A877AA62","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$6046B423-D635-4D40-827F-D3E59C231B20","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":"Q5111331$BB606538-D251-47BF-9974-18F7EE0A87A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$B1110594-43EC-4094-922D-0B18BE6ED1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef929152191aee8687c79dcabb3f543b79d954b6","datavalue":{"value":{"entity-type":"item","numeric-id":1003621,"id":"Q1003621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$BC39B65E-0463-4D7D-B3F3-B48A8162D1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e49a58cbc7afbf966d0fb13c25921fab6c1632","datavalue":{"value":{"entity-type":"item","numeric-id":2654598,"id":"Q2654598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$0D3E7C25-81E4-4B2C-B827-977C3365158F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e454b0e871a621215047c9983246312d791102","datavalue":{"value":{"entity-type":"item","numeric-id":1853738,"id":"Q1853738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$84E98F7A-D897-4BD7-A239-60991281DE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255516fbd8d3be27a123a0c2cf468b804bfd46f0","datavalue":{"value":{"entity-type":"item","numeric-id":1746569,"id":"Q1746569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$69C5E938-5DF6-44EA-959D-B3BF36CDA27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc50d2d9bbd65d015e70a4f71ce05557bb019b4","datavalue":{"value":{"entity-type":"item","numeric-id":5540484,"id":"Q5540484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$011A271A-2E4E-4BD1-8E32-42F87E6984EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0977fde376d28d34daa46a337a31110af1502ba2","datavalue":{"value":{"entity-type":"item","numeric-id":2556426,"id":"Q2556426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$2AB612BF-D4ED-4C18-B552-4DB1B184734D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7093a84e71597936873b55b347c7fb01007f7ee8","datavalue":{"value":{"entity-type":"item","numeric-id":2445835,"id":"Q2445835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$2C803D4A-998B-4F77-BDCC-81E581FCB478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$AB62B43F-6942-4A1F-BE74-B0779A3891C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a70b7a445eff353577b4380fefda4e022353ad","datavalue":{"value":{"entity-type":"item","numeric-id":5655527,"id":"Q5655527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$9E740B53-0FBB-4C8C-81E3-573170345BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ba35c641f6bac394c4d02e600bfa2d8d96bf00c","datavalue":{"value":{"entity-type":"item","numeric-id":2554765,"id":"Q2554765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$430B3FD6-432A-4E2B-9696-81D6FC328285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade6f2a16499c24961a39897c344c5cf75313281","datavalue":{"value":{"entity-type":"item","numeric-id":4808736,"id":"Q4808736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$7902B742-F460-4D26-A6A5-13D08A5541DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c9b6f9ca3d171dbf2d02621061387dde3bf612","datavalue":{"value":{"entity-type":"item","numeric-id":433866,"id":"Q433866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$70115733-C9E9-4FA0-9B2D-3D0DB359AC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be2c596a7c2c4b963e6a330ae5d7ce2747e0084b","datavalue":{"value":{"entity-type":"item","numeric-id":408584,"id":"Q408584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$9F2B643C-10E2-49CC-BA67-516956865ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abddcdf77a414c8ac1adf4bfd3e72bdf6dd1851c","datavalue":{"value":{"entity-type":"item","numeric-id":3799259,"id":"Q3799259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$EFFA648C-9B83-4A71-9E06-AA449CCA2FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86948ae383981e54b1af98cd1b8691bd9899e11b","datavalue":{"value":{"entity-type":"item","numeric-id":2859380,"id":"Q2859380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$0D4371CF-F7C0-4C5D-93D8-7F34DCB22321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49399c343e955bbf1db2d01dec318851e42944ac","datavalue":{"value":{"entity-type":"item","numeric-id":5722801,"id":"Q5722801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$80E597FA-AA9E-49A0-8812-95B5473FB584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77a045b2d0227e534aa3b20c3783f27dd186aae4","datavalue":{"value":{"entity-type":"item","numeric-id":2376553,"id":"Q2376553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$C75A339D-9A56-4B18-9B28-0A828A8BAC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b127a2ffd1fcbbeac06e83d274abbbcceeb0621","datavalue":{"value":{"entity-type":"item","numeric-id":456777,"id":"Q456777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$37BD2D14-597D-4C95-A1D9-125B38464BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"204d4b27ff672a29fa4ef105a33cccadddbcd4db","datavalue":{"value":{"entity-type":"item","numeric-id":5825705,"id":"Q5825705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$8186C518-85F7-4472-8B47-E0A527297C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1702dbbf3d37ffe7da1b08f854ae6de4d22b675e","datavalue":{"value":{"entity-type":"item","numeric-id":3287780,"id":"Q3287780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$42269602-CA63-4781-BD51-63412705F43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e61a9b48ca71128fce8e57ee9caf236a47bbe2","datavalue":{"value":{"entity-type":"item","numeric-id":1214945,"id":"Q1214945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$5BD18CD9-7D72-4818-A307-9127450D884A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6e6db951320bd1c7b0775a2451dffe951bf68e0","datavalue":{"value":{"entity-type":"item","numeric-id":2482843,"id":"Q2482843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$E3C517EC-DA63-4C7E-95BD-84334C895B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"253e202097eb04d53b6255a0067675cd0192bfda","datavalue":{"value":{"entity-type":"item","numeric-id":5371978,"id":"Q5371978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$56C0E724-4D48-4958-BCBC-0CECC979C2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee191de69136918249efc60daa2f2828c4c260c","datavalue":{"value":{"entity-type":"item","numeric-id":5111331,"id":"Q5111331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$E3EE5589-2586-4D94-9379-DB0B064806F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"359eca2e90f6b111159ca12a6325d0a82b11ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":3196354,"id":"Q3196354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111331$07D1B972-6681-49DC-AEE5-718EF91E1444","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f5eccd662fcd12cc0f9736be789ad61d99b386","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111331$51E114E4-796F-48A7-9274-CC5D1E1929A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa7161e317a762551411161350806c2a328b67ef","datavalue":{"value":{"entity-type":"item","numeric-id":4625697,"id":"Q4625697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e54c464394ec737fe6579a69e115f0ad1f57500f","datavalue":{"value":{"amount":"+0.9811413884162904","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":"Q5111331$3D65B9A6-3BC3-4D34-8A59-1F03D87AD311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fb037c8e74ec5db2bbb8c1a2a4cd4b12da2b997","datavalue":{"value":{"entity-type":"item","numeric-id":1336690,"id":"Q1336690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98e18250b274761c576eac9733c7cb72615b53a6","datavalue":{"value":{"amount":"+0.70748370885849","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":"Q5111331$D6EC1F39-E5D2-45B2-AF5C-E6212A81FEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f52d45ee35d989c1dd4f1ddcc387d3f4412d98c3","datavalue":{"value":{"entity-type":"item","numeric-id":5746145,"id":"Q5746145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da53a9cacdb613bfae60c8c331d14373565c756f","datavalue":{"value":{"amount":"+0.6932036876678467","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":"Q5111331$FD0EE024-F05E-47E9-802E-150FA1D1EDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094f44ca9867e05e20f4d233352490800ae081d9","datavalue":{"value":{"entity-type":"item","numeric-id":2654598,"id":"Q2654598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b867518bedf7d7209c98562793780f31ea25e562","datavalue":{"value":{"amount":"+0.6913344264030457","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":"Q5111331$09DAA96D-ADD8-43D5-BB86-FBDC95083B48","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111331"}}}}}