{"entities":{"Q6612809":{"pageid":14223966,"ns":120,"title":"Item:Q6612809","lastrevid":95626511,"modified":"2026-06-05T09:26:28Z","type":"item","id":"Q6612809","labels":{"en":{"language":"en","value":"An abstract look at the fixed-point theorem for provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7920706"}},"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":"Q6612809$EAFB7668-30F7-4CD0-99A1-F4CBBB5A4B49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4dbc3f5003bac19b8fbf762df025935e0cdbdc0","datavalue":{"value":{"text":"An abstract look at the fixed-point theorem for provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6612809$33AAF0C9-3D7B-4D10-A784-A491C82F54CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5420647322532cea24192fc1497e3e8c4b5131a6","datavalue":{"value":"10.1007/978-3-031-47921-2_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612809$9F3302F3-559E-4479-8DBA-F6BA3F893A0D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a16bed3fcf9befde6b615ead23f4b855455a9900","datavalue":{"value":{"entity-type":"item","numeric-id":1246519,"id":"Q1246519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$91C6EB14-7A59-43F9-91FA-92E7516B4FC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9920dd23d0b992023e85fc96356e313613230508","datavalue":{"value":{"time":"+2024-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6612809$069AB0B0-6C0E-432A-A081-2B09143CFB0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612809$192F50C0-75E5-46F3-B894-A395AEA91D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612809$6D06B0D3-1D8B-42B3-B1AE-7BB5074DC900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612809$656746AF-08A2-4288-BB0C-D7CDCECF1D00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e310631cb86b81b324f143951fee849527ab079","datavalue":{"value":"7920706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6612809$D797D739-DD99-4A70-82D5-5E401185728E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ccff44b41ba7db03d270893a305fa43d5e3ecd8","datavalue":{"value":"modal provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612809$B2BA9D78-5B22-4AFD-8604-B31D8F381F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c45c0727789e93e4dd9c1807cf853452915e0441","datavalue":{"value":"well-founded orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612809$27C07511-E221-4273-8CF9-9A9186F193EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6612809$5AC0CF66-7316-4F0E-872E-E391BC98E31C","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":"Q6612809$B66DA96B-56CB-46A5-A4EF-692396EA49F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d66d404e5da3fde5e9ac42bd95e64df866e0f54","datavalue":{"value":{"entity-type":"item","numeric-id":2758042,"id":"Q2758042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$309B7883-B1BF-4D55-8285-70C0F6D32D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$B727C5FC-99F6-4356-831D-42C73EDFA68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$E7389142-7A98-4935-A0D8-6A2DE0D854BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$C2855C7E-B53F-47AC-BD51-578965C758E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d48aafe511c3d70836530bc562f0f9a106bd757c","datavalue":{"value":{"entity-type":"item","numeric-id":5642556,"id":"Q5642556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$46AA05F7-6371-4D00-B5C8-0780354E72AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1317930ad4511f31a70df55a9be0c9b246b4ba98","datavalue":{"value":{"entity-type":"item","numeric-id":1853504,"id":"Q1853504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$37313E5A-3A95-45CC-AD96-AE22BFA12A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$5ACBE400-D151-4DCF-A197-4AFA2A3D9E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f695eea8fe808f6184de18b043277613aef09c07","datavalue":{"value":{"entity-type":"item","numeric-id":2574887,"id":"Q2574887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$2473FE38-3DEA-4BAE-A6BB-C1FDB3C29437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8391b866deaf9568a477808b252e1f99de1f3de8","datavalue":{"value":{"entity-type":"item","numeric-id":2399881,"id":"Q2399881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$4D7B97E1-DCDF-476E-BA2F-F702E496B24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14828a5185974445595b5312d0a4753094089395","datavalue":{"value":{"entity-type":"item","numeric-id":923072,"id":"Q923072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$51B2847C-12D4-449A-AB48-DD94CDB13A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711f4d18a42eba165ead1afce88a2ef93d4bf695","datavalue":{"value":{"entity-type":"item","numeric-id":4343989,"id":"Q4343989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$660FAA82-39B2-4BC2-9001-B26DB81DD9FF","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":"Q6612809$99B819D2-F317-47B5-9548-DC6B097F6745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a00abee89ec0090b88a5d4f56161295fce9b9f","datavalue":{"value":{"entity-type":"item","numeric-id":1089332,"id":"Q1089332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$1136CE81-D253-455F-AEA7-5C5CEC594140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76dde7dff6f21d36ebed81731728aa2229cd7f58","datavalue":{"value":{"entity-type":"item","numeric-id":3356297,"id":"Q3356297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$08CBF87C-1F24-4D8D-9D5F-23D018D473C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec39c4ba48368fe55c340c99f72435d76d7465e0","datavalue":{"value":{"entity-type":"item","numeric-id":2433098,"id":"Q2433098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$DC3D1593-077F-498A-88B5-7211B22C9E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f727de4740c79018a29393d7b2d8cf03437b2d76","datavalue":{"value":{"entity-type":"item","numeric-id":3065009,"id":"Q3065009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$D3844C5E-8917-4D38-958D-459BA2A2A1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d440b3258ffd50bc499de0889cd7970441ef819c","datavalue":{"value":{"entity-type":"item","numeric-id":5898148,"id":"Q5898148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6612809$D8B3DB84-CBBC-4B57-9CDA-CC8D294FED9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An abstract look at the fixed-point theorem for provability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_abstract_look_at_the_fixed-point_theorem_for_provability_logic"}}}}}