{"entities":{"Q3697076":{"pageid":5726982,"ns":120,"title":"Item:Q3697076","lastrevid":50396663,"modified":"2026-01-13T23:23:53Z","type":"item","id":"Q3697076","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3920550"}},"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":"Q3697076$52342494-E365-42AE-ABD8-0F3F1311C8AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"458c52cbc8c4fe2b4874194828e140e9be08cf16","datavalue":{"value":"0576.06017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3697076$93B41FD9-A129-42BA-B1D7-EC5B6BA6C4DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fb0a29412cf2c248d1a972a393cd5cb0fedc31f","datavalue":{"value":{"entity-type":"item","numeric-id":231497,"id":"Q231497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3697076$D182B962-2169-4E78-B076-5B2884D9B4FE","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":"Q3697076$C5314CDA-E55C-4F6F-A246-9057E9DEED41","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3697076$10076DBE-A01D-40FE-B66B-D1D948F8259C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3697076$78A54F0F-A122-416E-9D4C-8BFCB129953C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3697076$8952DD4F-7E4A-4C04-B614-F15AED4C5526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3697076$F8E79A71-8AE0-4435-A800-35E6B07B0ECA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"826c174d0889d5ca19ca3510ccce314e00ff997b","datavalue":{"value":"3920550","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3697076$4BDC1979-5536-4F96-B119-6F94EA1E28F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9ab510cd8009130dae02d9b64e0ed6463c22442","datavalue":{"value":"complexity of quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3697076$89F529C3-F0CF-43EF-870A-81D3EE4E5EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3697076$E67E4FB5-139B-410D-A2E3-A6F70B58CD5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"918f69624b8cb3ea092e0f18e5b29e2550442629","datavalue":{"value":"dense archimedean ordered groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3697076$F2173387-ADA5-47D9-A121-07F447181160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e0c8a1652e567089e4fd1b75c92d4b50628d26e","datavalue":{"value":"restricted formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q3697076$AF7863F2-99F4-4BF0-82A1-5A780F05A3DC","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":"Q3697076$080BE22B-DB84-448D-BC8F-0AE38B5289CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddcffc4b6341faca036331c12c7546b8487a2a91","datavalue":{"value":{"entity-type":"item","numeric-id":4778297,"id":"Q4778297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1ac90b3a7e947c458c51870b4b09ef60989e6d","datavalue":{"value":{"amount":"+0.778392493724823","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":"Q3697076$024EB05E-C703-49DA-8BF1-8E1C85E81911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55a9c49519c481b80dc6dbd650f1440352c34a3","datavalue":{"value":{"entity-type":"item","numeric-id":3679159,"id":"Q3679159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d1edd9a8ead55120cd37eef6ff049e00ec009e","datavalue":{"value":{"amount":"+0.7596257925033569","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":"Q3697076$5DCB42BC-4D2E-42E5-92F0-2F53AAB26192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142ee777394902cd8338482619146953eb4fee47","datavalue":{"value":{"entity-type":"item","numeric-id":5430179,"id":"Q5430179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd1b110297e6f92e3c11f7ad4fea72947f07278a","datavalue":{"value":{"amount":"+0.7524181604385376","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":"Q3697076$33854971-289D-4C5E-9502-A7BA82987A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"502cf8344cf849f9e1e42147b4f1d3dc12c1aaee","datavalue":{"value":{"entity-type":"item","numeric-id":1114669,"id":"Q1114669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1956bfad15a86c89f9e715c142e511d33df84501","datavalue":{"value":{"amount":"+0.7414609789848328","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":"Q3697076$D9A1D21C-52FE-4B1E-A404-6B48CE11E380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60538cba9b2ea45b4f3fd1e9c8c2a2ce39b27192","datavalue":{"value":{"entity-type":"item","numeric-id":1185458,"id":"Q1185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21e0ee4798a4f23b4a211ceeb1c3f7cf6f3b9d3b","datavalue":{"value":{"amount":"+0.7383491396903992","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":"Q3697076$E5074570-510A-4BC9-8F4B-0EFFEB296FD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3697076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3697076"}}}}}