{"entities":{"Q4291872":{"pageid":6321473,"ns":120,"title":"Item:Q4291872","lastrevid":46325862,"modified":"2025-12-24T14:07:13Z","type":"item","id":"Q4291872","labels":{"en":{"language":"en","value":"Undecidable Varieties of Semilattice\u2014ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 567636"}},"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":"Q4291872$6BE452D0-966E-4206-8AF1-90BC7E14EFCE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3690814eea501e72f984f3694c6a3104594d76ce","datavalue":{"value":{"text":"Undecidable Varieties of Semilattice\u2014ordered Semigroups, of Boolean Algebras with Operators, and logics extending Lambek Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4291872$101EA523-AEA7-411A-992D-DBC929CE4D9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e29eeb0f7276e37d3af3aad9d78730c13826026f","datavalue":{"value":"0798.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291872$D5755FF8-3C0D-4A40-8FA6-EFA9B67E74CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d0a34f3eb4e2c2d51f71751f8a73288297bb98b","datavalue":{"value":{"entity-type":"item","numeric-id":1582309,"id":"Q1582309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291872$D033F479-34A6-449B-BCE9-6043D57C93DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291872$2220C7B7-4263-4DD4-AA9D-BD86D98A3934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0c110e220042f8c25f69d7566fe58fbf25b7","datavalue":{"value":{"entity-type":"item","numeric-id":514567,"id":"Q514567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291872$A1046DD5-C1EB-49AF-8395-24C89998A705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"133b2d2c9e18a2d8d838e9af0b335f8d3946ca49","datavalue":{"value":{"entity-type":"item","numeric-id":514568,"id":"Q514568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4291872$B448C40E-CDD7-4059-B7FD-9E5D7D0070BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d9914bc6feb5fa01fb9ecfc8e4444ea1144570c","datavalue":{"value":{"time":"+1994-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4291872$B5F28851-E8B4-43A3-A608-D4E34A3C4ECF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291872$0AD7FA71-C758-4247-811A-74B36471EEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291872$B23F7DF2-0B12-4545-B42E-3881CD9A8116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291872$95EB7C52-C3B7-4AE1-AE33-F139556A04A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291872$D6B70544-C076-4913-B63E-145CC4A1F456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291872$3C3CAF8F-BB46-409B-B220-7FF1505D2A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291872$3BD556AE-946E-4A1B-8DC0-7890729B9D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d85fc819987f741ef83c7852209bce325062055c","datavalue":{"value":"06E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291872$F1F802B3-AEE4-4E78-9F7F-9081A0F91B50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9ef8b4c400cfe728f7dd5f7fe9d0022f4957131","datavalue":{"value":"567636","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291872$090EF6C6-9083-42A3-86E5-2CDE5295A508","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe41bbd1d19cd047c8dda008d8d2285ed6d9082b","datavalue":{"value":"equational theory of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291872$C9203799-40F3-4293-B421-6581A779E731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac82369a09bc861a3472a183669af4c78913c02","datavalue":{"value":"Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291872$F8BDDB5B-B296-4DB4-B7E8-D9A67ED7B566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291872$8B259B0A-6B87-49B6-8890-31A88CE55609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291872$09C0FE2F-407C-4E8E-B1CF-4D48AD0F08F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291872$D82633FF-B36D-41DC-A682-2721B68F2D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cf946f0e488db5044770d63ad4541c75277b636","datavalue":{"value":"arrow logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291872$58BB701F-28D4-4D9A-A260-C95F66AE2A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"739f9ec9586c23c747827fa3e0ea390e2be315cb","datavalue":{"value":"arrow modality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4291872$ADE6FDD5-5E6A-4EB3-A632-A5F87D0648DD","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":"Q4291872$496A5558-0C5D-4610-A693-CA81698D504C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"367e4d0c9c570ce81d31b93d39c69e7be491e419","datavalue":{"value":"https://doi.org/10.1093/jigpal/1.1.91","type":"string"},"datatype":"url"},"type":"statement","id":"Q4291872$66305DF7-2993-4718-9A34-F2D2C579525F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3c3bd53360eb69c220eda423057cca8b1bfc3bea","datavalue":{"value":"W1970603253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291872$044F3ECC-635D-45E2-82FE-C4C482BBC479","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ceffdd5863d1baf40584d04b39a06a6cbe81e7f6","datavalue":{"value":"10.1093/JIGPAL/1.1.91","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4291872$84177829-CEC4-43E3-A400-8330326B3781","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":"Q4291872$0A9704A8-390D-4FC3-B348-BECEED2F0B97","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4aef52921727a357bf849ae4a9121696f55547fd","datavalue":{"value":{"entity-type":"item","numeric-id":1821098,"id":"Q1821098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"983e2f4adc33f36cc014e96eab276874697beb62","datavalue":{"value":{"amount":"+0.7666398286819458","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":"Q4291872$50218723-106F-474D-A252-A7DF87D67785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139e1c63f88d2f68940cc348a251e11be41b678f","datavalue":{"value":{"entity-type":"item","numeric-id":2520764,"id":"Q2520764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aba88690a67999e05c404248e61c8a9392994e0","datavalue":{"value":{"amount":"+0.7625765204429626","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":"Q4291872$CFD046DB-7A2D-4A2C-86AB-1D37CBCD4898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70ec3a7eac14e83f49a2dc055a586926473a2be","datavalue":{"value":{"entity-type":"item","numeric-id":4794027,"id":"Q4794027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80de7daa4fb85f9af1303ec23097f916574b65c","datavalue":{"value":{"amount":"+0.756504476070404","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":"Q4291872$59FBCAD4-3CC3-495C-B761-716DC51CF11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1cfa3b2224066af080f50fa101ffc50a35408d","datavalue":{"value":{"entity-type":"item","numeric-id":3081250,"id":"Q3081250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c046bb7a9940567bab6003afe7e523a975be826b","datavalue":{"value":{"amount":"+0.7506000995635986","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":"Q4291872$57E248DE-9434-4671-ACD0-95DB905F86E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4291872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4291872"}}}}}