{"entities":{"Q5386211":{"pageid":7415785,"ns":120,"title":"Item:Q5386211","lastrevid":50340890,"modified":"2026-01-13T20:44:44Z","type":"item","id":"Q5386211","labels":{"en":{"language":"en","value":"Definability of Languages by Generalized First-Order Formulas over $(\\mathbb{N},+)$"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5265802"}},"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":"Q5386211$3589D8D3-1ABA-4DD7-A6B0-143DA8FB5DDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"132998532debb24be93be902a79d384aca2cea61","datavalue":{"value":{"text":"Definability of Languages by Generalized First-Order Formulas over $(\\mathbb{N},+)$","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5386211$6261F379-D431-46FA-9AA2-CE67F2476D2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61ebc6369fcfd9bbead2e2fabad3b6ce7bfd9108","datavalue":{"value":"1135.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386211$5E7B5082-580D-4059-B1F1-9B24671CE600","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9a0e5eea62c77d4858507a178c4113badd4f3eb","datavalue":{"value":"10.1137/060658035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386211$461FE1FF-0040-4F9B-ACE9-C80084159CBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd66b655e427a488bf30f5bb219687573756c791","datavalue":{"value":{"entity-type":"item","numeric-id":455995,"id":"Q455995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5386211$56CF777B-6510-490B-B12B-A088C7BF76FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fb8d4872513e25b3cb2ee4b054caa1dd9caebba","datavalue":{"value":{"entity-type":"item","numeric-id":599181,"id":"Q599181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5386211$0F6E18B7-C0B0-40CA-A89C-8D57DDE37D34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5386211$BA92BCD8-5BFC-4212-9F30-AE7079569C72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2874847e9398f406897f3612d1e6cd906b76072c","datavalue":{"value":{"time":"+2008-04-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5386211$CBB93A6A-8A80-4874-A7C4-1CB07EFB5EBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"265bca1c313b1985b6618a4984270005fce10482","datavalue":{"value":"https://semanticscholar.org/paper/47e4e332ba1cc38d76aa052bb7d9d6192e40f14d","type":"string"},"datatype":"url"},"type":"statement","id":"Q5386211$971F19BD-7327-4276-A4DB-B37B65D824C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386211$61893058-8F75-4C1D-B8BA-18325E161319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386211$67ED997A-B216-4431-8D24-42BB792499CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386211$8D71D30B-63D5-47F5-B49A-8F139F5ABEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386211$113C78F7-4198-4DCB-819F-83719373B215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386211$0F5964A5-9D0B-43DA-B14C-88D0618EAA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386211$636AA8E3-49A5-4984-95CF-C8E23471AA49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c7753ed2551f83c9144df07a61ad1281b43b95ab","datavalue":{"value":"5265802","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386211$374D8026-5D1E-459B-8CF0-75379DA9704B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5386211$7C69D4F0-6F20-42ED-8C2F-599AAA185A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5386211$38483B23-7D52-4358-8D8E-277A08D4275C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5aedd6f07bf07f04c453e61d0caffd5b51a5706","datavalue":{"value":"semigroup theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5386211$617413A5-9331-4442-9557-3797F0E9E8A2","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":"Q5386211$127BE60A-B248-434A-B66B-43ABBB081CF6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ce3760754182abf2069004cf024f6e6b5ba8645","datavalue":{"value":"W2008235772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5386211$954A5058-B965-4F36-89F5-BF8EA08CCA77","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e242705db016f9a640100b114bfff38908d9db76","datavalue":{"value":{"entity-type":"item","numeric-id":5449824,"id":"Q5449824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7fd8bc2f11af371672de7a81fc99ff585011492","datavalue":{"value":{"amount":"+0.9997410178184508","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":"Q5386211$CD4EACED-AF18-4032-94FF-E1F49C2324EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"059e3b76bf33d6fb4c78d46aa0a1d0f86eb8d3c4","datavalue":{"value":{"entity-type":"item","numeric-id":1854424,"id":"Q1854424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f73534bee43be2404b869914612247bd2f99496","datavalue":{"value":{"amount":"+0.8667013645172119","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":"Q5386211$FFD07437-16EE-4140-BA74-7F25CFB1E364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa8351b8f3188e3a4eaff50141c3b3ad6fad324","datavalue":{"value":{"entity-type":"item","numeric-id":4381392,"id":"Q4381392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3feb902335107ad0b614a50ea23e2bac04a8deba","datavalue":{"value":{"amount":"+0.8598034977912903","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":"Q5386211$BDE8767F-5B53-40EA-95CE-10711FCA4824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0bbc451d2cc8f2ebdc5ce80729c8917972a00af","datavalue":{"value":{"entity-type":"item","numeric-id":2986821,"id":"Q2986821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e253f357f7c75784aaa3d75367b41c44e0daebb","datavalue":{"value":{"amount":"+0.8489717245101929","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":"Q5386211$909C66E2-AEC4-4FBA-BB56-EC525A1C6334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70952de87fc003a3088478622975f92cf7259b28","datavalue":{"value":{"entity-type":"item","numeric-id":1892890,"id":"Q1892890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa69eb39b17cec16dc22423436b92ed5c163b99","datavalue":{"value":{"amount":"+0.8425173163414001","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":"Q5386211$C341FF57-DC2B-4366-BC3B-503F0E3163F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5386211","badges":[]}}}}}