{"entities":{"Q3140633":{"pageid":3151349,"ns":120,"title":"Item:Q3140633","lastrevid":47202928,"modified":"2026-01-01T00:07:16Z","type":"item","id":"Q3140633","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440476"}},"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":"Q3140633$605EF4E7-9A73-496D-BB1D-868D410204E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eb48008c005c934986f5481591e0a0a85d31ba17","datavalue":{"value":"0792.68046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140633$AAB7C5DC-0D87-4CEF-9382-6262D8BB0C45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64a5597878452508c38f77062c2f388a61f673bf","datavalue":{"value":{"time":"+1994-08-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":"Q3140633$89E1E96C-FB63-4212-9711-5D34102D2115","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140633$C42B2FFA-D727-406B-8BCC-751C29F8F949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140633$78E2A187-C672-4B9E-9815-44F9FDB63983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140633$2C71EED3-281B-4DAF-8DFE-799D8D6D9C7E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e068eb9bf6c3763832fb1cff87090a2cc58a9b0c","datavalue":{"value":"440476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3140633$19943869-CDE0-4A84-8C3E-CEC27A2DD721","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9270923d7d59d802bc0810188dc97f9ea8824ac3","datavalue":{"value":"Boolean formula evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140633$4D154BBE-0511-42D2-90FB-4729EA265768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd624c13555b9ad8802547c9dcd4f7ef3bbabee6","datavalue":{"value":"propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140633$A7CF15D4-3FD0-4133-AF5A-063EE726EBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"725d22f0e86a93a5ea4b85507bc75cf2e96bceeb","datavalue":{"value":"\\(\\text{NC}^ 1\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140633$51A56528-9998-4283-897B-521883F06D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc5946c42035c624951f26ecaf46c5bd3b7d33c","datavalue":{"value":"alternating logarithmic time","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140633$5DA7D364-2CF2-4154-87CE-664576586C87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4c3b80de2e9a9114aa780d09587cd66896f0140","datavalue":{"value":"Boolean sentence value problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140633$291F0BFC-CF1D-41D9-8007-75D2C2E436AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ad5931201e0a0562fa1beedec19540cecabcaa7","datavalue":{"value":"tree- contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3140633$A1CE6189-7DE6-4A47-AFDC-A272ECB33A92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3140633$444F54BC-A951-48EB-AA5B-05FBA589E9A4","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":"Q3140633$B932F9AF-D4F8-4FCF-A7D6-BB6C21B653E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dccaaca8d5e7453c7ae05c046aee7b6916f71416","datavalue":{"value":{"entity-type":"item","numeric-id":4018401,"id":"Q4018401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7747c225a4a913c73eb94fb512dc4442971aff43","datavalue":{"value":{"amount":"+0.7205058932304382","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":"Q3140633$5778B27A-7ED3-4341-988E-41704CBD2CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b315026be653694f7a5d816c7eea1715b7e71921","datavalue":{"value":{"entity-type":"item","numeric-id":4730794,"id":"Q4730794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c332da7f2a412b5d2fc8342e7c92c9214ba0e8a8","datavalue":{"value":{"amount":"+0.696977972984314","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":"Q3140633$BBF77B13-2FAE-43C2-8D80-02A2AFB4987C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fafbaa85e135da3069a68977a9efd8d1bfdf9519","datavalue":{"value":{"entity-type":"item","numeric-id":3985812,"id":"Q3985812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"106c14996fa8997c4b4adcfb4f6c32e1658afd69","datavalue":{"value":{"amount":"+0.6908816695213318","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":"Q3140633$EC9573F5-3908-4737-AB4C-D5E4A9B97260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec081bd2c3f44ea31f1ca3af28f5463d52a40e53","datavalue":{"value":{"entity-type":"item","numeric-id":1185242,"id":"Q1185242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b26e524152ae8c0d834035556b23084846f8d83e","datavalue":{"value":{"amount":"+0.6904662847518921","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":"Q3140633$FB8DFB51-D6FE-4DA0-9CB6-DBE70BC821B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf437410fd85d78af5c68d635d6aceb4484de5ed","datavalue":{"value":{"entity-type":"item","numeric-id":1318766,"id":"Q1318766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4902e3b4ca1766960577f651583a53e4a6dcb9a","datavalue":{"value":{"amount":"+0.6818323135375977","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":"Q3140633$75108F09-06D9-4E1B-8CE7-DF88AD4C0C76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3140633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3140633"}}}}}