{"entities":{"Q4314799":{"pageid":6344400,"ns":120,"title":"Item:Q4314799","lastrevid":39423244,"modified":"2024-12-29T16:44:56Z","type":"item","id":"Q4314799","labels":{"en":{"language":"en","value":"A rigid Boolean algebra that admits the elimination of Q21"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 695585"}},"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":"Q4314799$C767C824-B7FB-422E-82F7-C0FFD94F1036","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"84ec0244d4112db288215987bb814d696472dbd2","datavalue":{"value":{"text":"A rigid Boolean algebra that admits the elimination of Q21","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4314799$0155CDD8-0370-4B9C-BD26-922AF9DBD20D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7289a1568a7c9a940c374bfb07ceca3afb7ad89","datavalue":{"value":"0809.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314799$C03BCAF3-CF38-4ECD-9EA6-8D7BB51CDCAB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9ed88144f8e77d3f597a755edcd2688505232bb","datavalue":{"value":{"entity-type":"item","numeric-id":175051,"id":"Q175051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314799$3CA605AC-8A3F-4D4C-8A8E-4267D030764F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4314799$4A81A2DA-95FB-4FC7-B396-4C21ACA73FE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1c8c62e703dff8cd60c2f18eadaeec6e5a925cdb","datavalue":{"value":{"time":"+1995-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4314799$CF0F4549-FE8C-4335-B4F7-6F290177C097","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1e63cbd207fe4093021e7c9db275a4d8fa45311","datavalue":{"value":"https://eudml.org/doc/211970","type":"string"},"datatype":"url"},"type":"statement","id":"Q4314799$CAD472D8-BABB-4591-BA18-08AD804EF893","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314799$0C35BF01-602D-4AA8-9890-AA0B7B4CB983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314799$2663C9F0-626E-4824-92E5-4B4595BA92EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"02488e89072b0171b77a6763967bb5c4ce8445c6","datavalue":{"value":"03C55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314799$29832CD3-840D-47D8-951B-E6F1ACAD6C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e97646a8882015635af4610f03780a0fa4ada0c","datavalue":{"value":"06E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314799$C4EC7AB6-54C4-4721-86DE-EFF3FAE5642D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da00c812255bd7f02dddc14c65a56e042cf0446e","datavalue":{"value":"03E05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314799$CC7622A0-0E35-4F03-A73C-E0A5D8D4E00E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e95bda1395f2619b6456c81f5b4604db066158e","datavalue":{"value":"695585","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314799$07339F19-2B48-49E1-B39E-C1E0C8024BE2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91a6f7cbbad042c1a7f39762795b0a1dceec47e5","datavalue":{"value":"homogeneous sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314799$0981888C-4F46-441A-8A8E-CB9251107BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584a0167d10ced793f99cd842b7269e619ec4828","datavalue":{"value":"diamond","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314799$5B97F22C-DEBC-4FDB-8821-33E6CABF080E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72a63936eb0366096ebef3ca5dad858cc39ec712","datavalue":{"value":"elimination of Malitz quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314799$AC7F4EAE-FEC0-48D7-BE5A-8DAAD6308CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdd13620654b68e91eb0241bdfef354ed15e2b2f","datavalue":{"value":"rigid atomless Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314799$BD46F214-DA8E-4CD0-B49A-656917B5D4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70c12533e1406e33816856813f8ebf55f6f74c69","datavalue":{"value":"antichain","type":"string"},"datatype":"string"},"type":"statement","id":"Q4314799$065D16D7-2CC1-406C-AECE-36BFDA95A5AD","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":"Q4314799$E183F5F1-BD3A-4830-90D4-126EDC74B5D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5f295f37e2a417381693fb48ea3e21a8067b601","datavalue":{"value":"W272943967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314799$A36D55D6-41E3-46AF-92A5-6835F48E341D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d103a6b31b54dd03f1c56cc3777e8f5d4fc34c23","datavalue":{"value":"10.4064/FM-142-1-1-18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4314799$5BDFE513-ED4A-424F-9FA0-AF7C1E15EFA1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4314799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4314799"}}}}}