{"entities":{"Q6909837":{"pageid":20960911,"ns":120,"title":"Item:Q6909837","lastrevid":84162182,"modified":"2026-05-12T18:45:06Z","type":"item","id":"Q6909837","labels":{"en":{"language":"en","value":"Polytime embedding of intuitionistic modal logics into their one-variable fragments"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8111873"}},"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":"Q6909837$3FBB11BA-7F7D-4CA9-AD72-DCE8AF4F8018","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ec1c439ddd332cf868d8127ce561d8b7a7100bb","datavalue":{"value":{"text":"Polytime embedding of intuitionistic modal logics into their one-variable fragments","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6909837$B97A34B1-5083-42AA-9640-26D0F0CB8EA5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0f426755598c9d6c36afb9530f66c0916b2721b","datavalue":{"value":"10.1093/LOGCOM/EXAE077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909837$F626739E-8B19-4A58-A821-7CE623A97AC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30feb3836a21b69361e192b6f271605be3d90179","datavalue":{"value":{"entity-type":"item","numeric-id":1623148,"id":"Q1623148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$CF9360B1-6C4C-4A08-AE85-26818ED39E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d73faf7a6e2f59746a2f1227234196c68fcf7d40","datavalue":{"value":{"entity-type":"item","numeric-id":1623149,"id":"Q1623149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$DC27BCA8-A966-487A-A346-049F52A924DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$B1110398-830F-4A84-B6A5-A341ED75F5ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b77d6a4382bc7a32fc14d82772e7dcb343e03ac6","datavalue":{"value":{"time":"+2025-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6909837$84DC75C9-ACCA-4F13-9FC3-D6CEDD8ADB15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909837$21615884-96EF-4C47-AE6E-EC9A12623544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909837$A83463E5-C455-4CEF-A009-FB6DE9AF3801","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d28c39a79cbc86dfd0608a450b4386fe32f1431","datavalue":{"value":"8111873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6909837$85D5153D-39E7-4A50-8B92-00602645CB7C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$3110CC13-407F-4C9B-86A8-BAD0F04F4738","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b431bc780f66c4b1eac8206b320c436a9fb1df40","datavalue":{"value":"intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909837$A630204E-A315-454C-ABF5-098E8E02B7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d46666cdf3b53f4c76f86199a934b808a4f1f13","datavalue":{"value":"polynomial-time embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909837$BEE4093C-CE59-4C20-AF82-7764E8F3073A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909837$1DF49A2B-D756-4C0E-9ED9-4F8A9926389D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909837$C5E56658-2AEA-4391-9553-28038169DAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c96c670cb5bb3f93d571a5f56f1e88c84388368c","datavalue":{"value":"validity problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6909837$A996936B-9D52-493C-BBBB-AA39D8D4B91E","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":"Q6909837$93349BCC-1241-4C0F-BE74-EA1199269617","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f595fe0ef61bc08c55aedd0db9c6064456aed41","datavalue":{"value":{"entity-type":"item","numeric-id":2506825,"id":"Q2506825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$F59860F5-058A-4277-99D1-82F27016D032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965174599a53e2b61c0063adfa7c7b766b1ba670","datavalue":{"value":{"entity-type":"item","numeric-id":1580648,"id":"Q1580648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$9AC5E6D2-3CAE-4C49-B7B2-1692CE7D0947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20926a16a99262d3951e6b81c87745fd8dff6453","datavalue":{"value":{"entity-type":"item","numeric-id":1314274,"id":"Q1314274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$0D0A43D0-3596-4C30-B8AB-A324494C2CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4760a59608fda63bd7abcfa1f697197d62b4d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$11E95C2F-4B57-4B6E-AB18-70711B582D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"362ca69c6b19a733ea89beb6bae2ffb416ff0dda","datavalue":{"value":{"entity-type":"item","numeric-id":2521681,"id":"Q2521681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$2C992E3C-D6FE-4960-A1FD-D842C5CB1700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38fca1aa145c954105ccc69ed1e2873dd9a5c86d","datavalue":{"value":{"entity-type":"item","numeric-id":2361346,"id":"Q2361346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$A4A9E323-E793-44A9-8F6B-CA6898E970D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff6ab44036aadc8ef042d2649f4d858d5e58cff","datavalue":{"value":{"entity-type":"item","numeric-id":2672661,"id":"Q2672661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$C1A56A0C-3A4A-4FF8-AD7F-8D1CD0B66F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"417ad0b3069d2d8e09dd331de0c221da351b2b21","datavalue":{"value":{"entity-type":"item","numeric-id":5465436,"id":"Q5465436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$FC779FEB-3D7B-4245-B7C6-04D30D92CD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05618bc94dd537d3034b233a45ab1cb0906c9164","datavalue":{"value":{"entity-type":"item","numeric-id":3196622,"id":"Q3196622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$45039DCD-C044-4DE4-A329-A82C6AE9E304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dcb19e5ef5b6a802e39b06593342561643f7c9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$0C42D327-BF8B-440F-9F5B-59D1642DDCCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b01c430c91cec5f0c7619c27c486ede0808e55","datavalue":{"value":{"entity-type":"item","numeric-id":1096613,"id":"Q1096613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$C1CBC94E-B9A4-4B9B-8C6B-B88B7581F08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$B40442A8-7121-4209-92BD-CB9B1D8B66E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5be18a7c2921ab4585ab28df990a61f1c801652","datavalue":{"value":{"entity-type":"item","numeric-id":4215613,"id":"Q4215613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$382C3F03-F152-4726-9389-D499CBFB9C7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269af113feb3632279464e025fd9f9d59e022e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1855229,"id":"Q1855229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$23C98EDE-EBA3-4656-81DD-2068AFE902FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19f476881bc6952676ee2735b6a12988a4ff13d","datavalue":{"value":{"entity-type":"item","numeric-id":2761753,"id":"Q2761753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$BD4FD1CA-AB92-4F0E-A23B-72B4251875C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430aeea16287474b9301e5bb7d6f8fdfac8a8fc9","datavalue":{"value":{"entity-type":"item","numeric-id":3843602,"id":"Q3843602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$F368916E-7A57-4060-9F03-31B648799CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e0c1a4e478a32752a62b530cc2a5255baa77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1244216,"id":"Q1244216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$2DC55AB0-9AC6-4415-82C7-82036651EB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab83b65f312cf5c30a3f2d43de77b4fe05a973e1","datavalue":{"value":{"entity-type":"item","numeric-id":3472079,"id":"Q3472079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$DB1A00E1-FD6B-41DE-ADEE-102759FCEE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$098358FA-580B-4A24-8575-4FFEAE7FF7CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e4369b0bbb9e91c1e125e93ad90528f0826569d","datavalue":{"value":{"entity-type":"item","numeric-id":5692811,"id":"Q5692811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$E98C16DE-37D9-4684-9A5D-F79ABC0BC3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c153a0530ba535c867bf275e826325b051c371db","datavalue":{"value":{"entity-type":"item","numeric-id":3509064,"id":"Q3509064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$82D7FB7A-6923-4333-8625-1DB298B91CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a73f49ca13da35c06b1ea95d67dd8ef8144b5ea7","datavalue":{"value":{"entity-type":"item","numeric-id":3647277,"id":"Q3647277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$9E710992-E9C4-4A0A-8FCA-F769696B555D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da6864bcd716ff4a895efbc198790c78921636d","datavalue":{"value":{"entity-type":"item","numeric-id":3643316,"id":"Q3643316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$5174D8DA-BFE2-44BB-8FAA-762FC233B88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25ac03ce116af9036d4c5745855f38d7f3e53af","datavalue":{"value":{"entity-type":"item","numeric-id":5095651,"id":"Q5095651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$359B6701-D7EC-4AAC-9B03-536F5484FC1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e66679de6ab91389cb5ddba4de70b071376099b","datavalue":{"value":{"entity-type":"item","numeric-id":5241916,"id":"Q5241916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$88B56611-819B-44AB-9D43-0B2E37A680D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130a9c70d78decb754c29ed41ad7200da8c84855","datavalue":{"value":{"entity-type":"item","numeric-id":2323638,"id":"Q2323638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$1903BE67-7837-4A90-B5DD-CDB45A9F7413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69e21176789376e4b2d6e9b275672675f352fb7f","datavalue":{"value":{"entity-type":"item","numeric-id":5858132,"id":"Q5858132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$E08AF2B6-26C5-4FA9-A5A2-CE221908FF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7676afc9c4ea127f0e90a72ccaa5a40629137cc","datavalue":{"value":{"entity-type":"item","numeric-id":5858128,"id":"Q5858128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$1D5EE91A-CC60-4D64-9A55-96C4DE7E1D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cdc0e08ed3b51a7a6895ba615851ad4e849c2ea","datavalue":{"value":{"entity-type":"item","numeric-id":5866476,"id":"Q5866476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$206A83AF-C183-47D6-80CB-E04116418D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3994f42208cc540822f94b31c23524a05d62bf68","datavalue":{"value":{"entity-type":"item","numeric-id":2148903,"id":"Q2148903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$6CB5A0E5-7C3B-4533-9741-00ED19680C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee19f680d962c1f634bcb5b5a87502da5129db0","datavalue":{"value":{"entity-type":"item","numeric-id":1240729,"id":"Q1240729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$6BB71825-97B9-49D4-A658-5DB8A9C7FD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2dbd0a2e37fe63f0a991c0d065f41aef6b6da8","datavalue":{"value":{"entity-type":"item","numeric-id":1423633,"id":"Q1423633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$24E458B3-66DE-4C39-895A-47CD84B0505E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$0003F900-648C-40F7-8358-30072E621FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cdb50c78ca5b3b07e1bdd03b8580c9a3593e69b","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6909837$4C1F4E1D-195F-4213-8830-31D01EFE948A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Polytime embedding of intuitionistic modal logics into their one-variable fragments","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Polytime_embedding_of_intuitionistic_modal_logics_into_their_one-variable_fragments"}}}}}