{"entities":{"Q1685941":{"pageid":1696682,"ns":120,"title":"Item:Q1685941","lastrevid":73755669,"modified":"2026-04-14T17:09:29Z","type":"item","id":"Q1685941","labels":{"en":{"language":"en","value":"Global neighbourhood completeness of the G\u00f6del-L\u00f6b provability logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820482"}},"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":"Q1685941$E7E4CF82-18A5-424B-8239-DCA2EEC1F423","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"079e9c663b67ba78b5859dbc529d5a296bb6ca03","datavalue":{"value":{"text":"Global neighbourhood completeness of the G\u00f6del-L\u00f6b provability logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1685941$183A27A7-CC78-4A51-A1F3-267E2A9C5482","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f60420ed26b5f94f8e378846d97b1ea2debab3f","datavalue":{"value":"1496.03249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685941$37D67B9F-46C6-4472-A929-9613361B3AF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"878711c83d5ee0c012bccb920f17af31960705c1","datavalue":{"value":"10.1007/978-3-662-55386-2_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685941$754AE8DE-1A7C-41CE-9B73-27DF1F2FE6DF","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":"Q1685941$C0C32948-80D5-4D86-9924-2D95A10F395F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1f424280bd3a1cce6255069d9afac8f911a0ea0","datavalue":{"value":{"time":"+2017-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1685941$241EE5FC-16C7-4C6B-BCAB-57186B3C87C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685941$2878F802-DE02-4772-A8B2-BCAEEE166A11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3ccac9a0757ca269e374a9339f276c72cc25308","datavalue":{"value":"6820482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685941$3D9136AE-BDD2-4FF7-BD73-21AF73D68DA8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685941$F4B719EA-AC61-4867-ACC9-CEC4BD8EE0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a5dde64af0d3f5b8a485846a04cdaeba2b5169","datavalue":{"value":"neighbourhood semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685941$83503D8C-9D01-45A5-99C2-A52F064D5400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22726bacd09fce54fda61d6828ab31a19c9e345","datavalue":{"value":"global consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685941$0A09AED6-9EF4-4A6D-947D-77D9A481AAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a24d14bd0e7f89a2e34311c00f42033983e8d95","datavalue":{"value":"non-well-founded proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1685941$EEB3ABB1-E583-40DE-B424-B8917E855ECC","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":"Q1685941$26020788-C97D-48CB-9750-0EF978D86678","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"335f6055c9d5cc1696ab23b39fa980596d16294f","datavalue":{"value":"https://doi.org/10.1007/978-3-662-55386-2_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q1685941$CA233A4F-8B0E-42D6-896C-F734BB3CAD63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed364bd7acec074b5ee0eba535e631127be07436","datavalue":{"value":"W2733674540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685941$29CD79A9-9AF1-44B6-BB22-4B26ADF9932D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73a8ad5518038c4c4baeda1ff406e3344cde989","datavalue":{"value":{"entity-type":"item","numeric-id":490656,"id":"Q490656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f408e525c8989742f5d1f58d40a03b6eb95c3ca9","datavalue":{"value":{"amount":"+0.7761505246162415","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":"Q1685941$B1560C68-BACD-4480-9352-2F47E35A8190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923100b568e81f72ddcc62fa10f5fe850cf4e417","datavalue":{"value":{"entity-type":"item","numeric-id":4809503,"id":"Q4809503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7278e769d835f67d037c9e4245fbf95472b9f150","datavalue":{"value":{"amount":"+0.7705657482147217","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":"Q1685941$D5BE5DF5-F89D-492C-BD95-8CC6956B078D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcad91ab3c93ceba44d970115a4b9f0cc697f053","datavalue":{"value":{"entity-type":"item","numeric-id":3019966,"id":"Q3019966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95df25717fd5db8929dc5f5be12573f01171cb1e","datavalue":{"value":{"amount":"+0.7633837461471558","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":"Q1685941$96AFE0A6-5ACB-4BB9-ADF1-68972BC7550A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4526e692b5890e59fc68d6137504a3be53a2984e","datavalue":{"value":{"entity-type":"item","numeric-id":3464769,"id":"Q3464769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648978a9560abe3abb70033cf31417d2fe0d6800","datavalue":{"value":{"amount":"+0.7539985775947571","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":"Q1685941$451492A9-3522-46A2-805C-5321BEC9DA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4cbb35b7998edbd315fac32e76de367e91f0f27","datavalue":{"value":{"entity-type":"item","numeric-id":4890178,"id":"Q4890178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58d245a8486a492c22f06419d8a6a24883b3f471","datavalue":{"value":{"amount":"+0.7510049939155579","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":"Q1685941$C976F84F-ACCE-4D20-B860-C772BAF4D688","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Global neighbourhood completeness of the G\u00f6del-L\u00f6b provability logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Global_neighbourhood_completeness_of_the_G%C3%B6del-L%C3%B6b_provability_logic"}}}}}