{"entities":{"Q1675446":{"pageid":1686187,"ns":120,"title":"Item:Q1675446","lastrevid":81737474,"modified":"2026-05-06T19:14:36Z","type":"item","id":"Q1675446","labels":{"en":{"language":"en","value":"Efficient rational proofs for space bounded computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6798998"}},"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":"Q1675446$A7F03769-4B9A-4821-AF43-D5E8222DC055","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"264a62ed108270633d9aca4f3f3c41521d2a3dad","datavalue":{"value":{"text":"Efficient rational proofs for space bounded computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1675446$DFAEAFDB-A7E1-4763-A21E-6A2F318321E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c9cd53ef3dff30c2ff127a78eae1002d8879137","datavalue":{"value":"1448.68240","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675446$85A0C38F-967E-4A4D-9BA0-FABAA5D35F69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b8d029e433c3da6b880a26e234581182251d3ac","datavalue":{"value":"10.1007/978-3-319-68711-7_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675446$1CB7778F-D0F4-4CEC-861D-E2E5EE0A811E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c0afa3acae9aa9274a8cbe359ee58118e8fc0c1","datavalue":{"value":{"entity-type":"item","numeric-id":1631317,"id":"Q1631317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675446$98B21F15-0FED-4EC1-92E9-D3073BF8C230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c2085e3da506c41f02ac8273f84e93b92ba286f","datavalue":{"value":{"entity-type":"item","numeric-id":290377,"id":"Q290377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675446$697F13D2-5FFF-435B-A228-E19E6CA62D0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8feeb1cca2d914464752fa09fbf4f8c1020610b0","datavalue":{"value":{"time":"+2017-10-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1675446$979B7BFF-22E1-480C-BECE-81DDA2C6DA2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675446$12B9AF38-9140-4E24-9798-7CCA7CAA7411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675446$8DE93959-41F7-48B6-84D8-944B1FE298E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675446$0B39FAA5-C80E-4690-9821-2AFC60F17197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675446$846509D5-75BF-4951-A440-319EEB0D05B4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0e3088a15041184fc5b4a76f33cd69a26ebae76","datavalue":{"value":"6798998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675446$2F00C4DB-B5BF-4CE5-9C68-03384E8DCFAB","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":"Q1675446$DE8654DF-288B-4D5A-8641-17640818B4ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5031883cafd95ada07bad3422ee728f08bd91c1e","datavalue":{"value":"https://doi.org/10.1007/978-3-319-68711-7_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1675446$811F9A07-D29A-4E56-807F-81BFB77937CD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82cb1f1c422cf461859379ff3f7ca5551194e2d7","datavalue":{"value":"W2761017788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675446$BB7D6E48-EA9D-492E-82D1-9B9649C041EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"943e79bbbc71849cd1c44f92b3bba8c417968f09","datavalue":{"value":{"entity-type":"item","numeric-id":4281496,"id":"Q4281496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d982b45c9dd030495285e3aa2d356e6b997486fc","datavalue":{"value":{"amount":"+0.9051678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675446$C3297FD9-9FC1-4CCC-9322-A8CAAF25F870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c02bcfdbe13a58088d4eda7329c4e3fa44ef42","datavalue":{"value":{"entity-type":"item","numeric-id":2796410,"id":"Q2796410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8e3c75776aa24b1191a792e3d59efbbf203659e","datavalue":{"value":{"amount":"+0.902146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675446$A4387B24-9706-4D7B-9D28-4F715C7FBD76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2450aebffe7af9fa189c87ce5c064dcda2f3345","datavalue":{"value":{"entity-type":"item","numeric-id":4035721,"id":"Q4035721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93b4a59f401538b31389e9b4d13348ce916e4f4c","datavalue":{"value":{"amount":"+0.8950722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675446$ECCE71CA-5754-413F-B21F-272924C636FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6316c0eac359ff38ec00554cafba42aa89ff96ae","datavalue":{"value":{"entity-type":"item","numeric-id":1703929,"id":"Q1703929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5f9e930a6e4b72aa83e34024f7ec40688a05f8","datavalue":{"value":{"amount":"+0.8940252","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675446$CBFABAAB-BE0F-42E3-A47E-1CFAAE067278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1700c0a24a96b3438b1a3195e30755e0c7d0a4","datavalue":{"value":{"entity-type":"item","numeric-id":3975135,"id":"Q3975135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e129434e8237a42f3e7792c6dca301c836d461e7","datavalue":{"value":{"amount":"+0.87869555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675446$DA11C57D-87BA-40A5-9DD8-4EEFD01A74C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b26f73e151da856b92a8e4bb1158e7f2e8ee4aa2","datavalue":{"value":{"entity-type":"item","numeric-id":1176238,"id":"Q1176238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e129434e8237a42f3e7792c6dca301c836d461e7","datavalue":{"value":{"amount":"+0.87869555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675446$917E8895-C57C-48F3-A669-8771F12743AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4568bf59566edce95b41be4ab04b23a75c4425","datavalue":{"value":{"entity-type":"item","numeric-id":1617659,"id":"Q1617659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35840e426f6e3cded5dd3117cf089a232d1b1e2a","datavalue":{"value":{"amount":"+0.87372625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675446$F95702F7-D9F3-45E1-AB34-37E32072F894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da28da5e290488ad289537bbb842cad53ecef0e","datavalue":{"value":{"entity-type":"item","numeric-id":4357061,"id":"Q4357061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ceccbc809e7d04702e70fe0cb3602efd0b5e40","datavalue":{"value":{"amount":"+0.8699713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675446$4C3BD575-F2AB-47AE-AC96-7DF740581DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd1018e4305d1f7805c1760e3db7749c14f5f93e","datavalue":{"value":{"entity-type":"item","numeric-id":4251070,"id":"Q4251070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68455f52fec9a819b69161af97fac88618b06e3","datavalue":{"value":{"amount":"+0.86551845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675446$E42676F5-01D1-4DE5-B2B6-29EC298DD470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde4295cb017eb22bf0aebf248a6ab3b54d89410","datavalue":{"value":{"entity-type":"item","numeric-id":3149864,"id":"Q3149864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea7e8e20cab7c56907348cd8c2ce37d66b701293","datavalue":{"value":{"amount":"+0.8648931","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1675446$2B5E7F54-C7BD-4F70-9EDA-BF7A895902BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient rational proofs for space bounded computations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_rational_proofs_for_space_bounded_computations"}}}}}