{"entities":{"Q3966104":{"pageid":5996009,"ns":120,"title":"Item:Q3966104","lastrevid":55124680,"modified":"2026-02-03T21:54:53Z","type":"item","id":"Q3966104","labels":{"en":{"language":"en","value":"The Boolean algebra of formulas of first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3788581"}},"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":"Q3966104$A8F1D699-14A0-4806-BEAC-0DF4AEA73D43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd72aa845d08df38839e3d26da8cbc0904cc1c18","datavalue":{"value":{"text":"The Boolean algebra of formulas of first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3966104$F4BFEE2A-450B-4580-90BA-9A48D2192EE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce10090d07ea0bd2eaec86215b41a2ea5b964354","datavalue":{"value":"0501.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3966104$76BF6799-1A5D-4363-BD39-8BEFACEA6176","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04b8ee61416c7193c500e63b4ddf9d221a548c9d","datavalue":{"value":"10.1016/0003-4843(82)90009-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3966104$3C0F2372-E65B-407C-BF0A-C05E881FDC26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3fe235120ff7a1bac3a48f533e12df36dbded48","datavalue":{"value":{"entity-type":"item","numeric-id":2741222,"id":"Q2741222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966104$A927F51E-509B-4A51-828C-DAA3101C51A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8163ce1afc0fec16367278ef74f8847085a60d3a","datavalue":{"value":{"entity-type":"item","numeric-id":3041173,"id":"Q3041173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3966104$D125D0FD-03B7-4683-9FC5-E4752A6D400B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3966104$024AE690-0DC2-482E-B6D9-490D40617CDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3966104$092B2281-334C-4019-9164-0F7CC23DFD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3966104$384B3C29-168D-42E4-B193-EAD4771925FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1bf1b9817ed2b80044ec54a7315e86592f11c636","datavalue":{"value":"3788581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3966104$70D4394B-FB81-40A7-9D68-145BE33F6F8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ce26083ebadf25ec840e8950364035b9cda9a69","datavalue":{"value":"algebraic and recursive structure of countable languages of classical first-order logic with equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966104$AEDBE8D2-A37F-4C5B-A0AE-26114C90FF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6432e8250644e12160290809fb6ad190cd045e30","datavalue":{"value":"languages of finite undecidable similarity type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966104$EBCEBC18-0636-40F5-8BA5-74E3873F4FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37d1bb6d633639db512fc23634dbf3c6ef139b3","datavalue":{"value":"recursively isomorphic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966104$255131BF-5092-4858-9BE9-03E89B49514C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6528531150eab38a92f748ab45f5174cc8c34aed","datavalue":{"value":"degrees of recursiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966104$31381B1C-5113-49D5-B889-8696B39CC8B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee69a90e3c47a775dd9e915544bbef1c39ad956d","datavalue":{"value":"language with one binary relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3966104$E3CE5EE3-02AC-4315-BCC7-DB88B997E11A","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":"Q3966104$9FD4A389-AE62-424E-93EC-83811A2E6E6F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7192a544fce3222eaffe6dbc512193f6556ef478","datavalue":{"value":"https://doi.org/10.1016/0003-4843(82)90009-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3966104$93F90CD3-A649-4C1E-8655-EC8F5BC30CB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e093edb18cf00a6e0617961982d8dd62776f903d","datavalue":{"value":"W2030442362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3966104$B00D98E7-D981-494E-B098-C6B542C31BF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3966104","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3966104"}}}}}