{"entities":{"Q4244779":{"pageid":6274380,"ns":120,"title":"Item:Q4244779","lastrevid":46794927,"modified":"2025-12-25T14:54:31Z","type":"item","id":"Q4244779","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1293322"}},"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":"Q4244779$D722523C-D37B-4EE8-A8F9-166A2A0298BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9138cecefb61c17456770654becbb45200db374a","datavalue":{"value":"0922.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4244779$31AD4B5A-5793-4214-9521-72115D017F2F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0038878076b301e6462b2653f0c09b0d02a59b41","datavalue":{"value":{"entity-type":"item","numeric-id":351969,"id":"Q351969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4244779$EE922E91-611C-412C-845D-CBC6F8DCDEE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"641f83e1b8c9394b4305abfb8491fe0a448b416c","datavalue":{"value":{"time":"+1999-06-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4244779$D3982BA0-C5C7-40DC-AB1C-F66CF33015EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4244779$0917046E-A6D4-40F5-A652-B9ACAE9F3D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b143bf73f3f2801b42b1d69fc571c2af593dde5c","datavalue":{"value":"51M16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4244779$9C480046-4AF4-4303-8B4A-90E4EA79B0F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4244779$8803854E-E517-42C7-9075-1E866ECB316F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14ab2d4e8d2ffb660e27c3d23aaadbe1ac5045ab","datavalue":{"value":"1293322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4244779$E33AA526-26C5-491B-9B13-555D2807D490","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fd99ccdcac884400a2c18025ac12e679b97a028","datavalue":{"value":"complete discrimination system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4244779$26691C2C-DF3E-4BBB-AA76-ED7CCACFCDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00e2426de6ba6fd7240cf82210e20ad45c34f127","datavalue":{"value":"CDS","type":"string"},"datatype":"string"},"type":"statement","id":"Q4244779$14021442-3D2C-4D5B-9A55-49C1F9CE630A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5972be167823369a5d1b26bff57b03e8b3e7a0","datavalue":{"value":"cylindrical algebraic decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4244779$1335A7C5-C2D0-4A21-8228-456242B4B8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ec532eb67968428fd3e66ff7f64d46fa1bd80b7","datavalue":{"value":"theorem prover EXPLORER","type":"string"},"datatype":"string"},"type":"statement","id":"Q4244779$40ED3357-77F6-4393-B35E-53D5BC5F060D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4364d21acd66d915b62f94bfe69e0065826249a1","datavalue":{"value":"efficient algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4244779$78D4D99F-D5F3-45B8-B54B-0C57A852683D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6dff05f1b3599f765d01df0ef81314822073e73","datavalue":{"value":"geometric inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4244779$2CA201F7-9EF4-4F4B-8989-18419BA438FE","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":"Q4244779$DCDE0EA3-A28D-4EC9-93F6-E363907C9295","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4e5de0c225e49be7f064d18c0d2c8372c1b24b8","datavalue":{"value":{"entity-type":"item","numeric-id":4946077,"id":"Q4946077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"233059feb887e02a6a42d6ae63a2a1175411ae0c","datavalue":{"value":{"amount":"+0.8836298584938049","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":"Q4244779$36A41669-0C6F-4443-9CD7-3DAAE82EC20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67fd89973533409fe87cf8328c7f04b80807dd5b","datavalue":{"value":{"entity-type":"item","numeric-id":4531854,"id":"Q4531854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"707a96da11655a1a0d41126eea3188eca2d9836d","datavalue":{"value":{"amount":"+0.837127149105072","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":"Q4244779$375F8F8B-CAA1-4233-AD4B-40D90C397ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"904b268bef1b0f56408b711dfc7e30d9db025f1f","datavalue":{"value":{"entity-type":"item","numeric-id":865930,"id":"Q865930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc88f3ac4f54fe77b5dcdce6f3bfef03b6a24f8","datavalue":{"value":{"amount":"+0.8178180456161499","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":"Q4244779$2C2B58EC-CC08-4EF3-A431-BA68D0293428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b97bee572372d1e7a536475a0f4a725d4602a9e","datavalue":{"value":{"entity-type":"item","numeric-id":3102741,"id":"Q3102741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988ac26c34ebcd392742ca99f1cc11120028346a","datavalue":{"value":{"amount":"+0.8097657561302185","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":"Q4244779$7B4A85CC-2FC6-47B0-A1A2-61860810EEE0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4244779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4244779"}}}}}