{"entities":{"Q2878748":{"pageid":2889468,"ns":120,"title":"Item:Q2878748","lastrevid":58056960,"modified":"2026-04-03T15:28:21Z","type":"item","id":"Q2878748","labels":{"en":{"language":"en","value":"Decidability results for the boundedness problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6340393"}},"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":"Q2878748$97F2D3B2-87B4-49A5-9742-5BD18BB09075","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8adfddb5f48a39076f07fce97de47ef168af9e9c","datavalue":{"value":"1337.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878748$F46DAF99-A28C-4ECF-AEB0-4AB052855F3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af82b4d2e0dec4df27d79a5d03b6059ce7abb3b1","datavalue":{"value":"10.2168/LMCS-10(3:2)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878748$949B2100-BED6-46C2-94BA-00C87C56841C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f26358bd283f1431ccbb150a944f50fa9cf84f8","datavalue":{"value":{"entity-type":"item","numeric-id":420849,"id":"Q420849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878748$23D991D6-7699-4AD5-B254-7FC9DC487D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3d44d2e806c94564ac8ed3016d0ed20fdb29f21","datavalue":{"value":{"entity-type":"item","numeric-id":490671,"id":"Q490671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878748$CE7705AC-AD5B-429E-A51A-0D495056D73A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc69d9cd8ad54bf8541e1efbd5cdce331ff9cba3","datavalue":{"value":{"entity-type":"item","numeric-id":639282,"id":"Q639282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878748$0B1C423A-ECA2-45F1-820B-628AE38DCC92","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2878748$17C8D6B5-1E6A-4A6A-AA8D-0EC45DC397A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"129eeaa36edfc12cfb30819e9dd17da235a8ab47","datavalue":{"value":{"time":"+2014-09-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":"Q2878748$CCFFE092-F191-42FE-BF97-7EED4CCF2391","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dbe0150cda3d6e2818399244ff7bb416200f218","datavalue":{"value":"https://arxiv.org/abs/1406.7684","type":"string"},"datatype":"url"},"type":"statement","id":"Q2878748$A60D8E9B-6830-4A73-9493-585625FD8C34","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878748$3E490C6E-EEAD-4EBD-9FF9-7B85BA3EF3FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878748$16F524A7-61DC-4513-8AAB-F31F876087C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878748$B9839C90-AF7A-4EC0-9B8A-A4BF4EE4F5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878748$A4C09A27-8B4E-476C-AA8B-BFFBA54A311B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3eea94b6b1753a6b5a46823f9b1b5cd7c609a870","datavalue":{"value":"6340393","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878748$AAB070DB-7FDF-407B-94A0-5664861E84F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878748$51777BBD-05B3-4B9D-9FCC-D89712AB3088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878748$48E63E32-A456-4C15-930B-E51315DB6FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b179b5c72afc1f0ac5c224a3752d2cbc897655b1","datavalue":{"value":"boundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2878748$26621A05-993F-4B1B-B2A3-6B82636E5084","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":"Q2878748$92BB8039-2981-4212-92E9-4736059C1349","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74ba4d67776ade9738f81d6aa527e326a917f29e","datavalue":{"value":"W2140885135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2878748$6170D88A-3F85-4C5D-8B5A-66E000F35597","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5efad49a8fd53949c917c2ac1743fdeab397d12b","datavalue":{"value":{"text":"Decidability results for the boundedness problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2878748$1A165F01-FA2B-4ECF-96DE-FAF80B386CF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8a2ae05240a4fe0f888775855fc15e8a278e2a","datavalue":{"value":{"entity-type":"item","numeric-id":5428840,"id":"Q5428840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abefd1726de6cd6e35a3e888c346b8bb06dbbf07","datavalue":{"value":{"amount":"+0.8303853273391724","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":"Q2878748$324F54BB-ADE8-4087-8D2D-BBEBC8F9B00A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb39063ece4676791c62b9491fa7869a2ac4869","datavalue":{"value":{"entity-type":"item","numeric-id":4635812,"id":"Q4635812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4812b3abe3d0c2d9174934d3a466e1c2bbf25ae2","datavalue":{"value":{"amount":"+0.8143845796585083","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":"Q2878748$14C160D3-D91A-4000-B057-0D1D6BE10927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f690a8deda52f079e95a31c469a648f4741c0eba","datavalue":{"value":{"entity-type":"item","numeric-id":5278399,"id":"Q5278399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd010625611cf6cf331ff629c1b8bb13dd6346d5","datavalue":{"value":{"amount":"+0.7882145643234253","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":"Q2878748$A6EBF55D-D6C6-4BC5-80CD-F5B59BF96DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911f5586efcefddc5e7a7651b547e47916b65011","datavalue":{"value":{"entity-type":"item","numeric-id":1853504,"id":"Q1853504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00515ffabeb31cee6854d17713cedcab1323187f","datavalue":{"value":{"amount":"+0.7791873216629028","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":"Q2878748$8661BC94-6F4D-4383-A7BA-27D438666C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f351fcb1c2bb3c2d12abbb0e478247625e5b98","datavalue":{"value":{"entity-type":"item","numeric-id":4673357,"id":"Q4673357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fd41903dc75140f99b3eee8f393f9692e6e526e","datavalue":{"value":{"amount":"+0.7709313631057739","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":"Q2878748$B365AA72-30E3-4D76-AF54-94BA80781CCC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2878748","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2878748"}}}}}