{"entities":{"Q2317865":{"pageid":2328608,"ns":120,"title":"Item:Q2317865","lastrevid":71830464,"modified":"2026-04-14T00:49:37Z","type":"item","id":"Q2317865","labels":{"en":{"language":"en","value":"The Boolean satisfiability problem in Clifford algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7093357"}},"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":"Q2317865$6D77A217-94F6-450F-A796-D0DB3CF6E9F4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ff61039d53a4b6a6efcb27a0f1eff6d745f1a4c","datavalue":{"value":{"text":"The Boolean satisfiability problem in Clifford algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2317865$5FBCA2C1-F962-4BAB-B53E-4DBFA5902192","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4aa3910f620615945c5aafe699ab9c15e7d1f9b6","datavalue":{"value":"1423.68438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317865$02246E81-EBAB-49F2-91A5-5DFB1EBE1FE2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5dfeb061d83d2df18442ac6a4c8ada614a877b7","datavalue":{"value":{"entity-type":"item","numeric-id":888965,"id":"Q888965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317865$1BB147D6-1FA8-4F5B-95C1-53760705B0CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317865$B6796288-F76B-456D-A8F8-209E19006F6F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30176b6b09f172a9f50ba8c678f0b9b419b2c80c","datavalue":{"value":{"time":"+2019-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2317865$C16AA3D3-3360-4A4A-93E6-3BBCE8207DEA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdf2e3486647e665f18ca564e19732ec7fceb642","datavalue":{"value":"https://arxiv.org/abs/1704.02942","type":"string"},"datatype":"url"},"type":"statement","id":"Q2317865$7606F0C7-EE15-48E0-8677-DDF74BF5241E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317865$F58F028A-F309-4E74-B756-A8648233029B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83211f0eb2cd7b7935b0481146199d3505baf54c","datavalue":{"value":"15A66","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317865$858FD13A-6DAD-4270-AE2B-6310FA8B1ACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7ddaa80bf0a693a36c1113ff6b7ad576f729940","datavalue":{"value":"68W40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317865$F356DD7B-C146-4FB7-A0B4-DF59B35A65B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f489ade6e6f16133f046b119e1cae9fcfcb1235","datavalue":{"value":"7093357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317865$F29CBA27-D6A0-4189-B395-68F7418CD1B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2317865$F08080B3-8FB3-4A6D-B912-DC00522E7A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9893315fb9923cc47735c8c0eaeaa900d057207c","datavalue":{"value":"Clifford algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2317865$DBB555FA-769E-44FC-8C74-77DE5C999BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dccf2f0d7b7d4f83e10c08becfd49dc32ca80fc","datavalue":{"value":"geometric algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2317865$AAA4B92F-A1E1-4589-8493-802542ABC23F","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":"Q2317865$D3642790-DB46-4910-A378-51927DC7FEE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e71edb042eb0ec9ca5be2e299ade9ac520979fe","datavalue":{"value":"W2606159282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317865$6AE693DA-9032-4735-B27A-20B074FAB911","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0158d61646f22fa2bf3f5088db715ce11c981450","datavalue":{"value":{"entity-type":"item","numeric-id":5318246,"id":"Q5318246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317865$4321768E-C7B0-4CD8-873D-C3B56FC80F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"908bd06a83f3d6e5e0c072beddc6e27b6f9b4780","datavalue":{"value":{"entity-type":"item","numeric-id":3185690,"id":"Q3185690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317865$81A7DBD0-6E3B-4AF5-AB54-C381CFBAA40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338c5e356089afadaed3403eb547060aae9b1658","datavalue":{"value":{"entity-type":"item","numeric-id":5830680,"id":"Q5830680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317865$27A12751-3264-4054-8BD0-F4AEA864A8F8","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":"Q2317865$88BFF5C1-B25C-4AF1-980A-0928BEFC5657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e90f9104ea022c7422408156c4aea89597a34a","datavalue":{"value":{"entity-type":"item","numeric-id":3686043,"id":"Q3686043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317865$FBA7E7E8-A6EF-488C-9E6B-42D6EADFC896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab505d079acae70f31b63226f0d6d40ff5b0dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3546306,"id":"Q3546306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317865$46F97568-957D-4F6B-8340-CF5FE4F3540C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cdc7581b9c74591d27e5c3d76685d7c7ed5c2af","datavalue":{"value":{"entity-type":"item","numeric-id":4853983,"id":"Q4853983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2317865$40CDC1A4-22EA-476C-986E-57CB06719568","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":"Q2317865$C85B44D7-1901-426C-8041-083300CE0840","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0c7be43c350913da3880b2ff77873cb81a0efa3a","datavalue":{"value":"10.1016/J.TCS.2019.03.027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2317865$F68411DB-FEF1-4D86-8C33-6E1DD7450DA5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498b08296b244450075a53c631e8ede7aa499e4f","datavalue":{"value":{"entity-type":"item","numeric-id":2274729,"id":"Q2274729"},"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":"Q2317865$8D008999-1227-46FA-8F44-4C9A79C2FB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c48186e1fec7ea7e51fa10cd431df37f7eb934b","datavalue":{"value":{"entity-type":"item","numeric-id":5146179,"id":"Q5146179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a9a8b5e0b14e824449b2942c828d50d3b1ca25b","datavalue":{"value":{"amount":"+0.7728056311607361","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":"Q2317865$DE7FF944-02FB-472E-BB7E-F7CB453990BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"955a96fc7a6669b3524f5e66da5f8db9380af047","datavalue":{"value":{"entity-type":"item","numeric-id":5305561,"id":"Q5305561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23e6852baf07500f1a0abf944564dadc9b3cf98","datavalue":{"value":{"amount":"+0.7706738710403442","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":"Q2317865$41D27841-99CB-4F9E-9396-10B81D544D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d1fa86bb5f67d0f806395b601846298917bf334","datavalue":{"value":{"entity-type":"item","numeric-id":1082830,"id":"Q1082830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d4cc8a99c75ced2fb4c8c193e88921c2dffa3a7","datavalue":{"value":{"amount":"+0.7669981718063354","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":"Q2317865$8252CA5E-31BF-45F7-9703-750803C0AAC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651006af4f64a7c4bbcbdf5718f802833b4f6a47","datavalue":{"value":{"entity-type":"item","numeric-id":4651809,"id":"Q4651809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4172392fe3f0e2a534f598d07ba15d032bea04eb","datavalue":{"value":{"amount":"+0.7633271813392639","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":"Q2317865$43CC99AF-667B-4585-9EBE-FA47C5F894B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Boolean satisfiability problem in Clifford algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Boolean_satisfiability_problem_in_Clifford_algebra"}}}}}