{"entities":{"Q3800028":{"pageid":5829934,"ns":120,"title":"Item:Q3800028","lastrevid":53204147,"modified":"2026-01-24T11:09:14Z","type":"item","id":"Q3800028","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4066873"}},"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":"Q3800028$EEA723B0-7D31-4CFE-BBE5-F05D5964CEAF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62e598951ce441f3a254da379a2c8f0a908fa2ab","datavalue":{"value":"0654.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800028$AE89BA9B-8A03-49F2-8179-F914250DBAD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3800028$91344265-188B-4760-A01B-8C6531CE4B83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800028$6BCC62CF-AA88-402A-BF2D-E335CFE2D1F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4910cc85966763a6903a23aea36a24ef571a3662","datavalue":{"value":"4066873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800028$F9723D93-9299-4E85-BD82-4166153890BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800028$0E507D28-B013-4EC9-8C13-D39E9FB87EA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0836092e1fe2f2c9bcc68cbbaa259608b2f6de67","datavalue":{"value":"axiom of choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800028$A9276793-FEC0-4FD0-B61A-F762715876A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"484314a94bce6026a60999b15fb6d54ca92a4478","datavalue":{"value":"epsilon symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800028$03910905-FFBA-4B13-8861-B0EE59722E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800028$6911A3F1-270D-4C80-ACE1-FBFD29D5CE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3e60c382d34494b5fd80dc7c38b43980673d4b8","datavalue":{"value":"absorption","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800028$D931F37E-22EB-4480-8875-066F22F67CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55a6a84515fba32d28d5c23994a1c60e12a78f17","datavalue":{"value":"cut-free derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800028$7EC63F45-9B35-4641-B28D-181E5699D2D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d40e6d2405da5e9ed64329175516386d141b33af","datavalue":{"value":"semi-valuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800028$E79062E0-6223-4EE2-AA7A-F6308834D5F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3800028$3AB16B7D-1410-42B1-9459-5509E4B57BF3","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":"Q3800028$7E1DB503-84B1-47AC-A1A6-842590510533","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d67d9b51c61b2737bd193bacd639c3b1e7c8221","datavalue":{"value":{"entity-type":"item","numeric-id":4376051,"id":"Q4376051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a862a4e9e404cb24f26f045a826f87472b27c4ce","datavalue":{"value":{"amount":"+0.7977091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800028$90B756E3-1E07-489F-AC3C-FBBE1DA0425D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8f66a489876e1fc8fbb25b2934e6eaef2f2a678","datavalue":{"value":{"entity-type":"item","numeric-id":4262565,"id":"Q4262565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf228d6a90b1b1256e7ebbd16bd7f98fa0f38ce","datavalue":{"value":{"amount":"+0.76448995","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800028$889566F7-43B2-4DF2-A691-6F76B537821E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"850ed4a0fba3c62050ecfff6d5d022fa617a60c8","datavalue":{"value":{"entity-type":"item","numeric-id":5896461,"id":"Q5896461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c09df087591877cca409e97ccbf7fa27eebac3","datavalue":{"value":{"amount":"+0.74297595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800028$7B8E6693-06AE-4058-9628-D06AA5DD5676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"855f9f7330449aabf0d09459a5ba02bd1679d894","datavalue":{"value":{"entity-type":"item","numeric-id":4961867,"id":"Q4961867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48e892e91523b34562ce329e745ead4d8ad6bde1","datavalue":{"value":{"amount":"+0.73868006","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800028$D7A898F4-0E21-44FA-813C-06667067EE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb85740cec58ec7a36ef91932ed08f036161c0a","datavalue":{"value":{"entity-type":"item","numeric-id":3644841,"id":"Q3644841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca4d4df5bc8904580829c2ec65e4f4668c1564c4","datavalue":{"value":{"amount":"+0.7361074","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800028$64C85D74-7FD1-4BC8-8FDC-3A7F877A6917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"933f31e0f582d4b33184ff8b7c003da49410303c","datavalue":{"value":{"entity-type":"item","numeric-id":1575930,"id":"Q1575930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baccce4af0cd7df108ebc7af43fe67d90d2e78c9","datavalue":{"value":{"amount":"+0.7322206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800028$7E58389D-48C4-4C04-8615-C5C2582C749A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f799ea85cd325460f0926c7b572d15c7111dff28","datavalue":{"value":{"entity-type":"item","numeric-id":4395549,"id":"Q4395549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"332d27525cffdd48b6d0f04457140d3cbe7a7dbe","datavalue":{"value":{"amount":"+0.72647864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800028$514964F1-C827-4712-89C5-D71BB8F79F29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b67bffec3e8ff84fe4c320017461e4652ba0c6","datavalue":{"value":{"entity-type":"item","numeric-id":4268451,"id":"Q4268451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"475b7e67fb2759addcbb4158746aa95fd750ccf8","datavalue":{"value":{"amount":"+0.72374374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800028$C4B83FEF-E835-4C77-A1C7-E8FDE8A2ED3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cfe35f01597c59a79d7085293ee38ec71a3c4d2","datavalue":{"value":{"entity-type":"item","numeric-id":5927981,"id":"Q5927981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c38796412cdbaf7062bd9879f02f06202148a7c6","datavalue":{"value":{"amount":"+0.7204507","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800028$29030520-96B4-41E2-B6B3-2DBF04A3212D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e03bfd53fad234531b01b064e3844de080abfa","datavalue":{"value":{"entity-type":"item","numeric-id":3105688,"id":"Q3105688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd037c830289f03ddcfd447982257034fa5428ea","datavalue":{"value":{"amount":"+0.7192757","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3800028$66EAA5D6-E880-4893-AEDC-621472161B01","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3800028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3800028"}}}}}