{"entities":{"Q2246876":{"pageid":2257619,"ns":120,"title":"Item:Q2246876","lastrevid":73379178,"modified":"2026-04-14T15:40:58Z","type":"item","id":"Q2246876","labels":{"en":{"language":"en","value":"On a strengthening of the non-isomorphism theorem for provability algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7427861"}},"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":"Q2246876$B471E6EF-EA6A-47F4-881B-CC5072996936","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5438f7684884b9774471551f89d07226b5ec1d15","datavalue":{"value":{"text":"On a strengthening of the non-isomorphism theorem for provability algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2246876$4C7CDFCD-ED70-4406-BA3E-F8F386F28290","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"425aa2e5ad26bf66aee80bc7b6e92f53fa4b0bdc","datavalue":{"value":"10.1134/S1064562421040086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2246876$5652BD5A-F9FF-4064-A8BB-654DCE7C0376","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb227a0b57be51a44a61d42029b2e1bbb007c7f0","datavalue":{"value":{"entity-type":"item","numeric-id":295673,"id":"Q295673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246876$412A7651-C5C7-49B6-B238-C5D1CFC36B77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246876$AE6EAA72-5B88-43FE-8072-5B3BEAF3D265","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"252247ac7a2aacef67f177d58568a968731108c2","datavalue":{"value":{"time":"+2021-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2246876$9DB16825-495D-4035-B7BC-1D0CA31C8223","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2246876$EA8F1032-15D1-4FFC-90A7-F6CB2DD72C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2246876$3D0A1553-4BF9-43EF-B590-0C0C4ABF486D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1beff6df43d002c060ee5c11427940bc71c4816c","datavalue":{"value":"03Gxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2246876$3F639828-85BD-4F56-98E2-94415F02E8FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d45916355b389b3224b4567f25bc673bbcf736bb","datavalue":{"value":"7427861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2246876$A16EE7A1-D209-4A36-A8D9-FE9BC679F882","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbb445ba8ca9ad04e4b537ea375baa526b9c03af","datavalue":{"value":"provability predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q2246876$F16A3F41-D7B3-4A94-A8CF-9285143F7DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0325d55b5f389c2b0f1c2ea058222c99ae14fc42","datavalue":{"value":"provability algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2246876$E1C50B18-4395-43F8-8C89-0A609186231A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b66c6531605642201eac88586885d8f237b626e","datavalue":{"value":"reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2246876$AEC9ABF9-8EB2-4BDC-A7A2-72C6AB523D87","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":"Q2246876$05A82F9D-5C3F-4694-B75A-4094B0C3EB00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d640f99df8711dfe677d32555a8bcdd9bf6d7ff","datavalue":{"value":{"entity-type":"item","numeric-id":1267837,"id":"Q1267837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246876$5B16BF04-77EC-4708-96F1-8B56D5093F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34c2140d076703a39dcbcb7779c23b262d94fdad","datavalue":{"value":{"entity-type":"item","numeric-id":1407608,"id":"Q1407608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246876$5F2C016A-1310-4135-B6E4-E0195CADC212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246876$76379C24-3B7E-420C-AA42-A342C0F53669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"483a01b953055c74a8dec25582f181fa0a844d16","datavalue":{"value":{"entity-type":"item","numeric-id":4121962,"id":"Q4121962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246876$652F0F4E-3864-466C-B29A-A470358AB28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4f68c295c755ab62bbefbc028e75cb15692d6ba","datavalue":{"value":{"entity-type":"item","numeric-id":5561954,"id":"Q5561954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246876$573599B1-459E-490D-BC13-ED3AB14A7A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"659a16183c631a047cc8b56775c679917c0ba1e9","datavalue":{"value":{"entity-type":"item","numeric-id":685077,"id":"Q685077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246876$0DED0BDA-0985-4378-8375-58AF9FAA83CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b2fb5e74b72a9a204e563622b55fb87a335a4b","datavalue":{"value":{"entity-type":"item","numeric-id":4694581,"id":"Q4694581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246876$DED0EC24-D2BD-4DFA-B830-8ADFC7F4AF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fc6f29f777727ceca6ab3cbb6dc22c01c1c64","datavalue":{"value":{"entity-type":"item","numeric-id":4338316,"id":"Q4338316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246876$F7AC2F74-0D9F-4856-A8C8-FCC0F61B204C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2246876$E3F9549D-92CB-45CC-9ED4-29BBC1E323CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80a1582b49daded497446ada8b9a127a011c14d4","datavalue":{"value":"https://doi.org/10.1134/s1064562421040086","type":"string"},"datatype":"url"},"type":"statement","id":"Q2246876$8B5C6814-A34E-4BF5-BE3D-F2A357C5054D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2a72c9fe28e62b7f5d04f6b55f55263d5ac8dd7","datavalue":{"value":"W3212812839","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2246876$8EB425FE-0F7B-44D3-B715-38F6D4891812","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e3ccc43351e4fbf6cf858ccc1688cc08c1b9089","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"915e8d38a769be0fdeb4f87933ad253d027d60e8","datavalue":{"value":{"amount":"+0.6933302879333496","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":"Q2246876$FD6B6766-FC2B-4D07-8DFE-281905CF80A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4031777d3d945d52adcf5b5200d774e4011d591","datavalue":{"value":{"entity-type":"item","numeric-id":685077,"id":"Q685077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"430773e3b6a0bae9ae3bc64afbfc8051d4ad5a27","datavalue":{"value":{"amount":"+0.6922571659088135","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":"Q2246876$08B63966-A4D2-4355-9461-90B6A0DDD43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee61206044655238b0f278c9be83117146ff7520","datavalue":{"value":{"entity-type":"item","numeric-id":4372520,"id":"Q4372520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6261cec746a4fbaff2805ee68a161a68a062b4","datavalue":{"value":{"amount":"+0.6899013519287109","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":"Q2246876$C2EB28DC-F00F-4282-96B5-27A233B0DF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"824c80a8672c6890540ba20bc106286806b9aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":793006,"id":"Q793006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb8b810d257fb4bd74fbae26044b5ee40c3231e7","datavalue":{"value":{"amount":"+0.6859818696975708","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":"Q2246876$35989646-C47F-45EC-B31B-EEEC716C1A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb57636b430decf664ee4c5abcf6237e4a434765","datavalue":{"value":{"entity-type":"item","numeric-id":3483261,"id":"Q3483261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"352bb2aeb37e5ee37e63c5f4e80d10c765d67380","datavalue":{"value":{"amount":"+0.6813409328460693","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":"Q2246876$ACB7C705-DDEF-4EB4-B8F1-667BA833CF1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On a strengthening of the non-isomorphism theorem for provability algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_a_strengthening_of_the_non-isomorphism_theorem_for_provability_algebras"}}}}}