{"entities":{"Q6556322":{"pageid":14167477,"ns":120,"title":"Item:Q6556322","lastrevid":99798284,"modified":"2026-06-05T20:43:48Z","type":"item","id":"Q6556322","labels":{"en":{"language":"en","value":"Solving the SAT problem with the string multiset rewriting calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7866058"}},"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":"Q6556322$A3EC82D5-B272-4498-BEAC-1080EF31F023","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fee4abf77f9b2b02fa3ff53709d29c76a496f81e","datavalue":{"value":{"text":"Solving the SAT problem with the string multiset rewriting calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6556322$17BD407F-8C17-4589-9977-D51E37EBE230","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecf453dfb45cbee325db213f09dd10d6d9e8f531","datavalue":{"value":{"entity-type":"item","numeric-id":1982989,"id":"Q1982989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6556322$A2C9AE59-7565-461F-85EB-278915E70A37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b79ece58f33b59758a066cb6b9ee149bab3a2c9a","datavalue":{"value":{"entity-type":"item","numeric-id":167642,"id":"Q167642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6556322$12ED48B2-CFE6-4FD1-92F2-4481F89B1193","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35a5241064320b4db28aa52ee11830bd020630c2","datavalue":{"value":{"time":"+2024-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6556322$2270ABA7-8E84-49B8-B9E6-8C701D9401FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6556322$99FCBF3B-BB57-4838-AAE9-C1E657C29A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6556322$E5C89BBA-9FEF-4336-A556-B268D16F60DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08d6627ae2c019bef2c123de72ca8195cdbf2423","datavalue":{"value":"68Q07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6556322$88B95DE6-900F-4EB9-A852-EC90AD78EE3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"363d4f0cbb122addf08fe2f3a2851cb859e42f4e","datavalue":{"value":"7866058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6556322$89B07F8D-DF24-42EB-AD46-CA54A6A4B014","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3afd531e12148b303791208ab5e8794a7478783","datavalue":{"value":"string multiset rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6556322$981BD8D2-3BB0-4BA4-82B1-C5CB174D1F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a61a4161e91d598daf82bb9e590806acb9b00069","datavalue":{"value":"biologically motivated computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6556322$EE1CB05C-8704-4B09-8703-6672E123AF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb52b943014b9258a8db07fdbf37351ae3f5bbea","datavalue":{"value":"SAT-problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6556322$1B50ED2D-2CC4-4EDF-8688-A4E95E96EA8B","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":"Q6556322$63FC9A57-D3CD-42AD-BD4F-37CDF971606E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1d0b04291eb96642c634029e25d2693984d385fc","datavalue":{"value":"Q128497541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6556322$B04FF3DF-F8EA-45C1-89D6-1740B4C0A121","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4838d88b40bc7c59e856483d6f020e03c8baf907","datavalue":{"value":"10.1007/S00607-024-01258-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6556322$CEF0A506-CEDA-4842-A744-B14C9B9AA367","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f73c2c116b1d15c659a8a849eb576cf882ba933","datavalue":{"value":{"entity-type":"item","numeric-id":6162062,"id":"Q6162062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16022b36a53dc64b674a3c99ad08e2fea80e5c8","datavalue":{"value":{"amount":"+0.7556546926498413","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":"Q6556322$7239A39C-21A6-4483-B326-871C6F953FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d63cd6638f79ab2bdd5494197a345a62b14bbf79","datavalue":{"value":{"entity-type":"item","numeric-id":5404852,"id":"Q5404852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"975abedb8a4fb9d250eca6c5501376056ed68fa7","datavalue":{"value":{"amount":"+0.7290805578231812","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":"Q6556322$F9340AE9-A93C-48BE-B21C-6D54173C3544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0426c68960c44e86d6bff533d59bdf26681ae031","datavalue":{"value":{"entity-type":"item","numeric-id":4913846,"id":"Q4913846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc8ce3121cbcb1aa16d2d064157dd6302d76c4e6","datavalue":{"value":{"amount":"+0.7290014028549194","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":"Q6556322$527B934A-D56E-4ABD-9F68-8FBC247EA3C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0abb88f146c41640a89ef8bbbbbc7fd0f96b072","datavalue":{"value":{"entity-type":"item","numeric-id":4913840,"id":"Q4913840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0355aa0fccfacbe8626f31e8a778b2f8c693b0a7","datavalue":{"value":{"amount":"+0.7135249376296997","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":"Q6556322$56B4736A-5C99-4673-A840-33C95CCDFCB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407cd956e342f79b20d826b0d598866237916821","datavalue":{"value":{"entity-type":"item","numeric-id":4416448,"id":"Q4416448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbf3389f9d84130d8795fb9bfa5a34dec03e5d0","datavalue":{"value":{"amount":"+0.7056933641433716","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":"Q6556322$6366A53E-7F01-4D09-A05C-3DBA26688A46","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6556322$23EE4F87-3795-41BE-AE58-ED50BC967450","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving the SAT problem with the string multiset rewriting calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_the_SAT_problem_with_the_string_multiset_rewriting_calculus"}}}}}