{"entities":{"Q3837737":{"pageid":5867642,"ns":120,"title":"Item:Q3837737","lastrevid":54489848,"modified":"2026-01-27T08:20:22Z","type":"item","id":"Q3837737","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 956480"}},"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":"Q3837737$FF4FB9CE-1C5D-4F62-AA94-DD9B302BB79F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61587af6ad7c5886b379accd8e1b68a6d46ddb08","datavalue":{"value":"0865.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3837737$B6BFE5D7-A295-436B-BD8A-9D341254E23D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3684a3460666f284ed8323854830b824c056e5e9","datavalue":{"value":{"entity-type":"item","numeric-id":1023051,"id":"Q1023051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3837737$55114AA9-341B-45B7-BA9A-DF7C1CF7FE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c186a04078a731a143e84fed0c0fb4e1fa5caa0","datavalue":{"value":{"entity-type":"item","numeric-id":420851,"id":"Q420851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3837737$6A9F2FEE-B6F7-412C-A384-B090BE267B06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3320bcf2674d02af1cc97a966bd2bda166c3629","datavalue":{"value":{"time":"+1997-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3837737$90B5D20C-CDED-4206-9AD0-66964169001C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3837737$6EB1CEC8-1539-489D-B33F-8C071B08BF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3837737$E656F27B-9DFE-4071-BC84-6088E60EAFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3837737$B28BD686-5683-44B3-AEB0-0C0CA5E3FD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3837737$BAE060C8-02F0-4E5C-80D6-E7BE85765A11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ee14eabc9ce42120b859bd73fdafce6f5c638c6","datavalue":{"value":"956480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3837737$C9414927-FC80-42D9-9132-B45B7C352DC3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50a802df841fb84af397886c5d73146c2d4b5191","datavalue":{"value":"weak monadic second-order theory of one successor","type":"string"},"datatype":"string"},"type":"statement","id":"Q3837737$A210BFD9-649C-4052-945A-4CD8B32A8CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32727bc9f684dce66e076a9f84d7c8b8ee823c1f","datavalue":{"value":"Cobham's Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3837737$5B216E3D-64D3-48D0-A5D4-576F76DE8D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3837737$51029170-7670-49A2-8B60-DBDB8D6E2597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ece493e687b27c7384ded6408b3ff267cb620ef","datavalue":{"value":"B\u00fcchi Arithmetics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3837737$B17A2BFA-7BE1-4960-A854-11E31BA1CBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548f2a0c8cb0d7ed5102da751139308480121184","datavalue":{"value":"Presburger Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3837737$7B2075F7-1267-4972-9B6D-754A3D5514D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q3837737$599229A8-424C-49B9-B665-93F51D6DB006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3837737$392BD930-B5CC-4509-B7F5-CE24DACDAFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a78804fcd1f649a029b1d52177a77e571d774513","datavalue":{"value":"Bertrand numeration systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3837737$7FBA78C7-3966-46C3-9335-AA7A0338FD19","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":"Q3837737$DAA888C9-3DA6-4731-B1DA-ECC37077B220","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"026127cea8eade5fc1652c079718c659e3c555b6","datavalue":{"value":{"entity-type":"item","numeric-id":4953215,"id":"Q4953215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e0a0ddecc18f81f47ff8ace9556da62e90aab3","datavalue":{"value":{"amount":"+0.8916888236999512","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":"Q3837737$D93B4CAA-0B89-4FAB-9F69-08A2E22BE109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88223fcb08cd58139114ab7ab0ced24744be9c1c","datavalue":{"value":{"entity-type":"item","numeric-id":1919534,"id":"Q1919534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b93e6c5146b7e77d3f89cf05c544271376046433","datavalue":{"value":{"amount":"+0.8868663907051086","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":"Q3837737$51DF2FAB-2DCD-4D18-847D-78896F08655C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84657c870677afe910458efd45a6ef103c35e764","datavalue":{"value":{"entity-type":"item","numeric-id":4630271,"id":"Q4630271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5dec7a571361e2e5fd795808c786672d0fe3b285","datavalue":{"value":{"amount":"+0.8658596277236938","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":"Q3837737$B317CEB7-6658-45F6-BDEE-5B861CB99A8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3837737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3837737"}}}}}