{"entities":{"Q6197145":{"pageid":13332033,"ns":120,"title":"Item:Q6197145","lastrevid":39757669,"modified":"2024-12-30T18:22:58Z","type":"item","id":"Q6197145","labels":{"en":{"language":"en","value":"A sentence preservation theorem for Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7806063"}},"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":"Q6197145$6AF8C63D-64F6-422C-AB52-EA9898FBBB2D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"380c94451afc8c47711dd1de3969258fc70a0e70","datavalue":{"value":{"text":"A sentence preservation theorem for Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6197145$39E04F4E-5B8D-47EB-B1E7-ACC4A36CFD5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b18d30f3ee92d3e8833d67d01346e1e24206b891","datavalue":{"value":{"entity-type":"item","numeric-id":1707570,"id":"Q1707570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6197145$713A049B-7394-4B5E-A9EC-19C3B6C472E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6197145$798FBB4B-1883-4691-851C-02B9E2B4B7FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6197145$9237CA56-0C1F-4220-B90E-EFF8A518F537","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f97231c38032b2cb868c18061aedc088fc6d95c4","datavalue":{"value":"03Cxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6197145$9794A3D8-BE29-4D42-9FCE-EC34525E7370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f3e19226441d4b8048ce27ce815913b6ae4d5fd","datavalue":{"value":"03Exx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6197145$52C10F10-2881-4E54-85B3-DA5003342354","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdd076c4206a466622fdf8baeccfe44c6392bb05","datavalue":{"value":"7806063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6197145$70BAD355-CDE0-43D8-9D03-753CD3831DE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6197145$DE2577FA-614B-4B27-9765-309BC25A9790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f295a78d0200583755ebf10ccd4807589f921108","datavalue":{"value":"Venn diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q6197145$49FBEAF3-C974-4977-878E-AC032332CF67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf8dbc866d2c8abba36c82fad5b5be72c391b3e","datavalue":{"value":"truth table","type":"string"},"datatype":"string"},"type":"statement","id":"Q6197145$6D6783CB-9C60-4B53-8C81-3701D3FC8645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61380439d4976206c8d8bfd964c1dad40a9de599","datavalue":{"value":"Horn formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q6197145$7A9E2A4F-6DB1-473C-B7FE-D28B97E62EF3","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":"Q6197145$244C25FD-700C-45E7-B645-9D19210A808E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7e493efbff437f3217b8e2001b667f073a9cc9","datavalue":{"value":{"entity-type":"item","numeric-id":5795278,"id":"Q5795278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6197145$0C5D9DCA-B8C4-4EAD-BC34-B8EEE38A9B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f4e000e7940ab24593b931a2a8f684779a6e0df","datavalue":{"value":{"entity-type":"item","numeric-id":3283133,"id":"Q3283133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6197145$BC6EC015-DCC0-4ECD-AA91-7C15EBEF6934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"898a5a280d557662ae3e2c48d552a791d43ec7ed","datavalue":{"value":{"entity-type":"item","numeric-id":1056746,"id":"Q1056746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6197145$4435166C-A181-4634-B905-13D748C78CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d58fe13cf4dc4ef857c850296c593243b371038","datavalue":{"value":{"entity-type":"item","numeric-id":3797176,"id":"Q3797176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6197145$08B72482-C91E-4B72-98E1-87D43194BA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488d1d760ce51618529adaffafeabc13d43da6e6","datavalue":{"value":{"entity-type":"item","numeric-id":3836182,"id":"Q3836182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6197145$42F5D63D-3D64-48A5-A123-2CAB8BB7C4A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e3741eb5e1586297a8a1ecd9bf84ec5b062ca3d","datavalue":{"value":"10.1007/S10958-023-06599-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6197145$D12D8052-5632-4ABD-8BF7-811A7AA89586","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6197145","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6197145"}}}}}