{"entities":{"Q4375798":{"pageid":6405397,"ns":120,"title":"Item:Q4375798","lastrevid":46994106,"modified":"2025-12-26T00:33:13Z","type":"item","id":"Q4375798","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114027"}},"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":"Q4375798$E0869DE3-D6A8-4A63-9A19-CAB3ACFF9CF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06b91b11384746a7c26d88337d03289a8c62088b","datavalue":{"value":"0890.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375798$0051AC7E-DB87-4D83-A300-5B46F56C3068","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f265f65791bd9957302fd85839e81b987fca6e","datavalue":{"value":{"entity-type":"item","numeric-id":535151,"id":"Q535151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375798$ADA8B6B6-4A2E-484D-A241-EA74E358DB6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"343bbdfc1bb43dae441f96e27db0c3d11b37bc47","datavalue":{"value":{"time":"+1998-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4375798$1431AA81-3E94-4968-8D40-43C5BE74226F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375798$A2D5299D-09AF-4059-B768-E4C8385BF13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375798$6118DB39-4C80-4DEB-80E7-44DF10954DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375798$D0002478-EBB0-4A41-996C-2B849D69C128","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdcebb34c94b5009205628e59d18bee7a594f8cb","datavalue":{"value":"1114027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375798$EC6E63E5-1CB8-4500-A386-DFC69410C208","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5cf452a91820a78acfa765887cac4e94dbce622","datavalue":{"value":"Gentzen-style quantified propositional proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375798$776507EB-23EC-430A-9A8B-4FB9106E6A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375798$CCA5D61A-BFB2-4267-B8A0-B93589DA1994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5dabd1d8c89859f83c987ff426061754669b3eb","datavalue":{"value":"quantified propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375798$D2AF40D7-BFA7-4F3C-8F8F-93EBEEC367EF","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":"Q4375798$E91E1AAA-85CB-473C-A39B-699F8EEF45B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fef675336c16911523bbc6017aad17c385efd46","datavalue":{"value":{"entity-type":"item","numeric-id":3472099,"id":"Q3472099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac0606be2efdbcd3de78a5786da075a7f9e362b3","datavalue":{"value":{"amount":"+0.8112447261810303","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":"Q4375798$4B28C68C-1199-41FC-9196-6DF733276B51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73d28562eb7da4d49051d080abe4925b24b95fc","datavalue":{"value":{"entity-type":"item","numeric-id":3617380,"id":"Q3617380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a2fe0f6606e09c3ed3907d2b5973cf9dab28474","datavalue":{"value":{"amount":"+0.8037362694740295","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":"Q4375798$4B40ED33-6083-48A9-B646-D649966EB1AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d12a8926ad32fe635ba23d0b7aeef387590aecf","datavalue":{"value":{"entity-type":"item","numeric-id":5311729,"id":"Q5311729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a5b30d4d4f322c067606b1a48c3021f8ed59bd1","datavalue":{"value":{"amount":"+0.7842829823493958","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":"Q4375798$76837989-F02B-466D-BBB7-68A8E287F34C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c22a86a4c68b942ede25df9ea7713b7d0d3197c","datavalue":{"value":{"entity-type":"item","numeric-id":5394598,"id":"Q5394598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"324adc5ec86d489e4de066979a44b4f06c086941","datavalue":{"value":{"amount":"+0.7773953676223755","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":"Q4375798$39CB903D-B781-4C9F-BCE2-81FFBB78FA2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375798","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375798"}}}}}