{"entities":{"Q3721816":{"pageid":5751722,"ns":120,"title":"Item:Q3721816","lastrevid":50692499,"modified":"2026-01-14T20:05:44Z","type":"item","id":"Q3721816","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3952007"}},"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":"Q3721816$66DB62FB-E076-4068-95F3-4F5B56A5752E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a1b110dfdd8250e30fbd4bdda7417ad8f50737e","datavalue":{"value":"0592.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721816$41367D5F-6980-4EBB-A1E9-10DCEDA80408","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3721816$5D606BE0-FC01-4E61-B7B2-4E895CF6B618","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721816$9AC93FFA-2BCC-46F9-B3AB-7F8EE82FB3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721816$5B17A148-54C8-4F7C-B78C-94B13B5BA7FD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"80d9a8d6de060c6f11f46a4fc11c5e3d6601f903","datavalue":{"value":"3952007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3721816$46B4A81B-8AB1-456C-800F-7AE296DE47D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b054bbd1ef16f604df0f61144322893e5b9a2a9","datavalue":{"value":"upper bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721816$E0DA3A67-7922-4C5F-8C27-807CE6AEBEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5cc2a879a88052e22b0ca1b06e46be92d81b486","datavalue":{"value":"TAUT decisions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721816$4DA0FD3B-1515-474C-9A06-6260808A2812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b17f05e4289c7582cd773cdd4edb907a56b3cc","datavalue":{"value":"disjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721816$D02D381D-A2E3-4876-82B5-89CA016DA114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d8b76df44141e8741d28035b2c222e36f57df6","datavalue":{"value":"clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721816$D1B5DF3E-9287-4E0C-9504-5F50077C0CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea9029a1d578c93240d12a0cec42beb122dd320e","datavalue":{"value":"TAUT algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721816$3D873DB3-4D51-4EDD-B112-666F6C75B015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc59007b2b1960a263350309435ca1e06e896b5","datavalue":{"value":"space complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3721816$087BA571-F4FF-4486-8A48-B995D918C7F0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"159ade677966946c8d4e1b86e316cf355470fa0a","datavalue":{"value":{"entity-type":"item","numeric-id":1245216,"id":"Q1245216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3721816$F995D707-746E-44CA-B108-A3CD29167298","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":"Q3721816$0C7AB62C-A0C7-4824-AD11-55B534E87E84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5147d365ff89222de518ed48d77f62efd9dc4072","datavalue":{"value":{"entity-type":"item","numeric-id":652633,"id":"Q652633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c754a79ec73f3c80c179e63ff440f7fc20ab1644","datavalue":{"value":{"amount":"+0.7841278910636902","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":"Q3721816$105283FB-938B-4D6C-8B57-75105329908F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4241736871aad3f9693377c20957adc7166fbce","datavalue":{"value":{"entity-type":"item","numeric-id":5323091,"id":"Q5323091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da76c1ab25b807628b025a6fa9b4a998c8a54c69","datavalue":{"value":{"amount":"+0.7808043956756592","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":"Q3721816$9D78F955-9EA0-4141-86C0-06D170DA07F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5b8ee4385c2b7c8e57d536b946ea27da8a1255","datavalue":{"value":{"entity-type":"item","numeric-id":4037920,"id":"Q4037920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f60ceefc70439a5556a3b89dd6617aff9297a23","datavalue":{"value":{"amount":"+0.7560921907424927","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":"Q3721816$628C3C37-7698-4AE0-A19B-DCA7E2C21DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4206540e332b7afc5d806bc499739e7bd5bf8cb","datavalue":{"value":{"entity-type":"item","numeric-id":3491546,"id":"Q3491546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d72e2237d30dd7ee0f5a846891be86003cd21b8","datavalue":{"value":{"amount":"+0.7526587247848511","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":"Q3721816$20549DF7-579C-4C0A-B80C-98FEE6C62DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"407d4b832dcced774bee8e907a04090e6f44ff42","datavalue":{"value":{"entity-type":"item","numeric-id":2749858,"id":"Q2749858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26bdd8f9362f36c5a3ecf1e6b49154b0bf86264b","datavalue":{"value":{"amount":"+0.7511352300643921","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":"Q3721816$4843CDE2-AF8A-4100-AC0E-DF1BE552E711","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3721816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3721816"}}}}}