{"entities":{"Q5393641":{"pageid":7423215,"ns":120,"title":"Item:Q5393641","lastrevid":92631254,"modified":"2026-06-05T02:14:12Z","type":"item","id":"Q5393641","labels":{"en":{"language":"en","value":"Model theory of bounded arithmetic with applications to independence results"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5066363"}},"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":"Q5393641$96781DE8-DB11-48B4-81CA-D8BEE1D4384C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89d1b05385d8ff50c9491b2b2d85a5e3a39cf3a6","datavalue":{"value":"1107.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393641$384D283D-518B-41B4-8153-61AFE1142B28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c3d9bcc49ce8479a4f74748257e9fdb44ab539c","datavalue":{"value":{"entity-type":"item","numeric-id":535157,"id":"Q535157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5393641$5C6E32B2-29B0-47CA-88CD-43BB00AD5B29","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"739683939dd544f424afcd43b3dd081c97b48d09","datavalue":{"value":{"time":"+2006-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5393641$577001EC-3517-422C-B249-89F511917D36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393641$CAD4AA2E-5DCE-40CD-A66E-812FBC70BF3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393641$D1AE0DF5-2B07-4DE7-8FCA-8B43F5E28312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393641$F0D4B76F-8484-465F-A35D-C48D47314D2F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db86c0596de4e3458b728aca348c2d69256f4537","datavalue":{"value":"5066363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5393641$4B2825DB-1455-4962-8231-F64A8605653A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5393641$84FE95AE-F5E4-40F5-8AA7-0AA75F28AF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154ea0589dca3b50bef0f626c64f0e117c0eb521","datavalue":{"value":"polynomial hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5393641$FB0AFB9D-949A-45A0-A970-9B8B907E406A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6baee68106d620d93271c9dd92a98e2f4fe09f8","datavalue":{"value":"models for theories of bounded arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5393641$78D2BAD0-481A-43B5-8E52-2BF7D291FC18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5393641$CB1B2F51-EFAF-4851-A717-5FC9FEBFF63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a41e3ab451b803175f837aba9a774924d1bb063","datavalue":{"value":"polynomial induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5393641$6D67830A-E971-434A-B071-73601175DCE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"834c45d526445b63ede129bf0252d3b47bed13e5","datavalue":{"value":"NP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5393641$19ABBFCB-C67F-42DE-A724-E3CB78FF2F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9312c5bd19bd292f1ca8773c9ae4198ab6a1cf9a","datavalue":{"value":"coNP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5393641$5D3FA69F-5FBA-41C9-8F83-81D784BEB28F","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":"Q5393641$5590E6E0-9B7D-4B63-8CDF-7499CC74F0D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0794ddcdac09dfd873783111772c3f983fa5b0d0","datavalue":{"value":{"entity-type":"item","numeric-id":5477454,"id":"Q5477454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"150cfadc2410a1026d72bd438be376f6605d0915","datavalue":{"value":{"amount":"+0.8777956366539001","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":"Q5393641$761B12A4-24F4-402B-A49D-546FBC14426D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b68550829d6b273c4122cfdce50a4fbbb00d45d","datavalue":{"value":{"entity-type":"item","numeric-id":4035302,"id":"Q4035302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c7b01b4fcffafa4069213ad10df4f51d1227b8","datavalue":{"value":{"amount":"+0.8196257948875427","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":"Q5393641$6CC055A1-64E4-4774-8CDB-38A6F6FEDF2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48bc64bb0f7ebf905e20cba0dac02c05a1701629","datavalue":{"value":{"entity-type":"item","numeric-id":3128124,"id":"Q3128124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1be0fbe5547a213bf99ebf5e35f22adbc0f4a43a","datavalue":{"value":{"amount":"+0.8183661103248596","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":"Q5393641$FD2C6C88-8404-4B13-9504-1CA15F1B2A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b6544f7f54631d31398ad5d162d9b8a680e0a2","datavalue":{"value":{"entity-type":"item","numeric-id":4393170,"id":"Q4393170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b149c2df0086c7375ae7c9d7b4a23001d02abbbb","datavalue":{"value":{"amount":"+0.7866904139518738","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":"Q5393641$AAD1C3B9-DCF3-4AAA-B199-AFFBDE6DAAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bfacc80ecd655cc1d57511fa5965298f1c1ce26","datavalue":{"value":{"entity-type":"item","numeric-id":3362546,"id":"Q3362546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65d040a4a8b0edf8c48c32b57f46cda85dc8cf82","datavalue":{"value":{"amount":"+0.7846804857254028","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":"Q5393641$5F3D036A-30E0-4B58-81A4-7BD79B114D74","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Model theory of bounded arithmetic with applications to independence results","badges":[]}}}}}