{"entities":{"Q2701199":{"pageid":2711943,"ns":120,"title":"Item:Q2701199","lastrevid":56917494,"modified":"2026-03-24T15:45:11Z","type":"item","id":"Q2701199","labels":{"en":{"language":"en","value":"Provability logic: models within models in Peano arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680409"}},"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":"Q2701199$A05340A5-24F2-4E3F-A55A-B5F64D1D6533","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbdc49911d1f4265ef45976652baa775385c7818","datavalue":{"value":{"text":"Provability logic: models within models in Peano arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2701199$BC639859-85BE-4C59-8E36-964FE720A9B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73be4ca9840fbd728ecb0cefdb65f88a9f13d68b","datavalue":{"value":{"entity-type":"item","numeric-id":361790,"id":"Q361790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$68B3F3E2-1E1F-466C-A31D-308B634C7CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"86b017da9786c8804ad7b41a1ae4778ce957e3fd","datavalue":{"value":{"entity-type":"item","numeric-id":361792,"id":"Q361792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$6DC4F025-3470-42D1-8510-DEE850033CE7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"288b32445689623d9e6d67d289f231ba184e1648","datavalue":{"value":{"entity-type":"item","numeric-id":263302,"id":"Q263302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$48F8FFD3-AC0D-494A-B2DC-64E9C0AE695F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74408d541e56041c0ad7c62d17b5e76afde38223","datavalue":{"value":{"time":"+2023-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2701199$C4E1ACCC-160D-4873-BE9A-C552A6912677","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2032e21c17abef633e5cf072421344b03c85e1aa","datavalue":{"value":"https://arxiv.org/abs/2109.05476","type":"string"},"datatype":"url"},"type":"statement","id":"Q2701199$C3763000-3FDA-413F-A32C-5F9B767355A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701199$A542E3AD-97D6-479D-A91C-26B37DDBE472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701199$FB6D9330-0FD7-4DE6-A2FF-EF4CE8922EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f97231c38032b2cb868c18061aedc088fc6d95c4","datavalue":{"value":"03Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701199$A74B8FB9-28F2-41D0-8E56-4D0334AFC799","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4f43b6f34ee6e6df92e2e5b8caa138ea6b9e560","datavalue":{"value":"7680409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701199$9375F5F5-6469-4B17-8451-BEB25ABC3747","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701199$D390D65F-54A3-435E-8C6E-2B3AB9B13A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701199$DA50C181-AEFB-4A62-9E21-CED271795ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d3d29f490bb3085d4245d6adbd4890431f9d11c","datavalue":{"value":"incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701199$FAFB1541-426F-48EA-A534-89CCA2BE0C15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2701199$FF7ED4DB-9809-4C70-A791-AB7266CEE736","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":"Q2701199$C6B58D65-5697-406D-9151-FB7EAA3F7C27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a66acd33e4761190bf48ba1942494e6bd321c90f","datavalue":{"value":"W3199511358","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701199$58E3FAEB-0155-4005-BFDF-940BD2ED30E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$4A2B7617-2D34-42E2-9622-33E3993AEC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$C97F6A76-6DB3-4A5C-ADDC-C50BA090FC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26b9664387bc60a1d37dbdf953849fb0a36c15a3","datavalue":{"value":{"entity-type":"item","numeric-id":4299260,"id":"Q4299260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$4CFCF45E-F9C1-4B47-B14D-01117B9375C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$969636BC-6CB5-4245-9D1A-2AF6E1EAA2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ea78d7653f7461c486235eab8644b8552e9817","datavalue":{"value":{"entity-type":"item","numeric-id":598275,"id":"Q598275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$13DEEFB9-A0C5-4BB0-9C6D-853630770D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431d98cd6fe9743c064300d6f7b81052934e890a","datavalue":{"value":{"entity-type":"item","numeric-id":2322259,"id":"Q2322259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$71996E42-1AF7-4892-8C5B-F1D65880BF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac1103109f5e36aeeaaf4d39c1229005c3254b87","datavalue":{"value":{"entity-type":"item","numeric-id":3227564,"id":"Q3227564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$6E9BDA80-C67E-40CB-9195-E6C366917634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ecd81987eb2b3620646f2d151ff26bdb537b884","datavalue":{"value":{"entity-type":"item","numeric-id":4001935,"id":"Q4001935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$E2249847-1513-4815-BE3B-D6BD1E056FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e28f83afd1a4fee3ce8e7f80d143416e6537f9a9","datavalue":{"value":{"entity-type":"item","numeric-id":3677761,"id":"Q3677761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$CEA92B3F-BF65-43C7-B273-C19D86D5D239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b01a7213c08624817100e0af4977428202caafc","datavalue":{"value":{"entity-type":"item","numeric-id":3290719,"id":"Q3290719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$E9694299-70BD-42E6-BE55-4FF60FC6333C","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":"Q2701199$85E66DD1-7AB0-4898-B1DC-A50FCE2738A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1540adaa2892b49b62abc6e74327970633e8f1c","datavalue":{"value":{"entity-type":"item","numeric-id":685071,"id":"Q685071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$B9046CA9-8682-4960-A488-A9373A6BEC9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d590eaaab36386d7087f35fec151e3e4fd9226","datavalue":{"value":{"entity-type":"item","numeric-id":5635418,"id":"Q5635418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$4DF694DC-186B-487D-934D-E6C92DB83F95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41832ee4a09e304e9bb8b19d467a172d5c5fa693","datavalue":{"value":"10.1007/S40574-022-00325-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2701199$3ECB9AD6-313A-40A7-8613-4B96C1699444","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"521dfd27600c319edcbc1d5f20f9bcddf1d9c5f6","datavalue":{"value":{"entity-type":"item","numeric-id":2732285,"id":"Q2732285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789dd159c07d344d0493676d925ddc35ee4b9247","datavalue":{"value":{"amount":"+0.7839245200157166","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":"Q2701199$611FD3F1-A0D2-4971-8DF2-B7066A831A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eebdf485c1ad7f7b30ca2e308c926b46b09ac74","datavalue":{"value":{"entity-type":"item","numeric-id":1893141,"id":"Q1893141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294e03d111d0af7fb358239f1687e98681bcad36","datavalue":{"value":{"amount":"+0.7599315047264099","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":"Q2701199$DD77F585-6A49-4AC2-BFA6-EB5A937F9EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fdcdef4c5039a393a5aaa497f1fb9f71b14dfd0","datavalue":{"value":{"entity-type":"item","numeric-id":4299260,"id":"Q4299260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f508ab34a88736fc3732fa71cadab9a390abe304","datavalue":{"value":{"amount":"+0.7582218050956726","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":"Q2701199$79A45FB0-A620-4EDD-97A5-31191277CDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c15c66ffe9c99e19fd516c93276ea75968c4f63","datavalue":{"value":{"entity-type":"item","numeric-id":2732301,"id":"Q2732301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8257670c8e36b899483174839653b80543336847","datavalue":{"value":{"amount":"+0.7579315900802612","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":"Q2701199$3F1A1817-8712-4B8D-BB2B-8C087B794B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec440821a0fba14b6f5dabe1cbaf4884e2d824cf","datavalue":{"value":{"entity-type":"item","numeric-id":5311743,"id":"Q5311743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c03093cf48390775a713ae8ad39d049d53593749","datavalue":{"value":{"amount":"+0.7545082569122314","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":"Q2701199$7E5DF116-A11D-4265-88C9-E7F62CB73ABA","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2701199$54E44171-C79D-4702-8ACA-E807257B499A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2701199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2701199"}}}}}