{"entities":{"Q3815282":{"pageid":5845188,"ns":120,"title":"Item:Q3815282","lastrevid":53572700,"modified":"2026-01-25T08:36:40Z","type":"item","id":"Q3815282","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4085614"}},"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":"Q3815282$84F12B7D-BBA3-4905-A718-7EBCB69E396C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75c48153ccc10314dab20dd2b0d91373551797b5","datavalue":{"value":"0664.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3815282$AFA79B38-850C-414A-B969-AA56C524CC74","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3815282$928043A2-4AE8-44B0-907A-C3AE78F98343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"572a13162b6df712d7941005f95a34b361dad87b","datavalue":{"value":{"entity-type":"item","numeric-id":396628,"id":"Q396628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3815282$76265F82-CC94-4D07-B311-34534240D010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"924cca174357738b06b9173e0c5b8febd23b6af5","datavalue":{"value":{"entity-type":"item","numeric-id":1202018,"id":"Q1202018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3815282$74D7643D-903A-4E84-838E-EAE6A3620BB4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3815282$FC6D1B08-3F93-47C3-91BC-D14B378CA852","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3815282$143D1CC4-F9B5-4405-B93B-525C0B05638E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3815282$2E1AED41-CB52-4D35-81A6-E39E6DD4BF21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"126aa51cc657ca8bee1df4c0eddd405f8cabaf83","datavalue":{"value":"4085614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3815282$6746E8EE-FABB-46C8-937E-56753C29A33E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3815282$29DAF646-2ADD-4D56-A9BB-FF637EB82427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f1083833e85d3b56347f7f67c17312198147b3a","datavalue":{"value":"evaluation problem for quantified propositional Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3815282$28C8D814-2609-4EE7-AB42-EFC89DBCF94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdde7b45dbb3f8df248ead9902e8db0fb791e374","datavalue":{"value":"polynomial time algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3815282$6A173466-575E-438F-B74E-0BD6F7E84290","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":"Q3815282$9CFC8EAC-151C-4F16-BC37-114A8E360FB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7e7e169433d0369f37f847f1d0ec7a8a26bcb86","datavalue":{"value":{"entity-type":"item","numeric-id":1329742,"id":"Q1329742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80edcd64063c12af4e745484126de2ef71cefc3","datavalue":{"value":{"amount":"+0.8403141498565674","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":"Q3815282$26AFA180-0EEB-46FE-9579-042F9FFB2A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd01bc225923ba0424c86610ffc3038c50c8740f","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ecaa02890981078d48868e69823f843d5c0948","datavalue":{"value":{"amount":"+0.836283802986145","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":"Q3815282$D1709EA7-976B-4BED-B3BD-5199ED2532CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2105f0c71536059d0b6d9a52909981c1a5ac2ee","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b62010e84f15998cb95852485cee6dd1100b28","datavalue":{"value":{"amount":"+0.8234017491340637","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":"Q3815282$ABD0B472-AC9C-460E-84BE-AA8A93883EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f56c48eba1b1a79af29334b2004a734247f0f8","datavalue":{"value":{"entity-type":"item","numeric-id":3762285,"id":"Q3762285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d93867078a63ff758a55c00300c97bd95cfc173","datavalue":{"value":{"amount":"+0.821050763130188","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":"Q3815282$1520E0AB-5C11-4EB0-ABAB-870B96D87AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85cbf5e401ad788525e5879290f5cb6b9890d3b","datavalue":{"value":{"entity-type":"item","numeric-id":944709,"id":"Q944709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f28c06d4d0fe1b7416d0154516b8c2608deb5469","datavalue":{"value":{"amount":"+0.8207316994667053","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":"Q3815282$EB7C201A-B280-44E1-812C-84CCEEF086AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3815282","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3815282"}}}}}