{"entities":{"Q3758816":{"pageid":5788722,"ns":120,"title":"Item:Q3758816","lastrevid":51771260,"modified":"2026-01-19T23:05:29Z","type":"item","id":"Q3758816","labels":{"en":{"language":"en","value":"<i>\u03c9</i><sub>1</sub>-like recursively saturated models of Presburger's arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4008379"}},"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":"Q3758816$6F7D7564-5B2F-4526-B507-D434C1F026CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61e0d10ad0d390522c767cbe04388ecbf75d772b","datavalue":{"value":{"text":"<i>\u03c9</i><sub>1</sub>-like recursively saturated models of Presburger's arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3758816$F363BF85-8B8F-4049-9BDE-762BEA585CFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7a6a324c067f6d35636f64a8e18bef2674451d9","datavalue":{"value":"0622.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758816$1A0C4C3D-A90F-4C04-8F48-B423091DFB23","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57b8ad1935fd780caa0f8d9e6861986617f54ac6","datavalue":{"value":"10.2307/2274065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758816$6E565908-4B63-4973-8C47-5C4BDA245CAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4ff352d8d8a83aecc1a17089bf4456a0f5daa2ad","datavalue":{"value":{"entity-type":"item","numeric-id":580326,"id":"Q580326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3758816$5E931A12-DBB9-46D3-879C-A1E517229AE7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3758816$1157087B-170A-4946-9DF3-17C6F2EC9297","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758816$FA57242B-50CB-4DEE-B926-65592BBE1C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758816$F9840F75-4FD9-40E5-B1AF-5BCDCD1DD10A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6c9accc46e25f5e78b2f19482bf45b86f1a10636","datavalue":{"value":"4008379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758816$55DCA7AC-F0A1-4A61-B6D2-65963B3BC506","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d25307cf6e5796ca15d371ce3b5882cce0abca99","datavalue":{"value":"diamond principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758816$2A453CCF-35C0-4D2D-ABFB-5C0F6AC0A38D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758816$793D295D-5714-4ACC-BA4D-007ACFC968C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6997afd2774c86b2dc612788b310855cc940b22","datavalue":{"value":"countable Scott set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758816$818EE26D-8FCC-481E-95ED-64753A07D214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d224eba300b7b787a10575cd2a08feed2de1c483","datavalue":{"value":"isomorphism types of structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758816$7E4B77CE-EC5F-4419-AD1E-5B5AD4041B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"879822e9355de5dfeceafb88c4e5059768e839f2","datavalue":{"value":"recursively saturated models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758816$44A531A9-1046-4F75-90F2-BD2C2888B1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2656d7cbc0771ae801ff07bb3805427812c871a4","datavalue":{"value":"\\(\\omega _ 1\\)-like models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3758816$0E4D3409-301C-439B-AB42-C178593A9836","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":"Q3758816$D7A01BF9-0309-443F-B1B4-D37C4E5BE236","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ed2f7206c28b51def306788dc46ca6852c85387","datavalue":{"value":"https://doi.org/10.2307/2274065","type":"string"},"datatype":"url"},"type":"statement","id":"Q3758816$0A1E72C2-473D-490D-BA34-5B62B2070D3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d589403f322b6376f06bda8d049d4d400deeb8fc","datavalue":{"value":"W4244938275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3758816$EC402BA2-DD55-4785-A681-DB62BFB76836","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3758816$C6AB5569-302D-4112-93F2-7E836E962927","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"141dd697c0f6485f09c60499b901cab0a0ebafa6","datavalue":{"value":{"entity-type":"item","numeric-id":3783277,"id":"Q3783277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82c26e95c6dca8af5202ca08d1ec23351f41bfa3","datavalue":{"value":{"amount":"+0.8569756746292114","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":"Q3758816$79D72277-7ED9-4EE4-82EA-ADB7E6DB9239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d780ee978922a4e1d6202424050017701e3863","datavalue":{"value":{"entity-type":"item","numeric-id":3835447,"id":"Q3835447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca3f6e0d463d443be24722a616076570bd1f6260","datavalue":{"value":{"amount":"+0.8345210552215576","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":"Q3758816$93861D29-C909-4898-A690-7B6B50F9A590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e186c85b9a2124e7741ee4560ede255b563955dc","datavalue":{"value":{"entity-type":"item","numeric-id":3988261,"id":"Q3988261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360ec9a03f08953b872046bdff458773c0e78764","datavalue":{"value":{"amount":"+0.8246899843215942","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":"Q3758816$68DD5F38-6155-45C8-ABA0-5AC9BA4B6EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70df2fd9f2ad1b5c0491db70f07d3e5a6f5584e2","datavalue":{"value":{"entity-type":"item","numeric-id":800912,"id":"Q800912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a87fe74000ec22229c76e2615a3903a5dadf8e30","datavalue":{"value":{"amount":"+0.8192539215087891","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":"Q3758816$07BC4DE0-73B4-47F5-9851-C694EDC2F1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49aae0a8a1f811a0b1f1d3ff82dd76c9cc574d6f","datavalue":{"value":{"entity-type":"item","numeric-id":3342546,"id":"Q3342546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef532a33f4b2723cd17beff26441fd3288fa8705","datavalue":{"value":{"amount":"+0.8187870383262634","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":"Q3758816$72F53F67-3804-44CC-B47E-88EF451BE2BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3758816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3758816"}}}}}