{"entities":{"Q4822148":{"pageid":6851728,"ns":120,"title":"Item:Q4822148","lastrevid":74934006,"modified":"2026-04-15T01:08:31Z","type":"item","id":"Q4822148","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2109538"}},"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":"Q4822148$4281B1A0-A2C7-4C0D-8A68-F26EAE9B0C8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c36cf79a4a4c46b70da4227136318bbeff501c13","datavalue":{"value":"1071.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4822148$0D38176A-DCC7-4859-BFF4-F2DE7A499FB0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d676b080028b49a3114d69f7352481b869673136","datavalue":{"value":{"entity-type":"item","numeric-id":1208114,"id":"Q1208114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4822148$C234B319-9B67-4864-9354-0CA61AB0FB2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f546af23abd448e07d4433a7fbb40d0193bb4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":761440,"id":"Q761440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4822148$99015826-0C57-4EC1-963C-202EF5659843","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1fc9660edc8b3cb7297987537c2c9c6ca4e5fa3","datavalue":{"value":{"time":"+2004-10-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4822148$798744C2-75E2-41C7-82F9-614BEBD11F1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4822148$2AE34F37-7A27-4EC9-8171-398D1220CA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4822148$C99D5F10-C593-4C26-981B-BD6EC8F9633C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4822148$FB3C78B5-DEC9-4A76-8DD6-868AD756E1F7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09fa21cad5bcfe6bae6c7f5824276e9ffaedf095","datavalue":{"value":"2109538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4822148$307023C3-DC17-4DEB-9C9B-9F7495AD2007","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac188209dcaa28b594baba58dc08f1f2eb8fb7c4","datavalue":{"value":"sequent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4822148$BD266C97-F93A-4ADB-A62C-16558B3A4E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4822148$371CF27C-1F62-4B91-89EE-98ABADE7BA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a2a9f912130ce59e7d6c81711aef812f9166fa0","datavalue":{"value":"Rosser sentences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4822148$63973051-2DEF-400D-8150-C8BAA2BA39FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4822148$D06DCE9A-59A1-405F-AAF7-0CCB766A38D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"996f6c99dffcdd26285fd24afec05bf105113c1e","datavalue":{"value":"witness comparison","type":"string"},"datatype":"string"},"type":"statement","id":"Q4822148$770C0FAB-A727-45F9-B1CC-0E0F379EE03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0479a883acd1cb859d6a2b95d869c19c9b809ecc","datavalue":{"value":"self-referential sentences of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4822148$32E955C7-605A-46DB-80E9-F15480F3CF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3434668e9d1ee75db866cf80a9d6a1db88eaca31","datavalue":{"value":"saturated sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4822148$9A40D7B5-D552-4CBA-8C2A-71C923623B27","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":"Q4822148$9A1CA195-02A8-4760-B6DF-FA8DE1A245E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946aff22da8d13cc6aef06c12b8d51770f5a3292","datavalue":{"value":{"entity-type":"item","numeric-id":4304127,"id":"Q4304127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa2ea366629f31e531e1b027cee3ade1899fb273","datavalue":{"value":{"amount":"+0.7300473","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":"Q4822148$50CD09BA-A38C-4B19-9A93-571EA61DEF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dfea18e56c9026db233c6e65d012fbc660acce7","datavalue":{"value":{"entity-type":"item","numeric-id":4817204,"id":"Q4817204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc4dc2c7affbc971a89d8bef16d345305c9a0a5","datavalue":{"value":{"amount":"+0.72896117","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":"Q4822148$EC87A7A6-7CD0-4632-BB4B-E02416BC5C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe543c0663a2589492062b1d231c83d77bd3614","datavalue":{"value":{"entity-type":"item","numeric-id":5203006,"id":"Q5203006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abb8012c0ba20ff85c6e32ad0555962b2a1ba39","datavalue":{"value":{"amount":"+0.7237228","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":"Q4822148$CBADD777-C79E-4692-8548-EFE8ED76656F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0ac52ea3df78e57e6044738608477c9dcdc5be","datavalue":{"value":{"entity-type":"item","numeric-id":5020358,"id":"Q5020358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17b3ec2a761bb2bed00f871e37e1d98f9c21819e","datavalue":{"value":{"amount":"+0.72154343","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":"Q4822148$18DC88EA-2CB5-42A1-9EAD-BDC26827C16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a307164cf0330fc266e30b3a550d5bbe53a23754","datavalue":{"value":{"entity-type":"item","numeric-id":3400308,"id":"Q3400308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56e80bf9e6ca5dee7d75a14e8bd22fbd1b4639dc","datavalue":{"value":{"amount":"+0.7199474","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":"Q4822148$1C128FE2-0DF8-4C6F-B44A-8C8A65498EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49105b71d34520164c1a962a3f9dd09f3a579064","datavalue":{"value":{"entity-type":"item","numeric-id":3714054,"id":"Q3714054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7137fe5f3f22dc51ae41ebb6342b033f901baed","datavalue":{"value":{"amount":"+0.7141454","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":"Q4822148$73613A63-579D-4133-A88E-EC85201491F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6b5a831038fe89a49db381233adf320c69895d9","datavalue":{"value":{"entity-type":"item","numeric-id":1176096,"id":"Q1176096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3c28b430db82576b6e7846e84392ebdae70792","datavalue":{"value":{"amount":"+0.71393347","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":"Q4822148$61030E23-EE67-4B09-A13C-E6FBA026656F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad28e0f17daff51f711d4afd068dd635751c47ed","datavalue":{"value":{"entity-type":"item","numeric-id":5019133,"id":"Q5019133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7890664e68bac1440d6cc9923dd6da3905fa84bd","datavalue":{"value":{"amount":"+0.7093892","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":"Q4822148$140775EA-C462-4904-BAC3-BDE79B1F2049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e47a1e383acbc6467f25a08b159d3f52df4706e","datavalue":{"value":{"entity-type":"item","numeric-id":689195,"id":"Q689195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc16cbd3abceca8742c57bbe2734f1d838735101","datavalue":{"value":{"amount":"+0.7093603","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":"Q4822148$2EFA8663-2D8A-4D24-9CC1-E8EA36B8A324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb44cee49c5ba0662a382d8951185265a574039","datavalue":{"value":{"entity-type":"item","numeric-id":911574,"id":"Q911574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ed8fd05be54849a0cc2d334aab033252003901d","datavalue":{"value":{"amount":"+0.70751035","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":"Q4822148$21BA09EB-1555-4540-8E2B-0D413C71DBEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 2109538","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_2109538"}}}}}