{"entities":{"Q6103511":{"pageid":13237818,"ns":120,"title":"Item:Q6103511","lastrevid":58684371,"modified":"2026-04-06T07:50:28Z","type":"item","id":"Q6103511","labels":{"en":{"language":"en","value":"A topological completeness theorem for transfinite provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691806"}},"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":"Q6103511$805CEDEA-FE7D-4669-A9D3-7930EE9058D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d9a06b492ca3bade9aacbb99cc1add35a7eda534","datavalue":{"value":{"text":"A topological completeness theorem for transfinite provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6103511$BB13FDA2-10B8-4AF2-AFDA-5BFEB263388E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b013b7a9d2a2f8dca67e43ff0a0f9cda9e012d","datavalue":{"value":{"entity-type":"item","numeric-id":1699739,"id":"Q1699739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$BD5D2D86-59D7-45C1-A3E2-3F976AC952AA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$A6EE6955-A9FA-4C92-BEE6-9A1BBC7B89AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8660296342fed4fbe5b76d095c9c4f3b9b5c1bb","datavalue":{"value":{"time":"+2023-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6103511$2F285BDF-8C2E-46DC-9AAC-762CE5089B8D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ede4e973e8ff664c5ce48c759d18a38fd1634e39","datavalue":{"value":"https://arxiv.org/abs/1609.03074","type":"string"},"datatype":"url"},"type":"statement","id":"Q6103511$BE512320-7F81-43E4-A7B2-0B590EB52E06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103511$C7F8263D-EC6C-498B-9C71-F502CC6C857D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7ae77b7014ae74d050ddd08c7570cbea14e17b7f","datavalue":{"value":"03E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103511$7D17E125-0946-4209-8628-933D43BCA287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"601e38db0975d749e2be6dfce744b0f7179ec96e","datavalue":{"value":"54G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103511$43B69297-BA44-4CE9-8A3E-F19D9918B9EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55a6898f9a964b6383a4f7080086ec86bf8f82fa","datavalue":{"value":"7691806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103511$B0F65338-250C-41B3-9070-D9696C8ECF88","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba0028f4c5c3ad231b9b94bc3f59b45387755c61","datavalue":{"value":"GLP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103511$4312B40A-9A4D-49AA-AE0F-7C5D6AD48C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103511$A6ECC0AF-78E1-4420-AF61-64403F7ADCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cef1bc36dfcdbb0928c60ed52e1d34b489ea6fac","datavalue":{"value":"topological model","type":"string"},"datatype":"string"},"type":"statement","id":"Q6103511$02CACFCE-5A21-4798-BD7D-9E30D8FE4E3C","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":"Q6103511$33782C67-DCB1-47ED-B04E-5022E95F4A0C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ba6390ecf1c4266f9bc4d71dea7b625611060b9f","datavalue":{"value":"Q123282948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103511$82415386-CA68-4751-9136-2AA044959D34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"edafe28c9cfb36f369565f0268cadeff7092c3f7","datavalue":{"value":"W3020614086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103511$156186B5-6B6D-44E6-863C-B549A9E04A88","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4a0c8823f7d6ec76a532a908490c9a130b3b3f","datavalue":{"value":{"entity-type":"item","numeric-id":3973061,"id":"Q3973061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$6C7AC65E-82E9-4A62-BCD8-060BB883D676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e24832920408a7a8546bff68474ea904d1957cf","datavalue":{"value":{"entity-type":"item","numeric-id":4977222,"id":"Q4977222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$E3313AC6-34B3-4198-8959-40DDF2043B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdea85ffbcafa2f9eaca3731420aea605d03d512","datavalue":{"value":{"entity-type":"item","numeric-id":891070,"id":"Q891070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$21A96E26-3384-4D40-BFE7-80EA02BE2DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6528d67ac237dd684da51a8ea95c3c539d11f6","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$796FCD56-04C6-42A7-B0C5-F0BE0ADAC9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa2a4e644bff5b8b5231520e7ca8c97f8fb8f19b","datavalue":{"value":{"entity-type":"item","numeric-id":636316,"id":"Q636316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$1CFB8182-7944-4562-8FA9-AA18D8ADD7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00f08935329d0a9562cd21089e3f5ed02cfdda55","datavalue":{"value":{"entity-type":"item","numeric-id":3019966,"id":"Q3019966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$B2F63124-C4C8-4E62-872F-F120C9F4D156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8277b02586b00a25cfffeef5ee1e24351b06b2da","datavalue":{"value":{"entity-type":"item","numeric-id":3081639,"id":"Q3081639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$B285176B-E904-4A33-9DB8-0782085B19F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35d25d21135b8b2822c873d87c7973c99b3a1051","datavalue":{"value":{"entity-type":"item","numeric-id":490656,"id":"Q490656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$5EA335DC-39A3-4291-9DB7-350914ACCD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d1deb3adb7ab094e5000ba17db35a5ecbc0f53","datavalue":{"value":{"entity-type":"item","numeric-id":5255798,"id":"Q5255798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$462A4A2E-E713-47E5-8838-3C5B390054DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8efc38869a0f889a5b0bb16ce1fc53ef667032c7","datavalue":{"value":{"entity-type":"item","numeric-id":1403828,"id":"Q1403828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$5DA9ABC8-28E8-4981-83C2-C5044888D84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e104690be231038fe69bb6c40f47ba736b4f0fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3476788,"id":"Q3476788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$E042E30B-E0C1-4912-A294-E83C57772217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb660a8cc042e4117791d071b0bac96f9dedeaf6","datavalue":{"value":{"entity-type":"item","numeric-id":5359565,"id":"Q5359565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$98404303-74A4-49CE-AA4E-EAEE04262321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d83d3dd844e10f76030e452cd367614249e8fec0","datavalue":{"value":{"entity-type":"item","numeric-id":2449857,"id":"Q2449857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$96ECD1A1-984D-4641-B6A8-DBCEF23CA45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1864c7cd8d0a5fcf8acbce38de8dea37ec03416c","datavalue":{"value":{"entity-type":"item","numeric-id":385073,"id":"Q385073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$A22394C1-40C2-4662-BE94-9341A05537A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"114260f4cd1602544364642a34079b9ceee85ae6","datavalue":{"value":{"entity-type":"item","numeric-id":1694812,"id":"Q1694812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$D8AC6B9E-C797-4D8A-88DA-261710B4F81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6103511$DA31E7E8-2B00-4D5D-9BC3-2C25C9BBB23C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28d6c80cfd98799ef68ebb6a4ceb1cac2e0292a8","datavalue":{"value":"10.1007/S00153-023-00863-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6103511$F957E5A8-7FEE-46BA-B35C-CBCD2DA3A5DE","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":"Q6103511$BCFAAFF6-44A6-46FE-8B53-433A2DBDBE5D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6103511","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6103511"}}}}}