{"entities":{"Q5404852":{"pageid":7434426,"ns":120,"title":"Item:Q5404852","lastrevid":75602806,"modified":"2026-04-20T08:16:04Z","type":"item","id":"Q5404852","labels":{"en":{"language":"en","value":"Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275673"}},"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":"Q5404852$E59CF88C-14FF-4A4B-BE36-16BD37E28C5A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"028cfcf431cf8c130b60315a97d72bd8e938905d","datavalue":{"value":{"text":"Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404852$4EAC7A76-EC95-4CB5-80EA-5E2D3437A975","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"504fac6c9c1adeaa641f85bd5186a45de2c90a9a","datavalue":{"value":"1407.68169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404852$57C40AAD-6FA7-4B3F-B25D-C7F8817E6425","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f74ce4422dee0e151a8f6ff6a3c83931e2907db","datavalue":{"value":"10.1007/978-3-642-54239-8_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404852$0C89DE7C-3606-4A66-BFD9-5A5BE1ECE924","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77d2f5116085a3cb41dcaa973a580020c4febca4","datavalue":{"value":{"entity-type":"item","numeric-id":989548,"id":"Q989548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404852$86E44E60-B8BE-4752-9F00-292498227D03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cdd6a1c153f75713f57bdbbdd1af0bcd8c762242","datavalue":{"value":{"entity-type":"item","numeric-id":2789111,"id":"Q2789111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404852$CFD33374-0FF5-4165-89B0-8B83734E0BC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8e12da0e8bd681f94b625e1ea013bf02fcfebe5","datavalue":{"value":{"time":"+2014-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404852$76D6B967-589F-4EA9-9706-E13E0FC48B96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404852$D1F12AC6-64D0-404B-A875-101107BDE90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404852$66976A91-A416-4239-A2E4-9CEEFB2D60C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404852$B7C678A1-2CD1-47BE-916B-FC57DB8DBCA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b1170f85bc4b47b3f838da6d175278aed92c690","datavalue":{"value":"6275673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404852$AFF98197-F51D-4E79-95C8-982FE648FF75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16d0f036297963b684a28c00ed2a52d72405e600","datavalue":{"value":"membrane computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404852$5139CDEB-546F-48F4-BA7F-DE914BE275B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55eb0d5986f8944e47b6c4de2a3c0fe981c1866a","datavalue":{"value":"P systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404852$7B1DB870-DE56-4DEF-84EB-A90CBF582906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508def3536da451aaa16ab7a21353869c1e5bdc9","datavalue":{"value":"SAT problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404852$16CA11A7-004C-4A1E-9FC0-F02D8FFBAFBB","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":"Q5404852$A76069B7-4A36-4073-8DD6-D464C25FB0B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cec6f8bab669fb4b6f83178da6fa3d574556f51","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54239-8_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q5404852$396865F3-F157-4482-B44F-64CBD7344CE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"112a779969534ae60d7c8d2d4a77a225ec58eeb3","datavalue":{"value":"W2187311691","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404852$C59E35F2-A7EB-4B61-998A-660E728A8EB2","rank":"normal"}],"P1643":[{"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":"0aae1d65576983dee158fdbc3ffd4c6ffdab3ffd","datavalue":{"value":{"amount":"+0.94212204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404852$D9590510-4D03-482E-B8B1-CF518A7D8B19","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":"dca69c840bd1ff1a50f45c071756cbe7b8ad3510","datavalue":{"value":{"amount":"+0.94097114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404852$A0FD56A8-0505-491E-9C01-34768115D24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5d3d1cadb629d8842087c18ca67ccac2867422","datavalue":{"value":{"entity-type":"item","numeric-id":2440831,"id":"Q2440831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6e515f7f9aecd0a14f9e6a5cb7bf49612830b37","datavalue":{"value":{"amount":"+0.9259351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404852$70A43BC0-01D0-4110-A597-B98017C81FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe508a43e921b6ce75e446f3e7287f228c77b06e","datavalue":{"value":{"entity-type":"item","numeric-id":6048241,"id":"Q6048241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a64b2f3f3c14b19433c83bcf5053e4c38667ce1","datavalue":{"value":{"amount":"+0.914829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404852$0063B62F-0B4D-41BB-992C-1F0B9444EADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17ab6c9ee89a7d8ac002a75a0ade84d67b918785","datavalue":{"value":{"entity-type":"item","numeric-id":2502273,"id":"Q2502273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421d6a782045fe5782f54ea6bb77fe18cef842a4","datavalue":{"value":{"amount":"+0.9145091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404852$981CE7AF-54D3-4C0C-AC80-6415D76782AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02adf912e549d2c91e6938eedf0f6b8c57f59326","datavalue":{"value":{"entity-type":"item","numeric-id":295645,"id":"Q295645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86f5301ea68ac3e39fec21010de17a39f020a347","datavalue":{"value":{"amount":"+0.8985455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404852$5462C56F-18AC-479B-90F0-16748C167FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e46344d2a6afbcf3fdbbbb7b1310c0f80c706ab","datavalue":{"value":{"entity-type":"item","numeric-id":5191164,"id":"Q5191164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f71b7cb3957c93114b957b5b8cf0ebfcd7768cde","datavalue":{"value":{"amount":"+0.88442373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404852$8B728E8A-A459-471B-B0D7-8FC60929A3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2e6c90af56c9b8c7cff80968541bc1f681199ff","datavalue":{"value":{"entity-type":"item","numeric-id":2003493,"id":"Q2003493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53a563eb8a4fbcf27b361c5a5dad06ee633e7109","datavalue":{"value":{"amount":"+0.8832923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404852$A24263F8-6CAC-4B20-8710-D52D841D3B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8c7d439ed6501f4e97f0496ed7e137501f4710","datavalue":{"value":{"entity-type":"item","numeric-id":2298575,"id":"Q2298575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e92db69f3c05f6517390a65671dd294805a4eba","datavalue":{"value":{"amount":"+0.87717056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404852$53E01C3D-ED6C-4B50-8607-85D725BC3FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88b21792fffdef97a953c087e28733da3bf0d176","datavalue":{"value":{"entity-type":"item","numeric-id":4474017,"id":"Q4474017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79504fad85d12198f9ea9c3ae329ea250dae7713","datavalue":{"value":{"amount":"+0.8757295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5404852$AB01CC15-3AC5-4564-92A3-9EA761BEAD82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solving SAT by P Systems with Active Membranes in Linear Time in the Number of Variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solving_SAT_by_P_Systems_with_Active_Membranes_in_Linear_Time_in_the_Number_of_Variables"}}}}}