{"entities":{"Q4918045":{"pageid":6947627,"ns":120,"title":"Item:Q4918045","lastrevid":51708503,"modified":"2026-01-19T14:53:50Z","type":"item","id":"Q4918045","labels":{"en":{"language":"en","value":"Remarks on \\(\\Sigma\\)-definability without the equality test over the reals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6160461"}},"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":"Q4918045$D388F2B5-C09B-45E6-ACC7-D21855CEA45B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4815831b115063572468c62eaa63670afc8d24e6","datavalue":{"value":{"text":"Remarks on \u03a3\u2013definability without the equality test over the Reals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4918045$6321D5A3-0000-4CA0-A6C7-81319B1D1E71","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6dbbe02d7fa5bd2f44c993936fb50496fbc6502e","datavalue":{"value":"1262.03089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918045$C6FFBFC8-47A2-4458-A943-D661266A28E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918045$6EA6674C-5CCC-4124-A898-65B294F6A41C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f67cff4992b4af716700e591fa06388150841fb3","datavalue":{"value":{"time":"+2013-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4918045$7A9A5D89-A532-43AD-B280-96DF9EE204C0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d21a69e3457646e46a9bbf0d57100c034be8348f","datavalue":{"value":"03D78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918045$EC985C14-883C-4423-A1A2-7B590655E77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918045$37EE2BAF-C723-4C54-AF77-4F494B4687B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8102276076c9ae7334b74f010c12f82ace17ba5","datavalue":{"value":"6160461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918045$69343A02-4F0B-4E9F-9505-1CAC9FDCA013","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93870bea9e95850a8c2c168e966ba73051e6fe83","datavalue":{"value":"real numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4918045$C9C48D39-CB03-439B-9BD0-F835DC507CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543edc3fb370371a8d9b05610ff7ab083c69c9d7","datavalue":{"value":"\\(\\Sigma\\)-definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4918045$8C24FB8D-B44E-4D9F-A1BC-514CADED78F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65cb2b2495efaa1d53d78f1ac0787c1f96b88024","datavalue":{"value":"computably enumerable open sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4918045$3BDD2C35-B200-4B50-B14C-92EC7C43A0ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5969ae5a2ffdfe98c9b3655a50da4e19018ece0","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918045$D7EE6859-F3A8-4DD3-8D06-DD1914CBDE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10d68b8fbb9729b5e3ca6958fc345cd8d5878d68","datavalue":{"value":{"entity-type":"item","numeric-id":1015373,"id":"Q1015373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918045$DBD6381B-84A0-422B-9B94-C3487DBCB0C1","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":"Q4918045$B3646794-BEB6-4AAC-9781-32F09140F427","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f266ce4b5412dabc04af044a997733435a732fa3","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.03.023","type":"string"},"datatype":"url"},"type":"statement","id":"Q4918045$4C3C6B09-48F8-4C5A-9047-8E7F6F0A0652","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"50fec5b4d8883d704f5302dadf1fd88031cd87c8","datavalue":{"value":"W1985710230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918045$6531DB1C-C149-4A71-9647-8354E14497E1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918045$A1FC2E1D-CC5E-40B4-B755-F199171BBD00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96df3df16f664736beb562bfd247a0867ba9b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4882531,"id":"Q4882531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918045$31278A17-2A3A-45D0-A007-402C479965FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01e6dd40ee5d9f27a697d20d23acaec35d1ceae9","datavalue":{"value":{"entity-type":"item","numeric-id":5425343,"id":"Q5425343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918045$2CCFEC44-43A6-4F66-A840-AE4F53F53341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15316f5f22a0b020327e2da9ef58b95b1603b491","datavalue":{"value":{"entity-type":"item","numeric-id":5292647,"id":"Q5292647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918045$8EBDED90-C563-4F38-9361-AE30CFE135D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65647493bcdd3cad61fd5e604e27c6c177926f1","datavalue":{"value":{"entity-type":"item","numeric-id":4783306,"id":"Q4783306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4918045$F2AEF863-B042-4FAC-9351-ED64F80D6716","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4cb021064da0476d01f69890834c9979b1a44c5","datavalue":{"value":"10.1016/J.ENTCS.2008.03.023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4918045$401D4353-52A7-4BAE-9CC8-95683656868E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51ccdfbf19f4dc2c910572474fa8576827cc7ed6","datavalue":{"value":{"entity-type":"item","numeric-id":5292647,"id":"Q5292647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ee39d9a8c10c8acce7f715c77a7079b0344b61","datavalue":{"value":{"amount":"+0.8816009759902954","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":"Q4918045$1C38C6E6-607D-49CA-AC72-05DBB44EC231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b95a4cd76a0c8ab64e6e9b9ddca7aed5a908e8","datavalue":{"value":{"entity-type":"item","numeric-id":3528148,"id":"Q3528148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2026418fbb8c3d3ca41d03beffa852eafada26f","datavalue":{"value":{"amount":"+0.8550036549568176","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":"Q4918045$B696E4C0-1880-4F1A-B77A-F560D9A06761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353df786fadd32ebb0cf658891eff7bfe74c69b9","datavalue":{"value":{"entity-type":"item","numeric-id":5902413,"id":"Q5902413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a923b87e59c475bd0ba2e86a4517774f7d311e","datavalue":{"value":{"amount":"+0.7946538329124451","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":"Q4918045$E295F2FD-E63D-41E5-9B84-C1BAE0E83FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d83478e8e288f5554b9be6b148a0db0b2c2da92","datavalue":{"value":{"entity-type":"item","numeric-id":2970968,"id":"Q2970968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"277e468adab050c4b4dcd6077a399561ee9f3d29","datavalue":{"value":{"amount":"+0.7558229565620422","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":"Q4918045$1D51CC7B-404A-452D-86A2-D1B77A874C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24dfa1af0798200568eb91fed0b8a888ab043565","datavalue":{"value":{"entity-type":"item","numeric-id":4916187,"id":"Q4916187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a209b794b272553b3f2606f73ab8556a37b37b8","datavalue":{"value":{"amount":"+0.7506570219993591","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":"Q4918045$3836F140-6B73-4338-9CB9-FDAA9CD3D092","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4918045","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4918045"}}}}}