{"entities":{"Q490656":{"pageid":492423,"ns":120,"title":"Item:Q490656","lastrevid":62230758,"modified":"2026-04-11T04:40:01Z","type":"item","id":"Q490656","labels":{"en":{"language":"en","value":"Topological completeness of the provability logic GLP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6476479"}},"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":"Q490656$B90CC4AF-F046-4A62-B6F2-51DEF46F33FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"649c9645ae9913823ddf3d66c864819ae4771406","datavalue":{"value":{"text":"Topological completeness of the provability logic GLP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q490656$141D255C-8B34-4CAB-A6A1-AA2089B56002","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae9c01a5864b881053a55c9ddcd291cac4afced2","datavalue":{"value":"1320.03088","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490656$8397F872-8104-46D1-9D98-1AA6EECCB8F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51080bac8ea45a0b63cd706511bc71e96db8880a","datavalue":{"value":{"entity-type":"item","numeric-id":284228,"id":"Q284228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490656$CCE5F016-2E4A-4219-8EAD-B1E2FA858F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490656$8D3147F9-65FD-432D-A7CC-5745ED3DD1F2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q490656$6AC0D48E-AB9F-436F-9D2D-E8527203EAA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5d7e575ce06abec1e01331d693d8d1b08ceff3b","datavalue":{"value":{"time":"+2015-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q490656$5443BAD2-5B42-4533-A792-5EDCA4E69FAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5251e5a497be932e11bc4925c691770205a3cc3","datavalue":{"value":"https://arxiv.org/abs/1106.5693","type":"string"},"datatype":"url"},"type":"statement","id":"Q490656$E7194A81-50B7-473B-9491-EE151BF895CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490656$B407FE47-D0A7-4B70-A13F-F5E997BB16AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490656$907F5D9A-30EE-40C6-90DE-A3F06CD0BE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e886f6e0421be5a8f743ae1b051b4f18a64974b4","datavalue":{"value":"54A10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490656$E2FA0DF6-6E89-4B5D-A836-069CB5C2D299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"601e38db0975d749e2be6dfce744b0f7179ec96e","datavalue":{"value":"54G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490656$84F6C7E0-CCD2-47EA-8F63-0EF317CA814D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c181233c2f7afe98bd9e7f767b241dc4b2a2ba83","datavalue":{"value":"6476479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490656$30FE473C-A670-4308-8B29-4733787AF023","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q490656$1FB11510-EE8A-4B4F-AEB3-DD3A687C69DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4fb412ab3b5e67d554c37b48230359c8b6d555e","datavalue":{"value":"scattered spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q490656$A62E6833-2EA6-4988-862A-516734A50E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba0028f4c5c3ad231b9b94bc3f59b45387755c61","datavalue":{"value":"GLP","type":"string"},"datatype":"string"},"type":"statement","id":"Q490656$A7E0E677-E6C4-4D15-81EA-CE04E7BC3F2F","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":"Q490656$06C4A97B-0DAE-4F1D-AD2F-1183DF9B9B36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8bd37bfa681467574adc7832e00a0f09dd41ad3d","datavalue":{"value":"W2597910552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490656$5C4B35F4-1F2E-4179-9DEF-9607322B9796","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9fb6edbdd166582a44e6bfd7e2f5eadb2b80c33","datavalue":{"value":"10.1016/J.APAL.2013.06.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q490656$0088ACDC-C033-493C-A455-03113925E3CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be76f39f0d64b173c300d63bc10c9d55498fe93","datavalue":{"value":{"entity-type":"item","numeric-id":3081639,"id":"Q3081639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0672f2151a871d765941cffc59e935940a532f8a","datavalue":{"value":{"amount":"+0.8926016092300415","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":"Q490656$995DA60B-5BF1-4096-9133-F90078C358A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"234a4596465ea31e00245da18ccd8e2692e13815","datavalue":{"value":{"entity-type":"item","numeric-id":2449857,"id":"Q2449857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272188b42f1e7399e271b31e04cfd2c7ba2791fa","datavalue":{"value":{"amount":"+0.8645623326301575","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":"Q490656$A50DE62F-A7E5-4CE0-ABE6-73F00FBCDDC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"564c547bd56ee78666c46b25fbf6a1777021d430","datavalue":{"value":{"entity-type":"item","numeric-id":636316,"id":"Q636316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48c2e7b9645609ff275038ea734f8a11a127ba93","datavalue":{"value":{"amount":"+0.8625221848487854","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":"Q490656$B6D65BB8-19BB-4F92-A0EA-9D2B7CA472E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c81665b9e19b4bc3dbdd9af721c3e192328b856","datavalue":{"value":{"entity-type":"item","numeric-id":5255798,"id":"Q5255798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9fcb0916d73b4f6da32080a03574506340741b4","datavalue":{"value":{"amount":"+0.8519843220710754","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":"Q490656$07E5B6AC-551F-480A-9379-CC45F3ECDD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b228e631199bfeda3210a9c57bd76d42f46dc15b","datavalue":{"value":{"entity-type":"item","numeric-id":3094148,"id":"Q3094148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d3ee024eaaa7b9c39b14828c9a1c99386ba510","datavalue":{"value":{"amount":"+0.8400350213050842","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":"Q490656$1CA040A9-8546-4E0A-9ACF-ED9A197ADFFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Topological completeness of the provability logic GLP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Topological_completeness_of_the_provability_logic_GLP"}}}}}