{"entities":{"Q4666949":{"pageid":6696530,"ns":120,"title":"Item:Q4666949","lastrevid":97955267,"modified":"2026-06-05T15:54:41Z","type":"item","id":"Q4666949","labels":{"en":{"language":"en","value":"An unexpected separation result in Linearly Bounded Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2153745"}},"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":"Q4666949$50F01C8D-5EB1-495B-8980-D0BFF7264E95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"289c8eac8ebfac4d840ce7e46c25fe7ecc60c357","datavalue":{"value":{"text":"An unexpected separation result in Linearly Bounded Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4666949$8CF40699-BAEB-4C9C-8836-EF21C1D78FF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d664bbd8a07acca70212a36d43e98d884744aae","datavalue":{"value":"1065.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4666949$60ADEE6C-621D-4EC9-A376-DC17BE86EC1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cf66c04a9a25ec4ef5bf8b679fd619f391e2bb2","datavalue":{"value":{"entity-type":"item","numeric-id":598284,"id":"Q598284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4666949$9F63C7FF-1B64-4528-939C-3E0354C592D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7760d2294608b8a183e8edcaea7081a99d31bc21","datavalue":{"value":{"entity-type":"item","numeric-id":293308,"id":"Q293308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4666949$4326A1CA-E81D-4B6E-B86A-A4309C0CBC5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4666949$D5C8FDAC-81CA-4832-8024-64C60F2859B6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86471ba8a812fc2d049bb06f25b4db84c76027a9","datavalue":{"value":{"time":"+2005-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4666949$5196763D-9F37-455A-9A75-5F288369377F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4666949$4949A058-3420-46B0-807F-53202C6555AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4666949$04A84E57-CB4A-4821-BB45-1E422BE63201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4666949$6085098C-12E5-4493-B13A-D78D903F1B1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82743e0e5880e654f89a7ef56bbf5192bbd29423","datavalue":{"value":"2153745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4666949$A13B48BD-04AB-4591-A7DD-AAA9403E94A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01aa176836d243db97ef26f6e5ac337d9251b982","datavalue":{"value":"Bounded Arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4666949$F3FBC7DA-37F5-4E15-B142-9BC70B309CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5c986c44cadba2608d15cdbdbd7fbd9525b6f9","datavalue":{"value":"propositional proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4666949$03AC0CBC-C97B-4B9B-BE3D-20B21DCD2628","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":"Q4666949$197E5B1D-9EC8-4634-A49E-D7FD4C5EC123","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66bd7d1874551b059d049c51a2fc2cb3e70eafe4","datavalue":{"value":"https://doi.org/10.1002/malq.200410019","type":"string"},"datatype":"url"},"type":"statement","id":"Q4666949$E73361EF-7D59-46B8-837E-93BE4BEB00CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0683b4bbe810355ecd1e5077f43a440d541bbe2","datavalue":{"value":"W2115920428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4666949$63E3ACD7-6B88-4A4B-BB5A-E04CAC14DBF9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f90d78dfa0a6f26ea5458c2aa83c23e0baa0c56b","datavalue":{"value":{"entity-type":"item","numeric-id":3579185,"id":"Q3579185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4666949$4882E06D-51DC-443B-8FEE-FD52BAD75FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4666949$FA3191E5-FEC7-43F9-A8AB-15195A261F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14abad76ad511f1b4aa79c6b56a77737c16aefa0","datavalue":{"value":{"entity-type":"item","numeric-id":4847394,"id":"Q4847394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4666949$74DC3A16-2007-43FE-B0D1-4A6B23FE142E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3798ecd2352848fc7f05ce377ca3bb7ca030a458","datavalue":{"value":{"entity-type":"item","numeric-id":1801306,"id":"Q1801306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4666949$951752DC-464E-482B-85CE-B6C6E7263493","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5955b744ee62cdbdf4b04435d261679b0717aa85","datavalue":{"value":"10.1002/MALQ.200410019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4666949$90EEE128-25AE-4CC9-ABAD-376F872216D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4d4ee7f4bda871da19ff0ed7838d57c1585ecc7","datavalue":{"value":{"entity-type":"item","numeric-id":535152,"id":"Q535152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65ab24a755937a220740f1159d40dd56eb6eac4","datavalue":{"value":{"amount":"+0.7984694242477417","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":"Q4666949$8134A778-A579-45B0-AC28-856089C7D98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6b16fe4e50fb1ab446261c9c2e75253cfb69227","datavalue":{"value":{"entity-type":"item","numeric-id":3985100,"id":"Q3985100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c99895dcf79734324867653edc0fd2eeda0cd5c2","datavalue":{"value":{"amount":"+0.7930552959442139","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":"Q4666949$829F49BF-9EBE-4C45-AA34-CE449D1A5794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f0f1c32dfd86ebebcb2fc47c14fa52ef08fb35","datavalue":{"value":{"entity-type":"item","numeric-id":1344280,"id":"Q1344280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b84c88249e10abd6447b23bd7a3c415da866af06","datavalue":{"value":{"amount":"+0.7914118766784668","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":"Q4666949$74F3F567-A5EB-4759-B644-9B7B57B7F9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1d7c3bf9a42d70950b8aacc7cdfa56c19a558d2","datavalue":{"value":{"entity-type":"item","numeric-id":4308607,"id":"Q4308607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2162d251d5949457bbb6dda0459cd84cb3c58f34","datavalue":{"value":{"amount":"+0.7883101105690002","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":"Q4666949$3C524654-A530-4448-A07F-A628F5FAB982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65561116870c1e9907044afc55b9d16fc21e77f1","datavalue":{"value":{"entity-type":"item","numeric-id":3140634,"id":"Q3140634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84587c4ff9af96368744a3d4116139b5e12a8a39","datavalue":{"value":{"amount":"+0.788054883480072","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":"Q4666949$89E348D6-6A83-4C6E-ABAB-82F88893522C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An unexpected separation result in Linearly Bounded Arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_unexpected_separation_result_in_Linearly_Bounded_Arithmetic"}}}}}