{"entities":{"Q6900935":{"pageid":20904352,"ns":120,"title":"Item:Q6900935","lastrevid":84177023,"modified":"2026-05-13T02:44:06Z","type":"item","id":"Q6900935","labels":{"en":{"language":"en","value":"Unification in subsystems of polymodal provability logic GLP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8120367"}},"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":"Q6900935$80B615FD-3C9D-47EC-9AAF-9C898064C8C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fb33fc111cb6886205d1e79276ac34851605f55","datavalue":{"value":{"text":"Unification in subsystems of polymodal provability logic GLP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6900935$0DE32E98-F954-41C1-A325-726BE53FFFE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f591295fe8fa2c494e35f8ffa40390a109694c4c","datavalue":{"value":"1573.0343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6900935$7F7E7F6F-C85E-4760-8E65-AC5B8DFF2D17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e89c60589716819eecb8dcdfb97edad05da8a72","datavalue":{"value":"10.1093/JIGPAL/JZAF071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6900935$762F33C8-5051-4905-969C-9F50F186ED3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"039254c00a1bf481e1af0ee0e31e8d959bf9e222","datavalue":{"value":{"entity-type":"item","numeric-id":6900934,"id":"Q6900934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$8F3638F9-6BDA-4D61-A983-B0AA0077FF3D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$F0552DAE-9B7C-4FB2-B2D6-EF418C27A7BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca40fd8abdd4028001e271b64bec45a65c5b5050","datavalue":{"value":{"time":"+2025-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6900935$ADCFE160-9D35-4B7C-BDC7-E92DBE59270C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6900935$4F567482-AA3D-4987-93C0-F3CE61C35065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6900935$C62B50FA-10A4-4172-BCFE-75FBE544D47B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0c310a22ab4da63d7880331e2f92ca24f022dd2","datavalue":{"value":"8120367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6900935$F00A527D-1C91-4D34-9C1A-7E17962AFCD9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"514a6f0fd6bed3b176ce99150c7d5d6340733445","datavalue":{"value":"polymodal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6900935$02735FA5-19B8-47DA-8167-EAB92413559A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6900935$41B827B5-B0D5-4809-9D55-CCE7C5E21EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d34911d56f14d2757188f1fd8282bfb75184d6","datavalue":{"value":"unification type","type":"string"},"datatype":"string"},"type":"statement","id":"Q6900935$60FED2AD-A180-4442-BA65-C247DDF395C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"203383f5640e2b7ae9ac255db7b9410f9f3dc7ba","datavalue":{"value":"admissible rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q6900935$B670E9E2-6256-4F86-9D85-639CD58B0A78","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":"Q6900935$A9E5374F-1DAC-4762-B43B-4EA8BFFCBCE3","rank":"normal"}],"P223":[{"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":"Q6900935$CC115C8E-F41B-4E91-A691-87A382D18D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43bf6a285fd4d51b0b14c5f21ceb8eddbf800a79","datavalue":{"value":{"entity-type":"item","numeric-id":6986370,"id":"Q6986370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$DA8842B1-843E-43C5-9D2C-5580EB5C3FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"801beb7884418a584076f6a52825d7965f5f8934","datavalue":{"value":{"entity-type":"item","numeric-id":5696302,"id":"Q5696302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$89379C53-15FE-42D3-960E-DC7138B10CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6882f0ed7644de06377e4e2ae2e5b66a685b7036","datavalue":{"value":{"entity-type":"item","numeric-id":4381867,"id":"Q4381867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$EAAEAC39-A4A6-4187-B780-E958EB4527E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$7B9395A2-F00C-48EC-8EBF-D320ADCD188B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$F07E79A2-8F4A-4A2A-A76B-57AC2704D4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9548c19a8d51e89141447b12675f2874b1f915ec","datavalue":{"value":{"entity-type":"item","numeric-id":3094148,"id":"Q3094148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$71F99949-F747-4A2E-9518-F3A5FB0D1935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$2B55B368-1437-473B-9F18-B523531C45CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468a3a1c09b18a83961082ef93dd46e46840fb7d","datavalue":{"value":{"entity-type":"item","numeric-id":558441,"id":"Q558441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$22BB8882-CAC0-4840-A18A-884829CA2601","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":"Q6900935$96F0A9AB-DF25-4FA0-ABAC-D19AE4BAD769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fa13f8d08455deabdb8d53876205365d278e87","datavalue":{"value":{"entity-type":"item","numeric-id":5696300,"id":"Q5696300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$3947769B-F814-4C06-AED7-3318661660B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d835839abec3b89ea646849f876230851342c5c2","datavalue":{"value":{"entity-type":"item","numeric-id":3450207,"id":"Q3450207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$92814712-616A-48BB-93B7-A974AFDB88B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada89b5be9fe944e4e9ea22511706e1322a5c342","datavalue":{"value":{"entity-type":"item","numeric-id":1491297,"id":"Q1491297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$3FC7360F-1F67-4F90-9501-FCC2F08AB4A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44ef530b0e3d76154b3eafa89f2fb419ae822887","datavalue":{"value":{"entity-type":"item","numeric-id":2966735,"id":"Q2966735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$06F550F5-21B4-407D-B2D3-6EEB37A8B076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$9FA32899-D028-478A-BCC0-572BF3439E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$B6561826-7ABF-4847-AE55-5CB5E9A64361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90a09f9a9bcb9d73d58bbd9839f6d29cf479203","datavalue":{"value":{"entity-type":"item","numeric-id":4925168,"id":"Q4925168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$0BA349DA-DD02-4DDD-AB52-C5AA45440B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fbef6c8c5aa11ec62a0c538aea241c810aa3b13","datavalue":{"value":{"entity-type":"item","numeric-id":4925166,"id":"Q4925166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$0C3D8ECC-9078-46AA-A975-7848A4E0DA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ef3f5713cbb522ee6ededace3ebebb99eae1d21","datavalue":{"value":{"entity-type":"item","numeric-id":2510774,"id":"Q2510774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$B97DD66B-9528-4F7D-91A5-5845F3D64A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c47fef618cfd1d626c6d3369e7750059728cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5277814,"id":"Q5277814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6900935$99BC43CA-54BA-449E-ADAE-9C0805358543","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unification in subsystems of polymodal provability logic GLP","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Unification_in_subsystems_of_polymodal_provability_logic_GLP"}}}}}