{"entities":{"Q3717026":{"pageid":5746932,"ns":120,"title":"Item:Q3717026","lastrevid":50674238,"modified":"2026-01-14T18:36:35Z","type":"item","id":"Q3717026","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3946096"}},"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":"Q3717026$8EDF3152-DC93-4145-8F34-1DB401D282DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbe980e36a0a004a2e399fd4f95dc7054c77457d","datavalue":{"value":"0589.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717026$A7AC1412-94EE-4904-A17A-6EB5CA5A6ED4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a67ebd63c49a2538afe68e2c0f9c56dfc6158b41","datavalue":{"value":{"entity-type":"item","numeric-id":191903,"id":"Q191903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3717026$D3991E82-F2DD-409E-B783-461A0D5B0BA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3717026$BF2CA41A-814B-415D-B53E-A0D1764DE3AD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717026$A7BC698B-2E19-4FD4-B21C-C10C975D4026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717026$FD3EFF74-F30F-4501-8076-AEEC4A81B5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e11b4b795dfcca92788cda604d1a11a19d12925","datavalue":{"value":"12L12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717026$02EF17A9-7A36-48EB-9E5D-B99CF098CA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717026$BE5622A8-E554-40D6-9777-F20C6B43B382","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e2aa5b7e34e0c988d04ecf732a3cd8c9233b11e","datavalue":{"value":"13L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717026$42BC6F99-4436-45AB-A870-3477D3338E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6c01ba86a946b372cb0b4bd66eb63ea26d74bf46","datavalue":{"value":"14A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717026$DAA44A2B-3401-4EC8-B954-478D5EBF54E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d77d5604647e6d04b070b1557104bdcf2bc1b5c5","datavalue":{"value":"3946096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717026$B4576D1B-F7F7-438C-A890-C1ABA2F31638","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aff3f5b65f802b2a87c78a5f686e0fe629d544b1","datavalue":{"value":"constructible set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717026$3B26F5FB-8438-4D7C-9B73-EF07C2C88D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717026$8C2288BA-39DD-4667-AE38-9428056D44F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63711ef1039359d995d6eded4d4d9162d3b87fc","datavalue":{"value":"procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717026$624CA9FD-F4D5-469C-AE7E-C345C82D0C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967f390fef4acd22f5b71f92c2c787fdb9099f89","datavalue":{"value":"time bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717026$FFCB0E26-723D-4A7D-990C-B8BBA3E02A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7464bedb69574ba3d1c8c8460001a6b7f0ebefbf","datavalue":{"value":"prenex first order formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717026$8FD1F1CD-F817-43A6-8D61-D014312F9871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fca448453e27e88353a041b0ea9b51b1e7deb746","datavalue":{"value":"Bezout's","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717026$0532C6DB-4105-4975-835F-4C49FC5B115F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff1837eeb76a6268bced938799ac0dfce09ebe9","datavalue":{"value":"theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717026$46D76AB7-09B8-4563-AC58-A65F87DB5F89","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":"Q3717026$F1109BE1-B5CD-4280-938C-95B1675F8F04","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3717026","badges":[]}}}}}