{"entities":{"Q2957859":{"pageid":2968578,"ns":120,"title":"Item:Q2957859","lastrevid":52731389,"modified":"2026-01-23T09:23:39Z","type":"item","id":"Q2957859","labels":{"en":{"language":"en","value":"A realization theorem for the G\u00f6del-L\u00f6b provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6678891"}},"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":"Q2957859$3472DDC5-D2A9-48BD-8922-966FE12E09F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28dd02e4395d235ab467e117ee35828db7fa94b9","datavalue":{"value":{"text":"A realization theorem for the G\u00f6del-L\u00f6b provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2957859$467442DA-A2C3-4F69-A259-EC8E5672C66B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa0bed7c2429d8ee6d522a0ef7865cb782013ca2","datavalue":{"value":"10.1070/SM8667","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957859$B58C2CF3-0CDB-4ABA-A57C-953E1D45E849","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2545c44efdf44b760ece3b3a59fac112c3266fc","datavalue":{"value":{"entity-type":"item","numeric-id":1685936,"id":"Q1685936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957859$A472160C-897F-4B0F-A721-4B2A7B8A3ADB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65757813d51547e2d7edf5ed37886a91523943c6","datavalue":{"value":{"entity-type":"item","numeric-id":2710721,"id":"Q2710721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957859$425EE5CC-2BC7-4052-B8CC-1D8B33FCD5A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1d208a972848f97d8e4747f80e7fee369c4254c","datavalue":{"value":{"time":"+2017-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2957859$887C4EDC-5C2A-4CF3-9CB3-30D99E857742","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957859$EBC53901-087E-49C5-80F7-8EC72753FE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957859$E67273F5-E8E1-44EE-9B68-A7EF4F40A002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957859$339C8B24-5979-4B19-8BD1-AF9F7C3FD1BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f644e62f1d1a21a5ac6779437e2a883c35eba9bb","datavalue":{"value":"6678891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957859$B4FA5BF4-BD0A-4723-8571-489898BCEB9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afca37ec283c436ac56ea7dfcea0bd6378181bac","datavalue":{"value":"justification logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957859$09FD4D58-08C8-4843-A795-33E9262360AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957859$C5AAAE43-C8F5-4563-821C-9B1774759BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce6f205e054717a47cde8036b26de53507d1b33","datavalue":{"value":"realization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957859$895BED3E-1594-4157-93DD-6EC03CED5A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8255afe24ff623e2eec5328fe47d34a79bf3589","datavalue":{"value":"cyclic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2957859$BEFBC776-6114-429B-ABD7-5CAAA20E5504","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":"Q2957859$DED322DC-6868-4BE7-91F0-A200C1EB8195","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957859$C9AD2104-B40C-4628-B1AB-77C17F22F387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f4791a496c448b32eeaa1ffa8df0415b7121421","datavalue":{"value":{"entity-type":"item","numeric-id":1150597,"id":"Q1150597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957859$FE4FF9ED-684E-404D-9B7B-C876C81C307D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b767d85950bf99e8910526fcfcbcb504d6a930ba","datavalue":{"value":{"entity-type":"item","numeric-id":1056745,"id":"Q1056745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957859$616C1A27-831C-4997-8CB2-E1F9ACD03EA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4196aa856e022b95d032a8421e5fadcfeb1922b9","datavalue":{"value":{"entity-type":"item","numeric-id":3914957,"id":"Q3914957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957859$B0D288DC-5CBF-4044-918C-74E17335EFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4122b64f2a48133554d036ec47e473d3341746","datavalue":{"value":{"entity-type":"item","numeric-id":2343897,"id":"Q2343897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957859$25E30A3D-B816-4EA1-9CDA-E627F1802EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7c19b9441ba399a39ff250e40b5d29fd1c3d5c","datavalue":{"value":{"entity-type":"item","numeric-id":636276,"id":"Q636276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2957859$0F6352ED-9BF5-4317-8F21-AEB26192E1FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c63033492ac8f87e96e9a36c1b6821d2c5454fbf","datavalue":{"value":"https://doi.org/10.1070/sm8667","type":"string"},"datatype":"url"},"type":"statement","id":"Q2957859$1193FCA5-9CC2-48AA-B3E0-18586E94FE07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc891e0511fd60f70903357fecf2b8ed468e0c32","datavalue":{"value":"W2498092558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2957859$0BF4524E-A915-422D-A7F4-EC7B08466524","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd2969ef3f8985ed67ae91475ed48c503a495e0","datavalue":{"value":{"entity-type":"item","numeric-id":5092557,"id":"Q5092557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96554c6caae923c8886249099393bb14d49a200","datavalue":{"value":{"amount":"+0.8434508442878723","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":"Q2957859$4A74A871-8449-4CD0-B4DE-E0D2230B2B3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5646299774de4ddc4302c0fd8a64fd9710fe67d","datavalue":{"value":{"entity-type":"item","numeric-id":286591,"id":"Q286591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25f56125fc56bd47dcb3d3f38a14958ebb15c6f","datavalue":{"value":{"amount":"+0.8162644505500793","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":"Q2957859$144A607E-93E3-40DC-A8CC-F7B991515030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb2ff6608b7da2e212e876bf74689dbe24421c7d","datavalue":{"value":{"entity-type":"item","numeric-id":2284501,"id":"Q2284501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a15200e5418b4fd005e5f395f91055a239c0398","datavalue":{"value":{"amount":"+0.7992019057273865","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":"Q2957859$7F0F93E3-7F15-40A6-BE6B-D48F075E7376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f92a32375fc167fae3d9c10aee21ad6951317b","datavalue":{"value":{"entity-type":"item","numeric-id":2904046,"id":"Q2904046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a20d8743300ffa37935d424233651abebbda615","datavalue":{"value":{"amount":"+0.7963045239448547","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":"Q2957859$EBCB426E-024B-42F3-B051-D7515E5D7BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f3f64cac5fed0feb1f765cc37abce3515701e74","datavalue":{"value":{"entity-type":"item","numeric-id":2804327,"id":"Q2804327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ecab5e46411f0a0c8558f2f0adc50f9773c8ba","datavalue":{"value":{"amount":"+0.7951581478118896","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":"Q2957859$8110A4BE-9307-43CB-A174-DF39AEE87E24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2957859","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2957859"}}}}}