{"entities":{"Q3941388":{"pageid":5971293,"ns":120,"title":"Item:Q3941388","lastrevid":87855002,"modified":"2026-06-04T13:00:48Z","type":"item","id":"Q3941388","labels":{"en":{"language":"en","value":"Decidability and Boolean representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3758307"}},"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":"Q3941388$7C0F148F-B946-4D6D-B013-23472D32B15B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96ff1c3eb9fecd2e239c70041d26cd87d1a6d937","datavalue":{"value":{"text":"Decidability and Boolean representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3941388$1CB9AED8-9ACE-4C74-90CA-3B7D62A41242","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f8789cec5878d7b042e1ade935bf0feaba734c8","datavalue":{"value":"0483.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3941388$FBB49F54-4F9D-4B93-90C3-670261E65999","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20017067c31a46e9902d76352f9cf4b16770f2b3","datavalue":{"value":{"entity-type":"item","numeric-id":185681,"id":"Q185681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3941388$F3332634-0528-46AA-8ED5-66F6F4AB4972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b586c610b4126dc988da2f2411ac2d994312c53","datavalue":{"value":{"entity-type":"item","numeric-id":1883664,"id":"Q1883664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3941388$65BAC2F4-3B73-4FFF-9536-FFFA20C5FF9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3941388$74996D9A-3B6D-4C9A-820A-EFE6CF6D55CF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3941388$6E83E8D6-5D92-4BA8-85F0-DF5276244B30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3941388$7AB607B0-C745-4CC1-BD1E-352D802B6A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3941388$FD3ED1EF-0BA6-4F96-9A5D-B7F564432289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd203843bfa7d8abb3c9f96c8aa3200c06f018f5","datavalue":{"value":"08B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3941388$70A99F01-0914-4C4A-BD2E-EC0957AF383B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3941388$A85D4E75-1B17-4234-BB7C-A10023AC3FEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8f250a63f0ee5b042e6e7eec253a9750ca8f840","datavalue":{"value":"3758307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3941388$0E36887B-77C9-494C-853A-54CE41194A5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffd9cc97b380b4679cb5af63cc322d9b8f03f368","datavalue":{"value":"variety of universal algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941388$3CEEB7BB-52D5-40EC-8FE8-D9C2F12E738E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54ea51f43dd835b233c8548cd744fb7aa46de423","datavalue":{"value":"varietal product","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941388$A71F91C5-5A30-4508-92DC-EF8A4D51B7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dda2fcceb25b290ad7359a0c380e0b125bd3d2ee","datavalue":{"value":"decidable first order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941388$F01FA1D8-16ED-400C-9399-C3D816291B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9897ce7f5e9dcb541bf1e9736ab324350dbc6a3d","datavalue":{"value":"modular varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941388$0FB5167E-F5E3-43E9-8524-AB36BF82C0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0047358160b24dc80274ba04e0ea4fb5149336","datavalue":{"value":"locally finite varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941388$1245ABDE-D22D-44A0-8A7B-8F2C0269155D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941388$23845C4D-96F4-4302-A4B7-B3DBC8ACA3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c7c1048a9ae4167549a09dd4eb4f505d761012","datavalue":{"value":"abelian variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941388$D5A7689C-28E3-40AF-810F-C8D36B0E14AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c50781a5569cde4799c839c717d7967b7a4e75a","datavalue":{"value":"Boolean products","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941388$3537FBA5-14A4-4C70-8A2C-820C81645B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b55e923eae063df045888dac6ab18f4d72b428fa","datavalue":{"value":"sub-Boolean powers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3941388$8AEFB746-6EFF-4AAB-B623-779D20D6EF37","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":"Q3941388$3E53D5A9-7E72-4441-B36A-609B5D842A2B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f01f21f51abfc8e093e9adfcd1db8deea2ff201","datavalue":{"value":"https://doi.org/10.1090/memo/0246","type":"string"},"datatype":"url"},"type":"statement","id":"Q3941388$BAA69CDD-130F-445D-967F-F0AF5276EB7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71c99a59240b67f8ae57104d5e9ccb77b029edfc","datavalue":{"value":"W2043550776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3941388$F21AC022-A2CB-4747-947A-61110302D21B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3eb91746aa93c1e94845cbcc38c32a92e5992f0","datavalue":{"value":"10.1090/MEMO/0246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3941388$F55CDFF9-0DD3-4125-B5AA-39A3986C2093","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3e579ff2efacb42b9d38f2f0e1af9f50e1a4fd27","datavalue":{"value":{"entity-type":"item","numeric-id":3299492,"id":"Q3299492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3941388$3B4B04E8-4787-4206-9B70-B2D2ABC8844C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability and Boolean representations","badges":[]}}}}}