{"entities":{"Q6568709":{"pageid":14179864,"ns":120,"title":"Item:Q6568709","lastrevid":42353758,"modified":"2025-06-12T14:11:36Z","type":"item","id":"Q6568709","labels":{"en":{"language":"en","value":"On provability logics of Niebergall arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7877897"}},"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":"Q6568709$7051A265-DB4B-47E4-8C12-28F3F8D5A168","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2fef871d7a260bbbdde52d885756762279d92819","datavalue":{"value":{"text":"On provability logics of Niebergall arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6568709$0794A510-5725-4B8C-BBE5-49E0B5FEAD27","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9ed7868885ed8cfeb7d793b44d0a7bbf1566652","datavalue":{"value":{"entity-type":"item","numeric-id":6568708,"id":"Q6568708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6568709$9B045786-0267-48BA-A83D-3B921F719750","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b151f74118b2089fb45521b3381aed82f2e9708","datavalue":{"value":{"entity-type":"item","numeric-id":2710693,"id":"Q2710693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6568709$8BC9A9A0-0DD5-4F68-88FF-10B77FD4B847","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5c1d57f80336d73e25b163956afde2826a285a08","datavalue":{"value":{"time":"+2024-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6568709$C0F4AD0E-704A-45E6-9D04-62239D506F9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6568709$28F06C6E-B7EF-40E2-AF01-653ABFFF5A5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0830b8ef722f852ec5594844f429c5324888caf3","datavalue":{"value":"7877897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6568709$E99C3815-2556-4A6D-9ECB-363F5A37E957","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"748a53c9c023534235756f89c983c27a85dcc310","datavalue":{"value":"logic of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6568709$50AC7B61-FBFE-481D-B9F2-FD319884769C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6568709$3A1633B3-408D-4191-A6A4-952E7F79F572","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":"Q6568709$19E7AACE-49B0-49CC-82E8-C69D2DE28BB0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"292e4f97fe782d92d2445520a83a064e48f6e51c","datavalue":{"value":{"entity-type":"item","numeric-id":5700817,"id":"Q5700817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6568709$7E1C7EAB-80EA-41FD-B74C-7EBEDB63DB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6568709$46BE73B6-BFEC-4D7D-B068-37B27368E391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd563c8e7e782ee36eec340808cf341dbeeb62bd","datavalue":{"value":{"entity-type":"item","numeric-id":5569099,"id":"Q5569099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6568709$8BEF10AF-3493-4AA4-BDAF-3D674227A611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0888a957eb1232464fd04f4d79bf690c9b9c6c0","datavalue":{"value":{"entity-type":"item","numeric-id":2747704,"id":"Q2747704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6568709$27469BAF-2472-4156-AFF5-4FF579B6C0F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6568709$AC1C3715-E638-4931-8A1C-DFDD74992199","rank":"normal"},{"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":"Q6568709$98440C7F-D3B2-4EE1-94D9-7B1DA0CC2575","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":"Q6568709$4CF3AFF6-1189-49BC-A354-CE04E74376A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4de1c8e3790a799750288a2e5d11c02ea840935","datavalue":{"value":{"entity-type":"item","numeric-id":1262309,"id":"Q1262309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6568709$D8CA65B3-D147-4771-9F0C-74C5D33C206D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4738c2a117f561e52657f7870a152b66a3a08a","datavalue":{"value":{"entity-type":"item","numeric-id":5203006,"id":"Q5203006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6568709$790AA4AD-0EEA-4D36-9836-9F863639C206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1668273eb33266e97223b2479b5afb80945b345","datavalue":{"value":{"entity-type":"item","numeric-id":1344434,"id":"Q1344434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6568709$72F9DECC-0517-4F5D-81A9-E00794BC4633","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":"Q6568709$0E0A0C5F-B3AC-4ED8-961E-0D91E8900143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1eafc0ead9e3cdb6744350a20df7cc24c881f0","datavalue":{"value":{"entity-type":"item","numeric-id":5287692,"id":"Q5287692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6568709$7FC59A9E-F7F7-4D24-8C24-CED3E4E17A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7021b8f12a8870837b2ed06bf45c0e1a122b683","datavalue":{"value":{"entity-type":"item","numeric-id":5202654,"id":"Q5202654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6568709$867F0B92-C756-42F1-9A55-C020CABAF167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6568709$671A5241-AC8C-40CD-B1C0-642DCB6B5F5F","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":"Q6568709$F5ED9446-78DE-4B28-9E46-522964DA14E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92719b1fcb0956ce1ef0daa8facd86c31678e7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3085172,"id":"Q3085172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6568709$F771AF79-6D66-44FE-B813-5FDE30FD3B28","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7b4a562571481945333e4647d89b28625135957","datavalue":{"value":"10.4213/IM9524E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6568709$BA1071E1-3C58-4416-B3A1-5AA5CF627443","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6568709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6568709"}}}}}