{"entities":{"Q6666557":{"pageid":14277714,"ns":120,"title":"Item:Q6666557","lastrevid":40623392,"modified":"2025-03-12T21:35:20Z","type":"item","id":"Q6666557","labels":{"en":{"language":"en","value":"Positive existential Definability with unit, addition and coprimeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7970493"}},"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":"Q6666557$778F1717-386F-4B36-9CBB-4AB5A6265F18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a630d695e28fa398fb2c39379ba9cbab6b41a0c","datavalue":{"value":{"text":"Positive existential Definability with unit, addition and coprimeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6666557$C9C53AB3-AA71-43A7-9EBC-8410BAC417CB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d4763060eec6880ff52eef81a488465faefa34b","datavalue":{"value":"10.1145/3452143.3465515","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6666557$0F2761D9-8395-4130-B830-4DF2F49D8FCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d00952d61a346f3da1fc6fb5797fe934f007a941","datavalue":{"value":{"entity-type":"item","numeric-id":6091187,"id":"Q6091187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$01AFA64E-C4CD-44D2-97D7-BE7403C34585","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2f555dad8e2a90cb8af80db4e917a36a03ca60","datavalue":{"value":{"time":"+2025-01-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":"Q6666557$9EA87DB7-EF12-44ED-8C4E-88396C45A050","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6666557$964372C4-9319-4179-8BEE-E52FBC7639F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"755e2e2be3cb46f11daf975d6732966e28a4cfde","datavalue":{"value":"7970493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6666557$877273C2-2219-4C26-ACB0-3CCD2DD8C3C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bf2159b83c1cb1978a8a55c136391b653478ee6","datavalue":{"value":"Chinese remainder theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666557$D9D3D9DA-426D-4D01-949E-D0BD1846E981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc3393263ba44564b05bbf225277985bfbecffa7","datavalue":{"value":"coprimeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666557$B265A8D6-DD3C-44CD-94B6-006344CEA16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666557$993C83A9-EB3B-4C09-A5AC-1E7412A26B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe53d8cc8bfecc14a8a13f21a62b46e0624abfbe","datavalue":{"value":"existential definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666557$E3109303-0E10-4D43-9017-E2763CCC1417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q6666557$6F259763-E02A-41FA-A691-491C93717000","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":"Q6666557$8E7578A1-DAA2-4795-B051-0B04EF1C9C27","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bb24ef7f10a33dfe95076d3ff93619b47a1648b","datavalue":{"value":{"entity-type":"item","numeric-id":4113824,"id":"Q4113824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$DD01CCFC-7AA8-4CC4-9D72-64C6E72FAA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007d28020364fa61db482d0ee2e50a45e3976a32","datavalue":{"value":{"entity-type":"item","numeric-id":4041633,"id":"Q4041633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$8C6EFDB6-C71C-4E61-8069-5DF095B7EDBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7f76f741c9d879772047a2f068275875df3dbcc","datavalue":{"value":{"entity-type":"item","numeric-id":5705902,"id":"Q5705902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$084B020A-2B32-47EF-B05D-CF0431EAFEAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbd7724447d9b9188cf94e35b909508581994ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5222074,"id":"Q5222074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$7B0F7763-CAF2-4E6E-B2BF-E8CCE9CDDCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a521f54a7c14150a5df9a9e9f1892234d1fe0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$871F1BAC-8EFB-4290-A4E3-E91C6AF64D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6ee93c6a75b541cd72652bc62d7edbd6011d59","datavalue":{"value":{"entity-type":"item","numeric-id":5941257,"id":"Q5941257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$06146318-ED7A-46F1-8B72-98D3D566B8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbce316cf52492b974503811c344223efce09c7e","datavalue":{"value":{"entity-type":"item","numeric-id":1675152,"id":"Q1675152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$3F5891FE-9AC4-4180-A2CE-CAB092E5EE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad9a8ad599057ae6c5863b64653f9b2091fcfac5","datavalue":{"value":{"entity-type":"item","numeric-id":4635845,"id":"Q4635845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$7760D832-197A-4B22-8BD1-562F81325CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edfe8015b58c579c54c78cbe4fe122a242df00f","datavalue":{"value":{"entity-type":"item","numeric-id":4152529,"id":"Q4152529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$02E56DAC-CB16-4D30-9997-894DF3FCCBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86593a96a302fb40be911c0dc2f6191d2a756593","datavalue":{"value":{"entity-type":"item","numeric-id":3960661,"id":"Q3960661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$2B7413F8-C5E0-4DD1-9C04-7D5CCC374758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0e934536e46dce563693fbf39fb886e45695206","datavalue":{"value":{"entity-type":"item","numeric-id":3267385,"id":"Q3267385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$AAF8AD2F-FC3E-4D62-B294-BFC1AB8EE64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cccdfa030a9c393bc1f710687111d7a36bcf22b6","datavalue":{"value":{"entity-type":"item","numeric-id":1830461,"id":"Q1830461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$294A5018-489E-44EE-9C8E-0D4A44FED51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6f7366beb0436f8bc4fb582f02179e9bd4385cc","datavalue":{"value":{"entity-type":"item","numeric-id":3946159,"id":"Q3946159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$3B414EA9-085F-4CFB-8AE3-C5D2A16AC399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"965480c78a20e3996554e794572178d3e1025275","datavalue":{"value":{"entity-type":"item","numeric-id":3478404,"id":"Q3478404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$81820ABB-ED54-4AE0-87E6-D21A191AB0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$086D8558-CDD4-4C77-B252-98D1ED13F83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbefacb8c8f33b0f1be9db7004061a91697d97bd","datavalue":{"value":{"entity-type":"item","numeric-id":3340842,"id":"Q3340842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$49EAB46B-0C80-4CC4-8505-890AF15BB861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"591eba27fefa408f49386bb48cc50541cd8773af","datavalue":{"value":{"entity-type":"item","numeric-id":2239081,"id":"Q2239081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$2179A6F1-2E34-43F5-B0A5-148FE3BFF4B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a6f95af143e58ef934fa5625132cc5fadb4225","datavalue":{"value":{"entity-type":"item","numeric-id":1582303,"id":"Q1582303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$9E8E3ABE-C1A6-4552-9375-19BF78B7891D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98777effe79d746f5a2bc13762ca1520668d416b","datavalue":{"value":{"entity-type":"item","numeric-id":3160551,"id":"Q3160551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$7C43E39E-7B70-4155-A051-4124F9C9C780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"480ed92cdc81c1b695ab095610a1821532023de6","datavalue":{"value":{"entity-type":"item","numeric-id":4181607,"id":"Q4181607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$496E4BF3-1C93-44AC-AD53-740B7E26FC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cfea5fcebfb4162710425692e427cbf2157a8f","datavalue":{"value":{"entity-type":"item","numeric-id":1103602,"id":"Q1103602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6666557$A207958B-04B5-4EAA-911F-1AE90DD18B60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6666557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6666557"}}}}}