{"entities":{"Q2699966":{"pageid":2710710,"ns":120,"title":"Item:Q2699966","lastrevid":55445188,"modified":"2026-02-17T16:31:16Z","type":"item","id":"Q2699966","labels":{"en":{"language":"en","value":"A decidable theory involving addition of differentiable real functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7676474"}},"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":"Q2699966$B12E1C90-A384-4FA0-8508-3B4C2E8839F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3277e271d1a8a774d2a92a1b88c061d186d61024","datavalue":{"value":{"text":"A decidable theory involving addition of differentiable real functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2699966$E61007F2-52A5-4E04-9BD2-43FAD78AC58E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6d38806d93c68ec2953ae091b9ce33de79850b2","datavalue":{"value":{"entity-type":"item","numeric-id":2699965,"id":"Q2699965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$D5A28D9A-3C8F-4244-84D3-686707C252C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f70fb7379a31a90b7da778637dd33dd66a60ce02","datavalue":{"value":{"entity-type":"item","numeric-id":2457361,"id":"Q2457361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$62D9DC03-44D7-4015-AC59-D5077E2526EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dec62cf5c614e71c448fa2d8e0e1c9d2067e0261","datavalue":{"value":{"entity-type":"item","numeric-id":1708529,"id":"Q1708529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$765C578A-3498-4960-B57D-D3352913A6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$8D5E9913-E6B0-46F3-83C4-4D07B9F7BD13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$E082B92F-3CC1-4B8D-A5EB-9AF2526238C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$6426A2A3-AFF7-464D-9152-EDBFE44749B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58f6a43946330a9b1c758022a21e1f99d75b5028","datavalue":{"value":{"time":"+2023-04-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":"Q2699966$7BE24C3F-3304-4411-9819-159EF920B664","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2699966$4C8E2C1F-D213-4742-8AB9-0B526F28D751","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42f3bb5f319add5cb913b645aad57a8b28be717b","datavalue":{"value":"7676474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2699966$602FE96F-7D31-4324-9762-36508F3E89DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97c8cdbff0edb918eb0c0aaf884494a1a0096db5","datavalue":{"value":"decidable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2699966$9226C167-11B2-4EF7-B57C-67686501C758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4872c4e00b226210fcb156ff92ffc592b01b5782","datavalue":{"value":"Tarski's elementary algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2699966$200BF593-018A-43E8-96B5-D0E27C77EB24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bd7f5f0f12a31065bb2c838c060d0ace74c1c1c","datavalue":{"value":"functions of a real variable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2699966$2ED8AFCC-18B7-46CF-B6AC-27A590532B2B","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":"Q2699966$642232E8-DDA5-4ADF-8D6C-BFE233A7657C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e2052ba3de9543af4e235dcef3e24495f3a4a5d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2022.10.045","type":"string"},"datatype":"url"},"type":"statement","id":"Q2699966$625B0DC8-2960-45AA-AF0F-AA0C2ECACE49","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"16115bcef1a955c10e537ba1a37fdcbf99481284","datavalue":{"value":"W4308195785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2699966$622B1E3F-1B33-430C-A4CD-A34A17EEB6D2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdd3ce16f8d88a05d026ce62b6916ca7e4962fb1","datavalue":{"value":{"entity-type":"item","numeric-id":3803084,"id":"Q3803084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$E40B240A-8DA5-4CA9-A10A-E809A13C0F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d7b536560fbe2ed7dfcbcd7860b3b2fce4adea","datavalue":{"value":{"entity-type":"item","numeric-id":2457362,"id":"Q2457362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$442D3F28-E21C-4B86-82CE-F0F508E2ADCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9c9078eeee9bfb32f801c9bf27c7f984d30c72","datavalue":{"value":{"entity-type":"item","numeric-id":4913613,"id":"Q4913613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$02479B9E-0BE0-4130-8CC5-A4763B4EE12F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d7798eba50e0ffe1e4306d4a4aa338f6be7be4","datavalue":{"value":{"entity-type":"item","numeric-id":4079605,"id":"Q4079605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$F139A83E-9D92-47DC-8CE5-575E796BA7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$E840EE41-F172-41EC-8632-072296D1C405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9555828bbbad73c545df2aaa0d52367c7b416595","datavalue":{"value":{"entity-type":"item","numeric-id":1823233,"id":"Q1823233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$90E7D444-432E-493F-A7B2-B74BD0D81511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19db7ad10ca08602a3480dcd95d61e2d2c6f7f9d","datavalue":{"value":{"entity-type":"item","numeric-id":912081,"id":"Q912081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$491CEDF7-6728-45F1-A4CD-8A2E50D99808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a0e856b37ab641259d132d542c40481e9faf36","datavalue":{"value":{"entity-type":"item","numeric-id":1264143,"id":"Q1264143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$23486A21-F530-48E2-A56F-EF17DF0A7F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43118d68ea3672ae3a4c154ccd8898e867ed4748","datavalue":{"value":{"entity-type":"item","numeric-id":4397030,"id":"Q4397030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$17252588-2D24-40FF-BCCB-C7B1002DBB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf8d495c451508305cdb95eaf5ba926efab7bae","datavalue":{"value":{"entity-type":"item","numeric-id":5565112,"id":"Q5565112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$0ED699C2-B392-48BB-85B2-160D77A6DE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"574e2bea039ea2718ebc70c750027954e701914b","datavalue":{"value":{"entity-type":"item","numeric-id":5198513,"id":"Q5198513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$4CF2CA7F-0B96-4366-B671-1D5F0B3A6E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c91fd99660da0e2343b02531a0a275f1692081","datavalue":{"value":{"entity-type":"item","numeric-id":5792485,"id":"Q5792485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2699966$EA046A51-2577-473D-AD80-795F23193C21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d75c6b7812e12a3c32fff5292dc8b89130e4300","datavalue":{"value":"10.1016/J.TCS.2022.10.045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2699966$0F92844A-F7E5-41F0-BF5D-D12FAA7F3A5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd5ef8d8774816e9c7fc437dde64b82713a1ef50","datavalue":{"value":{"entity-type":"item","numeric-id":4913613,"id":"Q4913613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8444af5a454d20585ca46ecad7839353dabddbcc","datavalue":{"value":{"amount":"+0.8458503484725952","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":"Q2699966$B853EC3C-DF0D-41AA-9688-BF1DFB99CE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbd3db6f33c3d61ba76d8bf055123eab5cb96666","datavalue":{"value":{"entity-type":"item","numeric-id":3803084,"id":"Q3803084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24eaa0863dcb301946cfffdbbe0cd9cc5c18d1e","datavalue":{"value":{"amount":"+0.7946297526359558","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":"Q2699966$5D971D9B-CA13-452A-821E-09472B333D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a631223b25784a634bc1c7202dcf27fb6b542ce5","datavalue":{"value":{"entity-type":"item","numeric-id":2457362,"id":"Q2457362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a70b462e280477a34526d3ad7c689069d14563ae","datavalue":{"value":{"amount":"+0.7919197678565979","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":"Q2699966$F625EC4B-122D-44C0-8177-742D37A0AF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db8b74cee918403f8c731cc01d4dccac6468a11","datavalue":{"value":{"entity-type":"item","numeric-id":1823233,"id":"Q1823233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a68cbbe8022e65fe2b5ef6289f8389df5df4b3c","datavalue":{"value":{"amount":"+0.7734236717224121","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":"Q2699966$C1602CA5-CB69-4913-B097-AC442071FB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee86b4f38954608aa0625b1b6b850baf88c360af","datavalue":{"value":{"entity-type":"item","numeric-id":912081,"id":"Q912081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13752b7d606d861b90cd8f2a3cd5f4d203e58fe9","datavalue":{"value":{"amount":"+0.7253301739692688","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":"Q2699966$B59F8177-6A85-4A34-A38D-66AF5ABA0CB4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2699966","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2699966"}}}}}