{"entities":{"Q4226933":{"pageid":6256534,"ns":120,"title":"Item:Q4226933","lastrevid":41849499,"modified":"2025-05-09T01:01:42Z","type":"item","id":"Q4226933","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1253959"}},"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":"Q4226933$EB2BA6CC-9CB9-464E-9280-17A3BDE41446","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c4347764a811cf9600f51f2322dfc92fa86275b","datavalue":{"value":"0915.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4226933$58234D21-EE3E-470C-A7E5-C75F007ABA2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3795326fa27f47eff8cdbd074017fa2ad664ed08","datavalue":{"value":{"entity-type":"item","numeric-id":249474,"id":"Q249474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4226933$5D0C272F-F07B-4EE7-86D4-E58D35F8CFBF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"401c5fa20617ec1e8d2797ea94ab975b6e1a53fe","datavalue":{"value":{"time":"+1999-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4226933$B048883F-F8EE-4662-8BF9-39EB64DBF266","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4226933$1BB169D1-22BE-48E3-B2CE-30E57B7F7EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4226933$9A2B585D-AB48-4DF0-895B-8DEE0D5C58F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4226933$D33A56DE-6D7E-479E-93F4-E59DCDF46694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4226933$4B4F95A0-AEAF-418A-B143-ED58921A920B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd1c105ecee3874ced554cecba72ad059f07977e","datavalue":{"value":"1253959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4226933$CF54351A-59C4-4587-90C3-2242110EAE32","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5492db2a26b022fbf0d1b4de1afbdeaf2d58779","datavalue":{"value":"first-order theory of real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q4226933$68EF0B48-B896-40FA-8CD1-8447A0E28929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"939d8282725e47da15a1a67d3201096351f7fef2","datavalue":{"value":"constraint databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q4226933$28B3548D-DAD6-47FF-91F8-419F4272138B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44cd9689f9a67f0d8e2135aca5c7e8e79709e733","datavalue":{"value":"real polynomial constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q4226933$0B710835-3E9A-43A2-BD43-F1D927CD4FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d423acffba558f6f07a8ab4fefef766a0e6e1f4","datavalue":{"value":"uniform quantifier elimination algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4226933$787497E8-05E5-4A9A-8B12-7FBF7BAF9316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d146385bd214c988dc91b3c0cc2011de48b86fe","datavalue":{"value":"parity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4226933$7297C4D5-2E8E-4D2D-8F45-261BB5A86B86","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":"Q4226933$FC573C07-5A9B-4216-BD08-2652B14D59B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"140b25f3aa0af27b0f163cf1a4a8fe713df83325","datavalue":{"value":{"entity-type":"item","numeric-id":5479258,"id":"Q5479258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37d45eb91c0e59343644334e33a4bdb7159dc461","datavalue":{"value":{"amount":"+0.9119917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226933$3DCE3887-FD61-4644-B6E9-0F249155A0E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39a2cde80f07a8c854ecec37b2e677c9e1d849d1","datavalue":{"value":{"entity-type":"item","numeric-id":1591157,"id":"Q1591157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec45dc27be40efdd52be2098358bdec0d9ebeb4","datavalue":{"value":{"amount":"+0.8923455","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226933$B691304F-5BFF-4492-8A81-38D41FE48E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b63d9eef2ad7ef9590e441098109b176e6d080","datavalue":{"value":{"entity-type":"item","numeric-id":4808700,"id":"Q4808700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f245c82c1bf3330271e9698b49656e476bc3d64d","datavalue":{"value":{"amount":"+0.8912406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226933$30B6945F-4E36-42E7-B8EC-7394F6EDBF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b46dc098abde56abf3234cf23a72f9ae456de6","datavalue":{"value":{"entity-type":"item","numeric-id":5504703,"id":"Q5504703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a47f3554b4961d9a12d215264e371489ab5028b","datavalue":{"value":{"amount":"+0.88993776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226933$7261FDB6-25EB-444B-937F-8E6040752810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05e29e47ae59b643a8b13a7a0d0eafd7a7d8fdab","datavalue":{"value":{"entity-type":"item","numeric-id":5898535,"id":"Q5898535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83e6147d5e651269fd6d1471fb8da495ba03f496","datavalue":{"value":{"amount":"+0.8848914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226933$E2FACF3A-FC09-4128-A83F-00623F026161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12ebc2fb624aefa87646855bf1c71833a52c31f8","datavalue":{"value":{"entity-type":"item","numeric-id":4576163,"id":"Q4576163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ca461ce610254c7393af59cc68e4f5d4666564","datavalue":{"value":{"amount":"+0.8809702","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226933$4DF0F4ED-3C90-437C-8DA6-E8C0764A2A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd343d590454224f526b09d8d2d1659152693a37","datavalue":{"value":{"entity-type":"item","numeric-id":1749385,"id":"Q1749385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"856ace15c9ff3dd3a80861b16cf09a9a164e08a9","datavalue":{"value":{"amount":"+0.8792374","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226933$9491ED7C-E25E-4597-899D-BC891F73ADC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852a7c34bd40f56ada9a3772f8609d47677c4ce3","datavalue":{"value":{"entity-type":"item","numeric-id":831945,"id":"Q831945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e69e6009d7eb527310a86101183f6aad54781a","datavalue":{"value":{"amount":"+0.8707706","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4226933$A7C29F38-F8D1-454A-AE0E-9AC31BBAE8B8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4226933","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4226933"}}}}}