{"entities":{"Q4681889":{"pageid":6711470,"ns":120,"title":"Item:Q4681889","lastrevid":48496507,"modified":"2026-01-05T00:28:02Z","type":"item","id":"Q4681889","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2174386"}},"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":"Q4681889$37F9E0CC-577F-415D-8C70-D9B6DD4471B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e23b91548d49e9f73214a90423e80a16ab9b4d0","datavalue":{"value":"1079.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681889$FE129C38-7E98-4B9F-A6C5-33EA32437423","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b7cacf191e1d7838dc13d7a258df28331290a09","datavalue":{"value":{"entity-type":"item","numeric-id":1432644,"id":"Q1432644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4681889$7592A621-AA2F-480F-A080-5E9C78D78755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c0bcfb4eb9a7ab6903b269f394ffde6834d9319","datavalue":{"value":{"entity-type":"item","numeric-id":1370854,"id":"Q1370854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4681889$825A9256-8218-4FF8-96DD-4971AAF10440","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fcc8edc89ca49bc4a6600693fca18e20c35dc3fc","datavalue":{"value":{"time":"+2005-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4681889$D6A7EB22-E2BB-4A83-A510-B1E16483902A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681889$41A3945D-E5C6-47D8-9F40-D52CF87BAB62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681889$4A889805-D404-452C-AFE9-A308C3D4AD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681889$0405C3E9-36B8-4E19-A9F1-830A308E8033","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4e35dfc25f13619f8d6ee4448e72aea64321be24","datavalue":{"value":"2174386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681889$F293AE9D-C6E9-4271-B55E-73DCBAB8F3D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e0192fb524376f45dfdd3eb1a809bf3cd5a9489","datavalue":{"value":"lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681889$CB674FFD-6DD6-4163-9A96-99E352987414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681889$C099C804-B4E2-4CE2-9559-3D14C9F0634A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f730440f9983637db206c79d3047a86de523e9a7","datavalue":{"value":"binomial ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681889$1BE98F8B-82A8-44D6-A481-024D9AC5EF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881dceebcfc2cfaaf48b0eeca275f318bc3a7ae","datavalue":{"value":"hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681889$DBC7DAE3-B7EC-4C6D-9215-0673E21C5C0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bcdadd08b463e1c3ebbef64e54e15cb174a5706","datavalue":{"value":"Tseitin tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681889$AAF88FFD-99DE-49B6-9D9F-D1F233D18DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d473b6e8b6c4021eb48ce11c97dcbe72d57fc84","datavalue":{"value":"flow tautologies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681889$8809CEB8-30BC-4F77-8599-69880AA48684","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":"Q4681889$121EA6AD-48DE-424E-A1A7-9DD2DAA85668","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eff284c1b45b5920d5f515f016243c9855548eed","datavalue":{"value":{"entity-type":"item","numeric-id":1293358,"id":"Q1293358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d7e582d2267d732d222f11d02ec6ed26913d46a","datavalue":{"value":{"amount":"+0.860270082950592","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":"Q4681889$7FBC2EF5-B721-411C-8702-90E80E2E575F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2166bcfb43d34d1026896f16ae9068b75df977c7","datavalue":{"value":{"entity-type":"item","numeric-id":626686,"id":"Q626686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98534a2e72fb936d133ffdb281e9a277d0168264","datavalue":{"value":{"amount":"+0.8399938344955444","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":"Q4681889$58105E69-02B9-4F13-9CFC-6BEB9DED2E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4117a3dacda9df3378148f3af488114e4965e7f","datavalue":{"value":{"entity-type":"item","numeric-id":6483597,"id":"Q6483597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f6d2d15616fe96ebf941bc47e156194b3d183f","datavalue":{"value":{"amount":"+0.8333317041397095","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":"Q4681889$182512D3-2FEF-4FF5-BF8B-B237F6EFB51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6d7b45f528cd1fbbf1a61cc4a3757fcd5dc7909","datavalue":{"value":{"entity-type":"item","numeric-id":5943090,"id":"Q5943090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c132e0800ff16bf30cce3510f14c40c1b667d10f","datavalue":{"value":{"amount":"+0.8268556594848633","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":"Q4681889$4FD3D23F-FE43-4E70-964B-89CBF5A3F9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c9c41e77da8546870df37bf2b0e6927e7c9bfb6","datavalue":{"value":{"entity-type":"item","numeric-id":5326581,"id":"Q5326581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e69de74a2028010e30496ea56db8010100cb45e","datavalue":{"value":{"amount":"+0.8267987966537476","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":"Q4681889$6747DB8E-FA43-4C72-B94B-0ACD2FF050EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4681889","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4681889"}}}}}