{"entities":{"Q5009704":{"pageid":7039281,"ns":120,"title":"Item:Q5009704","lastrevid":55388107,"modified":"2026-02-17T15:17:22Z","type":"item","id":"Q5009704","labels":{"en":{"language":"en","value":"Theories of real addition with and without a predicate for integers"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7379289"}},"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":"Q5009704$F8CB9349-0B84-4EC9-9236-D13A58FF0CDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ff3f98d7c41d87556ab58f5728ef9906815e610","datavalue":{"value":"10.23638/LMCS-17(2:18)2021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009704$02625F13-5E15-4088-B862-80A36FB19088","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d6e3958ecd59ef8308845d606e8ada7bd937463","datavalue":{"value":{"entity-type":"item","numeric-id":782562,"id":"Q782562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$15AAE18D-726C-49A9-9885-70F540AF54AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa990e79bdd7ffcabe4f8d60711efd12e49a6fc6","datavalue":{"value":{"entity-type":"item","numeric-id":512187,"id":"Q512187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$EFE09052-74B0-4A38-8EC5-1E96696FDC52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d568e2ef8fb63864b6d6f453e43251e7302bcaee","datavalue":{"value":{"time":"+2021-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5009704$F9DBAD0D-C5C6-4E6F-B9F1-1C669004F3CC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b32e2aa9f6242b055f211e67d96c4862498bf202","datavalue":{"value":"https://arxiv.org/abs/2002.04282","type":"string"},"datatype":"url"},"type":"statement","id":"Q5009704$9ECEFC51-C447-414E-B98D-29B8FF84B7C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009704$43AE6A4F-1737-43C7-9B90-01369AF6CFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009704$5A7CD7C5-E65F-454A-B7AC-D0CB31C03E53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf91c6dc77334bf94a65b584a4ce520c67d9296b","datavalue":{"value":"7379289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5009704$43251A2E-97BC-4951-AB90-2B01AFF012E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009704$D4256644-2C85-4DB4-8065-5ECFF3BB48B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009704$DA8EB2C4-EDC8-45C0-9C8C-A8C0012492FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009704$CF0273D3-FECF-459C-B148-170C4AE4A95F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e5b0064d466c81d9d093111f36ce77fecb145f7","datavalue":{"value":"reals with addition and order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5009704$15EC17CD-372B-4C70-B4D8-7BA6D8457530","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":"Q5009704$15133A39-CE64-4713-9EC2-F54B311AC1A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"af0291403418636b2c33c32e503ce457371d0ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1014642,"id":"Q1014642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$BB8DA71E-6E5D-42FA-BDB1-F891DB24A349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326465e0e07e166eb25ae11ccb7a569fd154cd38","datavalue":{"value":{"entity-type":"item","numeric-id":5190326,"id":"Q5190326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$B4F171F5-201D-4B91-AB4E-F803DF0D9257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27da02a75f155a355fc46051761a576b3223415b","datavalue":{"value":{"entity-type":"item","numeric-id":2890177,"id":"Q2890177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$BBBB8CB4-925D-4904-AC65-D519A18CB6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b54dce8abe93839fc87d43b220f2c0fcfcff01","datavalue":{"value":{"entity-type":"item","numeric-id":3510798,"id":"Q3510798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$EC863037-6D42-4C16-94C7-BAB4970D41FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410937f3cd66b2dc91799f176f162c9bf7a28953","datavalue":{"value":{"entity-type":"item","numeric-id":3833669,"id":"Q3833669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$91CC12B4-408D-48C2-93C8-94CEB073A00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a575fca10ee711bd18c35cb0091e8c6f5b16d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4219027,"id":"Q4219027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$9E800FC8-1475-4A28-B913-FC72F4D5D96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"246725a169f4b0852900ae0b5871d89b71741388","datavalue":{"value":{"entity-type":"item","numeric-id":3575467,"id":"Q3575467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$5B7E2F02-A46B-4D40-8831-F84F2B23FE06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"827935aacc814cb13869c597193eebf4d3a12a0d","datavalue":{"value":{"entity-type":"item","numeric-id":5569462,"id":"Q5569462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$4567F865-5A45-4168-9F2A-45D0110C042D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f64426a8a04381d39f656cdb1845172710af838","datavalue":{"value":{"entity-type":"item","numeric-id":4638984,"id":"Q4638984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$46D2AD63-CFD0-43E8-84ED-A4CF85062364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b06c647aa7565aa799892798c5449e01b6a5a3a4","datavalue":{"value":{"entity-type":"item","numeric-id":2338218,"id":"Q2338218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$A669933A-A8EA-46CC-8F2F-ED2C62514F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$B9BEC407-89E3-4719-9934-8032784DD1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$D23BDA4C-CFB6-4C8C-81BC-E06D169E9717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0dff6ffe865b7db6cdf40f70eeb47ccbda4d7b38","datavalue":{"value":{"entity-type":"item","numeric-id":2311210,"id":"Q2311210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$9A86BA6E-C7C2-4563-83CD-2A71528831A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c036ccfd3bc9cfd009c1412d35fde53c53ee75","datavalue":{"value":{"entity-type":"item","numeric-id":4328833,"id":"Q4328833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$9FB324F7-A4F7-432D-9A2E-33D9943A607F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c2fccff7600760d93e7d865daa552cabaa6adcb","datavalue":{"value":{"entity-type":"item","numeric-id":2988842,"id":"Q2988842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$336DCCDD-C51D-4AB5-8F59-885CA4B852B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"959e2afa67601876bfe76104ac93d0fc71b5f323","datavalue":{"value":{"entity-type":"item","numeric-id":1401169,"id":"Q1401169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$7C58FA49-0A78-481B-BBDC-A45800FDB809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc7ce055161077ed6f3aeba8784aca561bea80b0","datavalue":{"value":{"entity-type":"item","numeric-id":1247317,"id":"Q1247317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$B60A5677-8965-4099-BE54-59262A0EF0D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad509284b6aac71ad8365200642a9011c792226","datavalue":{"value":{"entity-type":"item","numeric-id":1591377,"id":"Q1591377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$933D21A7-25A0-47D4-88EF-6ABFE5F18BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a40abffd6136ffb8776dbb4de177836663c87927","datavalue":{"value":{"entity-type":"item","numeric-id":1259594,"id":"Q1259594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$B2ADA8D0-E062-448B-84CE-AA6CB27B9EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02bca4e0fe313ab97d1b96d7e30195893e3da60","datavalue":{"value":{"entity-type":"item","numeric-id":4981145,"id":"Q4981145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5009704$120AAD33-BF85-4087-867F-08007CC57CDE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d42c27a9a9a80881b4d3acc1997edf984b68702c","datavalue":{"value":{"entity-type":"item","numeric-id":782563,"id":"Q782563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dba69d267445d291153f12fc89a2e58dec34dbf","datavalue":{"value":{"amount":"+0.905668556690216","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":"Q5009704$2572CFDB-0C5F-45DE-BB4D-01AEB6339338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ac84424ac1b5148f775dda54841906bec55b103","datavalue":{"value":{"entity-type":"item","numeric-id":5880942,"id":"Q5880942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181193f5e69fa64bb11223ae5b4068f0c0d6d397","datavalue":{"value":{"amount":"+0.8416410684585571","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":"Q5009704$B5335BEA-48C1-48B2-82C9-C61ED693E44F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8812e20eca43529bbaba889dfc3b75a8addc88","datavalue":{"value":{"entity-type":"item","numeric-id":2311210,"id":"Q2311210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a86121fd712b7691072444642defd0da808d7635","datavalue":{"value":{"amount":"+0.7170212864875793","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":"Q5009704$2596D671-4BFD-4BAE-8792-E59415F4A8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab2dcdfe6a5d58714dd6deee76a839a6a920987","datavalue":{"value":{"entity-type":"item","numeric-id":4008750,"id":"Q4008750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64457e83b39f2ffacad49b1a3239150c33cccd76","datavalue":{"value":{"amount":"+0.7091141939163208","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":"Q5009704$D43F872B-1B00-409D-A348-E2BF4BB79A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecb3e288c487109c51bc7fd4e840f85c2204955","datavalue":{"value":{"entity-type":"item","numeric-id":3514638,"id":"Q3514638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93c85adf16653da2a4a29477a8a44f290202140a","datavalue":{"value":{"amount":"+0.7078965902328491","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":"Q5009704$B05E928E-C47B-4BB6-A515-ACC8FB20BED5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5009704","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5009704"}}}}}