{"entities":{"Q2678341":{"pageid":2689084,"ns":120,"title":"Item:Q2678341","lastrevid":55432921,"modified":"2026-02-17T16:18:41Z","type":"item","id":"Q2678341","labels":{"en":{"language":"en","value":"Computational complexity of the word problem in modal and Heyting algebras with a small number of generators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7644547"}},"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":"Q2678341$237F7AC3-ACEE-4A1E-B7EE-5544190B6E58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7f80d1be7d01e659c69c74a075123aa56399699","datavalue":{"value":{"text":"Computational complexity of the word problem in modal and Heyting algebras with a small number of generators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2678341$48D53417-6D1D-453F-842A-26F96E2987BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49ca5848c412da81ab6a440e3a63f30819df1a14","datavalue":{"value":"10.3103/S1066369X22050061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2678341$9636D4E6-EB0E-44F6-8020-C6DB29D6E894","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2678341$C40B8851-65D1-4405-A406-5A7ECDD692CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2678341$6422946E-EAB1-4AC2-9509-7453FFF87C06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b55eb1439ef3a3c6707cb36786e753a67d9d02e","datavalue":{"value":{"time":"+2023-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2678341$CFD882F6-201D-4BB5-A87E-4324F558F481","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"56528a547afad658a2bccf50696c0882526c82f7","datavalue":{"value":"03Dxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2678341$CA25CB97-74BC-4985-B7F4-1166247A83E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2678341$616EE174-A61D-410A-98FE-E0164EECECA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2678341$14548802-B1CD-414E-BFC3-5C1A807CF7AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"48a7a9ac68e52d2fada7016e3d1f3745daa70cee","datavalue":{"value":"7644547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2678341$C63ACA69-DE9A-4F1C-AA7B-554CA7034439","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2678341$864E9F8A-CFCD-40E3-B2E3-340B1B3C83FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"578d22b4943d233d02ade801f210524a90ddfdff","datavalue":{"value":"modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2678341$A0A93B74-03F9-47EE-969D-F63F79106577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2678341$6CAA94AB-07E6-419A-90A2-2A2D6A16D100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7001585e9b74bb867ef7afe1c0f510b491dbdc18","datavalue":{"value":"pseudo-Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2678341$7490DD73-E552-4B15-8D49-8AE0F6D0F28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d6da523c89b57ae3a8d5c9fdf9c01dc40d72708","datavalue":{"value":"finitely generated algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2678341$B79DC312-434A-4C2F-ABDB-AE1384169223","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":"Q2678341$2292A39F-D82D-4F2A-8E5F-B3648F956F8D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84339eb1b9200fd0bfaec4876ec88a12251ced16","datavalue":{"value":{"entity-type":"item","numeric-id":4919632,"id":"Q4919632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2678341$55FB6A55-9D80-4139-BD47-322EA7F12FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ffed4a264e02b8ca38a9036bd3449d8c1e36a4f","datavalue":{"value":{"entity-type":"item","numeric-id":4515867,"id":"Q4515867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2678341$DF6CECA7-4746-418B-8220-B9BB32A9989F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2678341$DD2763E3-7685-46BD-9188-C9D589A0FF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2678341$46608798-DCCF-4FA4-8905-7FA07C84C385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2678341$C366336F-9D7D-4A2B-9FBB-65962608F08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d00221cb29e4a9c559d10545cb0793a9fcd0ea","datavalue":{"value":{"entity-type":"item","numeric-id":4467744,"id":"Q4467744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2678341$EBD646F3-B61E-40D5-8B3D-1B49C481B84C","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":"Q2678341$9548AF23-A892-460B-822A-AC8406F48E38","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":"Q2678341$1733FC8A-C2F5-46D2-B51D-B78935C40543","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":"Q2678341$F4B896C1-C4E3-47C3-8EB5-C007C7388168","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":"Q2678341$7285DC1D-08E8-4D6F-9E18-85B4B5F812B5","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":"Q2678341$85101CC9-E506-4E98-818F-91F5DEA85DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"effea754c427db68579227ad081b40970a320511","datavalue":{"value":{"entity-type":"item","numeric-id":1623150,"id":"Q1623150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2678341$D29D19E2-18D7-4D88-A8CE-6F59A6339C8B","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":"Q2678341$89F9D42E-7BC7-419B-B380-11F12CCC786F","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":"Q2678341$55233CFC-DC82-4207-A1FC-D75E2599FDD6","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":"Q2678341$618CF37F-FDD9-47A5-8520-37BB05EF51FB","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":"Q2678341$01E1667F-2F11-4934-A4D0-949D1ED950BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2678341$0B2853C6-89EF-4D0C-BE59-0E4603F36236","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":"Q2678341$87995F33-0499-4577-9186-CAE5F2A2C48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2678341$48DFEC0B-F583-40F5-8E2B-86908FB75DA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2678341$830565E3-828E-4DA1-BC7A-EF93CE7D9C47","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":"Q2678341$821F7E39-86EA-4CCC-902A-F9009A62CC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58bcd6186558a372ee5a60748dadd758d337f40","datavalue":{"value":{"entity-type":"item","numeric-id":5579000,"id":"Q5579000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2678341$181919E4-93A5-4C3B-9399-F967D4DE313B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2115884fd288a454b2018d6b12a068bd976e300c","datavalue":{"value":{"entity-type":"item","numeric-id":3794153,"id":"Q3794153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2678341$57753947-ED66-48D8-9B65-F6147DAA777F","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":"Q2678341$A8197407-06AE-4025-84EE-73A53B0A4ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6c2552f1a64ade87cc291868a5894826413a8b","datavalue":{"value":{"entity-type":"item","numeric-id":5140314,"id":"Q5140314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2678341$6E9D215A-B7E5-4757-8C60-5BF892B6163E","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":"Q2678341$458520FE-301E-4D69-8F78-C15025CCD1A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcf9bee88c51f2cfa1fd094339fd35821bdd450","datavalue":{"value":{"entity-type":"item","numeric-id":5292653,"id":"Q5292653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a226b88e5d6d3dcb6bf8aedd6401bae0acff3e9b","datavalue":{"value":{"amount":"+0.7554368376731873","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":"Q2678341$FF7CD96D-12CD-4DF7-8FBA-BE002729E0B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c8d900aa07a5d93175528448f1e0cf3c0732fbe","datavalue":{"value":{"entity-type":"item","numeric-id":2307300,"id":"Q2307300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80abf22c7f083e3bc49133ad676ec1cf407a50c","datavalue":{"value":{"amount":"+0.7464580535888672","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":"Q2678341$0D066F29-7FD9-41CA-B428-4164FD3C22CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d63c13678a3d73f0814bf31690c7b455634e66","datavalue":{"value":{"entity-type":"item","numeric-id":391322,"id":"Q391322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f0555a91d0d7e52d007b09b1acb4c515bc96ec9","datavalue":{"value":{"amount":"+0.7417153716087341","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":"Q2678341$529731E7-4557-44EE-A912-0BC07A74848D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c24dfb547613157625a92964e3ee373e6c52ca7f","datavalue":{"value":{"entity-type":"item","numeric-id":3815356,"id":"Q3815356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"509c0affb07ee2a8fd58abca9c0e416ed4ff8060","datavalue":{"value":{"amount":"+0.7326456308364868","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":"Q2678341$8E011042-D853-4778-92E9-A651416B8071","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdbc9557649b23392dd8d54aa2c01ca9bcc42309","datavalue":{"value":{"entity-type":"item","numeric-id":5958321,"id":"Q5958321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1dec7b2d4508605d2feffb4c6092490350731f0","datavalue":{"value":{"amount":"+0.7306052446365356","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":"Q2678341$46355F5D-BEFF-44F3-BCC2-77D105FF49C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2678341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2678341"}}}}}