{"entities":{"Q2402142":{"pageid":2412885,"ns":120,"title":"Item:Q2402142","lastrevid":52893695,"modified":"2026-01-23T18:04:52Z","type":"item","id":"Q2402142","labels":{"en":{"language":"en","value":"Generic undecidability of existential theory of integer numbers ring"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6770221"}},"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":"Q2402142$D03E8153-8A8C-4290-AEFD-08579E1176F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76756bc7c064c358df7e7d21c1f67e8e84a18402","datavalue":{"value":{"text":"Generic undecidability of existential theory of integer numbers ring","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2402142$622E13E2-11CF-4997-AC9C-29ABDD6DBA0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b34c84c1692f44bcce0192ebcb8e6ef100e8bff","datavalue":{"value":"1390.11131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402142$F1E2BC95-8C8A-4C79-8C2C-C6F2B53A97F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d89f904c4b6dfd91496e1b6cc3735b2f5d581a1d","datavalue":{"value":{"time":"+2017-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2402142$1AFF1C77-8A93-4750-8263-F028436641EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402142$6B26B7C2-4512-4B95-AE4D-5F796969A9F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402142$29A9BBEC-90EE-469A-A189-CF82030E7F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402142$847C02A0-37F0-4D43-8957-0C7B8E7BCEF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15dbe33295cd31d0ba296659e844e48ee196e549","datavalue":{"value":"6770221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402142$14DE0DE6-3BC5-424F-A2CC-CDFE6C6624F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9801948a5d2ab5f6b1c799c017cd44de56895be2","datavalue":{"value":"existential theory of ring of integer numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402142$91CFCA12-11A3-4A29-98D8-768F5EE4B780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5e1c8cb5c3f592609cefa3e00954794a9632ba4","datavalue":{"value":"generic complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2402142$51C71F3C-EACA-4018-82C6-FC1785828A80","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"131a03240a96d8a43afa3dc4fe75ccf4a3545045","datavalue":{"value":{"entity-type":"item","numeric-id":285910,"id":"Q285910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402142$AFE262B5-544B-436D-8C2E-ABF8395037A5","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":"Q2402142$168BFF64-AE31-404B-9361-D346A2827450","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4c5c3787b0f385313722b0348970b99c9443d45e","datavalue":{"value":"10.17377/SEMI.2016.13.070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2402142$D12118B6-C36E-4A36-BCF5-22FA29E47959","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2402142$AB597555-390D-4E5A-969C-98FAA3B352CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a200231fd6f4f943f4de563460d0ada99e1fd1a2","datavalue":{"value":{"entity-type":"item","numeric-id":5256624,"id":"Q5256624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d360ca37f91c4a7378744335a1e85c2539d42419","datavalue":{"value":{"amount":"+0.8174691796302795","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":"Q2402142$72743AC4-9B5A-45E3-886A-AC14103A5C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f4aa467d721272fe29d2b60145c509b23897200","datavalue":{"value":{"entity-type":"item","numeric-id":4302339,"id":"Q4302339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d343933502cea530788e5b083330a65f28d52e7","datavalue":{"value":{"amount":"+0.7878335118293762","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":"Q2402142$FFFFB3C9-835B-402E-970F-6197C8D751B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6012293c6e3f8c2739098ef2a043260c409e973a","datavalue":{"value":{"entity-type":"item","numeric-id":3815281,"id":"Q3815281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d343933502cea530788e5b083330a65f28d52e7","datavalue":{"value":{"amount":"+0.7878335118293762","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":"Q2402142$B0982F7B-35DA-4BA4-8CF9-F58F92DDC7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01745346cde837ba97623e7166ade91000b6e7e6","datavalue":{"value":{"entity-type":"item","numeric-id":3588162,"id":"Q3588162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f87583a705d6a34076b1ae70ff24fc54f6a995d8","datavalue":{"value":{"amount":"+0.7810160517692566","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":"Q2402142$9D09B8CB-6AD3-4FD5-8C8E-4723A8912F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6882a88809172ac0891533e97e2f9f3ad01b634a","datavalue":{"value":{"entity-type":"item","numeric-id":4829365,"id":"Q4829365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88558fcf0cd3ec846f7e2f7a226341eeb828e806","datavalue":{"value":{"amount":"+0.7788694500923157","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":"Q2402142$7A8164F1-0131-4A3C-B856-D1E9451799D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2402142","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2402142"}}}}}