{"entities":{"Q5146427":{"pageid":7175998,"ns":120,"title":"Item:Q5146427","lastrevid":53915786,"modified":"2026-01-25T22:31:40Z","type":"item","id":"Q5146427","labels":{"en":{"language":"en","value":"Truth definition for \\(\\Delta_0\\) formulas and PSPACE computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7301046"}},"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":"Q5146427$E930BE3E-9475-480B-92C0-B9581DC2DBEE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17fc316897e26e61d25feb58e0e9fac6f8c60a2f","datavalue":{"value":{"text":"Truth definition for $\\Delta _ 0$ formulas and PSPACE computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5146427$E119615C-B56D-4F33-85F2-7D8992763B89","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6a5b448d8c3a3b3eaeff31f07e398ee86bee430","datavalue":{"value":"1496.03240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146427$73ADAEBD-E873-4B2D-A4CB-5B4F99E6EFD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2094ea0738e5bf7c114481073bff8eb28b382fdb","datavalue":{"value":{"entity-type":"item","numeric-id":549717,"id":"Q549717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146427$E14DDFEF-F10F-4008-A9E2-A21D0E9F86F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146427$3029752D-4669-4A28-AA01-CBDDE02B0F48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0827198be489c99d5ba6559ec16692e838cc43b","datavalue":{"value":{"time":"+2021-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5146427$753DA327-41AB-4CA6-BCA5-54C399FD9CA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146427$5E36759B-75B7-4198-B03D-E2B739516D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146427$9141E8EC-567C-4DBD-BD6A-3C99252D51CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146427$39A7C70F-B8BE-47C0-8736-F552E2E80432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146427$1F38638E-C310-4B36-ABBD-E9AACAF3FDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146427$22659F39-318D-4F12-94B9-D9C862051B4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8306336f35e1897fda6b53fe9c2a34b3e56516b9","datavalue":{"value":"7301046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146427$979CEB24-7F99-4E76-BCD6-035520CA397C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29e85a61e7939ee6f14f83214f0f77882dcad4fc","datavalue":{"value":"first-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146427$0703AD2F-8CFD-4618-B647-E0474D5729A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146427$DF7828A4-8BE6-4478-A32E-1BFC45986A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba2903ab2dafc050042cd489ae05396ebe51a19","datavalue":{"value":"bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146427$F888DB5A-4BBD-46ED-AC0E-2F9633BB919F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5245dd9eb3255611a23b1a3010f6d2adcff0e2a9","datavalue":{"value":"truth predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146427$C9749658-2A9E-4D94-9FEE-C40F26BB6182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96c107bb63de79565718d188b33fcc483957cfdd","datavalue":{"value":"PSPACE","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146427$B1906AF6-B223-4BC4-8B6B-460964ED7DF6","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":"Q5146427$6C6024CA-CC3D-41B1-B835-7425783DA6CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb8136fe868fea439fff73cefa1102dbbed86b5f","datavalue":{"value":"https://doi.org/10.4064/fm578-1-2020","type":"string"},"datatype":"url"},"type":"statement","id":"Q5146427$C06A4812-9CFB-4C15-BB2E-A6C4EF8AAA2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ca48a726e7eb8e6902e537d32204b48c0a65beff","datavalue":{"value":"W3039392985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146427$EF7A4A52-582E-44B4-AD9A-5A41E96FB01B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94868801ea78d09cd7915bc74691ee00db83d458","datavalue":{"value":{"entity-type":"item","numeric-id":4032645,"id":"Q4032645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146427$9B901A48-420B-4334-AA9D-94FE67CC038E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ee8dd8b6b66e9df17891f42decb7826a6dd644","datavalue":{"value":{"entity-type":"item","numeric-id":2892683,"id":"Q2892683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146427$36E49C2F-C65B-463C-A1D8-A835F9859008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"636bd06f249dc0d246648ab8475951e991e68349","datavalue":{"value":{"entity-type":"item","numeric-id":3083669,"id":"Q3083669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146427$C11E37DE-5FE0-41FB-8177-D058363AA343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeebd466643aa876c1932f0bfc7bb13b63abb5a2","datavalue":{"value":{"entity-type":"item","numeric-id":5410329,"id":"Q5410329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146427$3D45AB51-9A45-4629-9265-387D8C875245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146427$A7526F78-D946-4F34-BA28-EDF6F1CBAC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccf19753fdc4aceb4fe2e72e418d7c4420dcc62","datavalue":{"value":{"entity-type":"item","numeric-id":5286672,"id":"Q5286672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146427$FCF8C355-8DD6-41FC-B68B-843FD9D56AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0f26aae10c86e9fa3eebf2b640fe92d4112d1e9","datavalue":{"value":{"entity-type":"item","numeric-id":5222088,"id":"Q5222088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146427$85A88CE3-7146-4433-BBE5-4A5227FEF6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16379452a4949bf4e97a3cd79c6104d4a7ee9465","datavalue":{"value":{"entity-type":"item","numeric-id":3755452,"id":"Q3755452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146427$7ABCBAC0-830E-4224-A0BD-7AF15622883D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e499c86ee0646fff12cf3f079c9131faaea7b20","datavalue":{"value":{"entity-type":"item","numeric-id":4215637,"id":"Q4215637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146427$A3243CF7-624F-47A0-BAA2-848ABBC8D014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd225d509accf443965fd398d8d1fca16775d4f6","datavalue":{"value":{"entity-type":"item","numeric-id":3470461,"id":"Q3470461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146427$898317E4-681A-49C2-8326-1F2F98B1B83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4d656042ebdf33c960d3747c64e679ded841c0","datavalue":{"value":{"entity-type":"item","numeric-id":4615032,"id":"Q4615032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146427$B8C61D6A-8CB6-46B3-8CAF-230C07FE5668","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b658aa7e15f08761640ea7723f80720a245ea29","datavalue":{"value":"10.4064/FM578-1-2020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146427$F948BA54-F7EB-44F6-AFD8-477559041D9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e242389439ac99f0043978be6bf447b2a362ff2a","datavalue":{"value":{"entity-type":"item","numeric-id":1107528,"id":"Q1107528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39fef15bd75f0da08159871f714a07b9774c2f7f","datavalue":{"value":{"amount":"+0.790359616279602","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":"Q5146427$FA015F8A-B896-4D05-B9C4-C1A6B7404212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"932a62ed8a68cf52967f103d504afa0d5d5aa108","datavalue":{"value":{"entity-type":"item","numeric-id":4723712,"id":"Q4723712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36524ded1d9b5b610c3e33c405d44f680b0d19a","datavalue":{"value":{"amount":"+0.7352373600006104","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":"Q5146427$816794A2-5FC8-4AB1-936C-513EC8BC9B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b48df2ed64dac1e71e24bad9fbb0685bf802012","datavalue":{"value":{"entity-type":"item","numeric-id":4694224,"id":"Q4694224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80db11f3e55c631e0f87ab0e86dd4a2ea7f35a9","datavalue":{"value":{"amount":"+0.7316871285438538","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":"Q5146427$D142535D-8EF7-415D-A0CF-286D71B4C30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa6ac312748ec5541a2c7660ef2d743d879a192f","datavalue":{"value":{"entity-type":"item","numeric-id":2892683,"id":"Q2892683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17287d1ee7c161fe00af3590569c7f1c7a49db00","datavalue":{"value":{"amount":"+0.7279121279716492","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":"Q5146427$2683E63E-C35A-4F08-8841-5D5BD85984A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0c098897e575734db8c7842e101586986ccfcfe","datavalue":{"value":{"entity-type":"item","numeric-id":2450770,"id":"Q2450770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a032ab381bd9f13a30969fba499d9beaa65c52b","datavalue":{"value":{"amount":"+0.7214245200157166","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":"Q5146427$0127B6DF-095C-41E1-945A-49C46421D289","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5146427","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5146427"}}}}}