{"entities":{"Q6986370":{"pageid":21421236,"ns":120,"title":"Item:Q6986370","lastrevid":101368796,"modified":"2026-06-06T01:00:02Z","type":"item","id":"Q6986370","labels":{"en":{"language":"en","value":"On the unification problem for \\(\\operatorname{GLP} \\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8037711"}},"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":"Q6986370$0F56A1A6-9199-497B-8BDC-AC3C5DC04D52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7dfe078efe6de109803e1427e1ef44d9ac0f348","datavalue":{"value":{"text":"On the unification problem for \\(\\operatorname{GLP} \\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6986370$C1B472E2-DDA0-4EC1-AB88-BA3A60F829B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d67664ce0dab54fa6cb07376a3e5b0c57f9e9f97","datavalue":{"value":"10.4213/IM9592E","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6986370$9B53CF8F-B687-42A7-AEE4-BCA429438636","rank":"normal"}],"P16":[{"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":"Q6986370$851BF720-FB29-43E2-8904-0ACC5A8741EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b151f74118b2089fb45521b3381aed82f2e9708","datavalue":{"value":{"entity-type":"item","numeric-id":2710693,"id":"Q2710693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986370$5C8B3B62-410E-4468-92E2-BAB1DD48F777","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b64da13dc72ce934cdd1251103882f41d171d88","datavalue":{"value":{"time":"+2025-05-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":"Q6986370$E56C008E-3D30-4E37-AB22-7188A4F0BF81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6986370$D7BE8ABA-C600-427F-8E6A-28667E24E617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6986370$5B46526D-83D2-444F-A00D-18C3CDA1C136","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42937115830925a3b2c38400f4b96223e09257ef","datavalue":{"value":"8037711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6986370$3F97CE55-6A2B-4EBE-9835-5825AC9E9D6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6986370$893A6AC5-4763-406D-B50E-73F7BF2FAAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6986370$A4EAFB6A-3D34-4AF5-B34F-1C0C28BF7A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db42f37894e53e48759b73abc85ed6c4e821c98c","datavalue":{"value":"admissible rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q6986370$F312D0D8-60E0-4B01-B976-0D4DED1C4261","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":"Q6986370$4A2AF1A8-F20E-4799-B946-50CA1AECBD62","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a6528d67ac237dd684da51a8ea95c3c539d11f6","datavalue":{"value":{"entity-type":"item","numeric-id":1877092,"id":"Q1877092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986370$01C5BE68-CDA5-4E4E-822F-8170E6169CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b807e573c90c1a55e76c5f70d24384d226604c","datavalue":{"value":{"entity-type":"item","numeric-id":3372439,"id":"Q3372439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986370$7D3F5419-67D0-46C3-9A99-BA4497A3A2F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adfa7552e485598aa5ecf7b430881d0fdd8d66cb","datavalue":{"value":{"entity-type":"item","numeric-id":5483298,"id":"Q5483298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986370$23634E11-EF3D-4537-9963-8B81B29CF0B2","rank":"normal"},{"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":"Q6986370$07E9B824-E4AB-4108-B3FC-FD9EC6823582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27b296164d3c0f8a07121a259f764f7ceb4a2e74","datavalue":{"value":{"entity-type":"item","numeric-id":2510758,"id":"Q2510758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986370$4E6A1B1C-7665-4F1B-9C5F-D72B6BE1B1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48842cd6d6601039dc70a0c56c666c17dfc1f0a5","datavalue":{"value":{"entity-type":"item","numeric-id":2358595,"id":"Q2358595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986370$A1930B2A-0A2C-4A08-AC25-D9175001E3AD","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":"Q6986370$C4028D13-2150-4DDA-99CE-AA1E6E390639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ea34a587974e868467358ba64b4eecfe18b605","datavalue":{"value":{"entity-type":"item","numeric-id":284230,"id":"Q284230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986370$E8D67056-9F81-464F-9497-86FB2E715EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986370$C8005DEC-B954-43D4-A6D2-F6F3D544945A","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":"Q6986370$FBDE86BF-C804-4C6E-A6CE-D2220F523DF3","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":"Q6986370$4532F0A4-E7B3-49C1-B54B-95D8693B3AAE","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":"Q6986370$777F4061-DB88-45AE-AE90-82AC751B063E","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":"Q6986370$9C4B92A8-E34C-495B-922F-C77281045731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670906e70de679c1edf77ce20d747c3dc6356b7b","datavalue":{"value":{"entity-type":"item","numeric-id":1023055,"id":"Q1023055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986370$C75C3A22-4B10-49A2-B9DA-06B5D5E48AB2","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":"Q6986370$814EC3FF-CE3F-43F8-BE08-CED862A0F62B","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":"Q6986370$9FBBC825-FFCF-46B3-B2A5-092B015804A5","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":"Q6986370$DBC0FBF9-0A89-49A9-BB54-9D8A886F210E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d42ad01e014a58875fd33c8e809093ff41fe8d7e","datavalue":{"value":{"entity-type":"item","numeric-id":5222538,"id":"Q5222538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986370$4F9A0825-2227-449D-AAB0-5F48EC095D85","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":"Q6986370$03D0E2BC-564C-4A67-9A3B-156FB8689B18","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":"Q6986370$856635EC-61F2-4E77-ABDC-993F7121CCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e72527c38d6d9295e0ff93e6bbcaaf48eec98a","datavalue":{"value":{"entity-type":"item","numeric-id":3491519,"id":"Q3491519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6986370$EF6D6C94-6D09-4821-8084-18F5A7156B85","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":"Q6986370$4C66EE51-1DB3-4A33-A9BD-AC306CA69E50","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":"Q6986370$9EE8B7CC-002A-4ECE-BC98-3ECFDC04E2E0","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":"Q6986370$F30C7AC4-D337-4E58-B77B-245A2C6AA9A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6986370","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6986370"}}}}}