{"entities":{"Q2274729":{"pageid":2285472,"ns":120,"title":"Item:Q2274729","lastrevid":53547680,"modified":"2026-01-25T06:08:56Z","type":"item","id":"Q2274729","labels":{"en":{"language":"en","value":"Zeon and idem-Clifford formulations of Boolean satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7111335"}},"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":"Q2274729$B303BA97-EBDE-4310-B957-46794DADEB0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78e3bc723c52c94a31ae39a5024e07ff3fc4a97e","datavalue":{"value":{"text":"Zeon and idem-Clifford formulations of Boolean satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2274729$20CD286F-5572-4D85-A013-F8E3674398EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7a4b9d8e838bcefc99a72119ca4d1e8e56a7ed5","datavalue":{"value":"1456.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274729$9A38218B-2660-45A4-A1B0-914CFEF45B76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$99902236-0B20-41DA-A4CF-6CEB4EC37E82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7dcf1477c2c1fa51233003d7ddc56e904fb2213e","datavalue":{"value":{"entity-type":"item","numeric-id":211586,"id":"Q211586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$CA0BD5F5-4EF9-4CE3-A59A-168E1CAD6D29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dea1ace5968cb70ccc50b025abd55a0016bafdf0","datavalue":{"value":{"time":"+2019-10-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2274729$9D98938B-9359-4098-BDC5-848119E9CE7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274729$7FC6EDFC-B208-4460-B95A-919ECCB4FB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb1e2924ba238bc47b6e89cc71d65b0484b3d905","datavalue":{"value":"05C69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274729$BE6C7883-4FE0-4454-976F-971AA2CB0E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"15acf75242c35451cd682d28ac4badd1c0444212","datavalue":{"value":"15A67","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274729$563D2C1B-FC5F-41FF-BE55-516291477C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274729$336F1566-933D-493B-AA47-338870BF7988","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b7237d47490818cfcc9f987edd36963b2475da0","datavalue":{"value":"7111335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274729$4B95E4AB-BA53-42FE-A8F7-4ADE88FA3261","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b59fb86ee00ad5130e0d16ea6ca566c872581c7c","datavalue":{"value":"zeons","type":"string"},"datatype":"string"},"type":"statement","id":"Q2274729$AA159D31-9B9E-4B71-B6CE-0AF6CAEEF97F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2274729$0B65D075-1129-43C8-8FD5-2DDB4ADABFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2274729$1C67EF81-764F-4C71-AD49-0C8B95C4D169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a153084f07a75cc56b26c617236589c3c4eb947","datavalue":{"value":"cliques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2274729$8D77CE32-706F-40C0-91A8-6A1079A324A0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$DEEA3310-2820-4696-8F9A-F66DCB627E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8df57b9f22ec38811d87b30037225613a14c0974","datavalue":{"value":{"entity-type":"item","numeric-id":17104,"id":"Q17104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$AE03B916-640C-4B60-9752-BEDA1C5F4243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1fc1666c18e09b42b86c0c9aad8527d30b071e20","datavalue":{"value":{"entity-type":"item","numeric-id":17103,"id":"Q17103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$AF3A816B-A5D2-4D01-8A3C-7AC07D691CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"35b1f5b73a49fa979c4cde26c4c6504d1d95628d","datavalue":{"value":{"entity-type":"item","numeric-id":17102,"id":"Q17102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$B3F4962F-F4E9-4BFE-AEC6-999133FDD135","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":"Q2274729$97B9B0D0-21D9-4CCB-ACE9-C059E8664E60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e152439e75d6420b96d7141868446e32fe3162c","datavalue":{"value":"https://doi.org/10.1007/s00006-019-0978-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2274729$F85EB11F-FCC6-4D15-84CB-A10E001E782C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6c30344e7e0723fddbecc4d6ec2519808649a98","datavalue":{"value":"W2953983690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274729$D2C633B8-94E4-4E4F-9760-59FC8ABE9762","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"08197f75dbba1c72a9a41e70e58567cde3000b85","datavalue":{"value":{"entity-type":"item","numeric-id":2960887,"id":"Q2960887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$66B5E60E-6842-42A0-B70F-C65DEBAD72C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$258ADD41-C4D4-46FF-B8D5-49219B9FDAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de78668ec506d77c0205449215617f4d29df1dc3","datavalue":{"value":{"entity-type":"item","numeric-id":3441737,"id":"Q3441737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$32687972-3A0C-421F-8733-0D8BE136C5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cef18292d5dd535c11c8bdd9cc3381a54ccc6af","datavalue":{"value":{"entity-type":"item","numeric-id":2317865,"id":"Q2317865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$9CB03731-388D-4561-A767-06A4C9235C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7948d2ae997be513a92df2486b836c4e1eaa12","datavalue":{"value":{"entity-type":"item","numeric-id":5667480,"id":"Q5667480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$D3ECC391-866A-4CB3-83A5-5211AB2FB902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2191b0b24f8b85af550452ab6c183bdb86777e9b","datavalue":{"value":{"entity-type":"item","numeric-id":430733,"id":"Q430733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$01AC1D37-0CE6-4D51-8AFB-3EDDD6B225B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501aefe4754342fb8d5444baacca037714207964","datavalue":{"value":{"entity-type":"item","numeric-id":4999425,"id":"Q4999425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$E4FF945F-716C-442C-8FEA-F7D554329B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cf4bc885a32930450833c1415b1595e80ffd5e","datavalue":{"value":{"entity-type":"item","numeric-id":2881260,"id":"Q2881260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$DAE6D2F6-437A-4052-A7EC-E93B00C7D471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c472d24f33ceb04e0ff223619ef2365fe9c803b","datavalue":{"value":{"entity-type":"item","numeric-id":3098637,"id":"Q3098637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$EBE3AA47-DEC6-472E-A2EB-6080EFBEEE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edfd19b45ad02eb99f8167c813ed18c8e1d20e52","datavalue":{"value":{"entity-type":"item","numeric-id":2361423,"id":"Q2361423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$2A857E85-154B-42AB-A9BB-5A4058463604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ddfdef8010650483fe602ef9bc74c467d2be58","datavalue":{"value":{"entity-type":"item","numeric-id":1038792,"id":"Q1038792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2274729$DD7C77D2-3261-48A4-A55B-E787DE13E34F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"933843e4eb530010e38f3b1454d2e9dada60e834","datavalue":{"value":"Q127520261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274729$46FB3572-EC04-4E88-8563-8181E145AFF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdad404be652abf923615f863c01982a29edad60","datavalue":{"value":"10.1007/S00006-019-0978-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2274729$F28EC22D-8419-4F20-AC92-4DA48BA6925A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d23da9599b05b48b9d6ab1f5753bb71abc9bbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2317865,"id":"Q2317865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e934ea6f8f3e5383631cc453383fe191b81fda0","datavalue":{"value":{"amount":"+0.8691170811653137","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":"Q2274729$CE67649F-0F11-4F39-BFFF-FD8243A42AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5c76fabe88d9c70eba38b514452624b68ca549","datavalue":{"value":{"entity-type":"item","numeric-id":2729721,"id":"Q2729721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48236b14d1c572e55c1f407d4b4dc8e679ef19d0","datavalue":{"value":{"amount":"+0.7599377036094666","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":"Q2274729$83D33703-B243-4080-BD30-7DA211147D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8c7c95240e207c0d8b24c33c19beb8f00c024a9","datavalue":{"value":{"entity-type":"item","numeric-id":4804883,"id":"Q4804883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67cf2994db0edcec50c4b047db148cf5719c876d","datavalue":{"value":{"amount":"+0.7482092380523682","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":"Q2274729$7CC7CD2F-B70C-4D3C-A6CC-73D872C56957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcbeeb5ebf247252bd252f2b9b4f1bdf64d126d","datavalue":{"value":{"entity-type":"item","numeric-id":4809068,"id":"Q4809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67cf2994db0edcec50c4b047db148cf5719c876d","datavalue":{"value":{"amount":"+0.7482092380523682","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":"Q2274729$02F15D81-BCA0-4B7B-AEFE-4F8F2D86AF64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c07ed16caa771da2f164a1178f36123cb0ba7f1d","datavalue":{"value":{"entity-type":"item","numeric-id":2434568,"id":"Q2434568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd15098d92abeb1f86c27dd98db8d090432ba8c5","datavalue":{"value":{"amount":"+0.7337024211883545","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":"Q2274729$2CFB113F-742A-4F30-A9E4-B2B5EAE9373A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2274729","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2274729"}}}}}