{"entities":{"Q5945399":{"pageid":8122201,"ns":120,"title":"Item:Q5945399","lastrevid":41208374,"modified":"2025-04-19T11:34:34Z","type":"item","id":"Q5945399","labels":{"en":{"language":"en","value":"Addendum to ``Choiceless polynomial time''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1656622"}},"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":"Q5945399$E1C69E42-0020-4077-B3B5-F1650D3660E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73aa9db14c4c178c5e0950d4c75c2b86b392e46f","datavalue":{"value":{"text":"Addendum to ``Choiceless polynomial time''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5945399$13F0F4DF-EA11-4411-BE64-9C29554EB4ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"218c2845254feb38c206ebeb84f1b7ea83e8fae8","datavalue":{"value":"0984.03506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945399$8073E93D-1243-4A08-B442-72C6D2648EE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f325599957535f3801170a2a040a0cd82d1247d","datavalue":{"value":"10.1016/S0168-0072(01)00086-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945399$5D551FB8-B034-462E-A376-49AE6FE90C8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0c547959f56e22bcdd079e76bda78b5f7c3224","datavalue":{"value":{"entity-type":"item","numeric-id":195660,"id":"Q195660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945399$6F92D439-A004-463B-814B-724455BC03D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945399$DEF5B555-AC85-4A99-8AA0-C51D80F5236F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8259050cd83ce3945f173c3e3c741cd5ddddec01","datavalue":{"value":{"entity-type":"item","numeric-id":169248,"id":"Q169248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945399$E259A885-84B0-406B-A3F7-CB5FECC5D299","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945399$ABC2648E-73C3-4F1E-A5D3-56F7D1A50971","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2fb6986925a2dd9f1bc85752ad6d9f3f8936e4f0","datavalue":{"value":{"time":"+2002-03-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":"Q5945399$64C50AD6-ACF2-403D-9653-AD87F4757C9B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"56ea46eec907591fdd4b3fb631acb9b352998678","datavalue":{"value":"Concerns the authors' paper in Ann. Pure Appl. Logic 100, No. 1-3, 141-187 (1999; Zbl 0936.03037). They point out that simulation of their abstract state machines by the generic state machines of S. Abiteboul and V. Vianu requires a strengthening of the latter model.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945399$034AB78C-C704-4EE2-9599-82B42E60E6D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945399$5B5B6253-BDBB-4D1C-BD81-DAB948E5F505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945399$C6128F9F-AD30-41C4-BCC6-A1DF1610386B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945399$0C20434D-6886-4DE3-89E7-BE90B1F0CF3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945399$562EB80D-48B6-4C00-8BAD-63DE302C724F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945399$D99D0EBB-EFCA-4A2E-BC81-4611D77DCBB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945399$561A32E3-A30B-49A8-B423-C7FC3DB07E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945399$C5158D9B-14EC-411F-83E8-5FA4F4EB6BB7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f26dece68bf6f387097d08af97cd9e3560794718","datavalue":{"value":"1656622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5945399$38613F0A-C1FF-463A-9274-CFF397442B5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a862f016acc1e519aa7b6644887bfca464692961","datavalue":{"value":"polynomial time","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945399$50B24FBC-B8CC-4104-9E40-D4ACEDB49386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6db2953c02516cbc73608b94a6bcdd7e31e2a10","datavalue":{"value":"PTime logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945399$D36D183B-C4ED-4AB1-9058-BD75C05270B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30aded0552094ac5716fe4747a6c670c61574792","datavalue":{"value":"choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945399$5601A6C4-9CC4-412B-84C2-6BB204A9AA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945399$F0334BFB-7CCD-4C9B-8C90-06EC21FF156B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"836c1cdbc0b9ddc8b99c5d1f428d818e5063db30","datavalue":{"value":"abstract state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945399$DEFA7A2A-AABC-439A-A1F9-D93272DBD425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0e3746bb488cfbbfa36abafc6ecceebac37f1f2","datavalue":{"value":"generic state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5945399$5A7481B9-F506-4C58-8967-C50F675FA574","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":"Q5945399$CAB0E0E5-2171-4194-BEAA-7C066504A49D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b061c74acfe7ed299eeb2c95c750dc4bed6741a4","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945399$7E788596-795A-4E82-BB0F-156B5836DCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dadd920105fd2dc8c3c88d08d58848760b22122","datavalue":{"value":{"entity-type":"item","numeric-id":1125059,"id":"Q1125059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945399$861E6C8B-8CCD-45E1-927C-6A10ADD1B621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bde9497b063b4bf005445a6b7e1f68d77877fc8","datavalue":{"value":{"entity-type":"item","numeric-id":2753700,"id":"Q2753700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5945399$2932C736-BF3C-48D4-BBCB-0C3BC0241654","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d547c3960325b8e2cce907f4c2afd3ea88a6871f","datavalue":{"value":{"entity-type":"item","numeric-id":1125059,"id":"Q1125059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9c6fa305ce1ff022fe706bdc01009a5db8163ff","datavalue":{"value":{"amount":"+0.898316","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":"Q5945399$536C39C6-AC18-4E02-84CB-5F5ACB30D108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84ac6ad2faacb5da9c3bc98357e4f28cf3038c4f","datavalue":{"value":{"entity-type":"item","numeric-id":2753664,"id":"Q2753664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a71468aec89f9fa24782fa8f3841f632c507e990","datavalue":{"value":{"amount":"+0.88720506","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":"Q5945399$55F38349-11AE-442F-BD1B-D5C171E99A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226c09eb31c179e6612d9b29241d6fe8579e83a5","datavalue":{"value":{"entity-type":"item","numeric-id":3586086,"id":"Q3586086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5427cc0a35b4c84b3123a37ce08a6039d161f7ca","datavalue":{"value":{"amount":"+0.86740375","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":"Q5945399$A310FBA4-C744-43FA-957B-63CB19284786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5eb9a428970bb18c954a30186d5e4e1e76ec784","datavalue":{"value":{"entity-type":"item","numeric-id":764325,"id":"Q764325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5427cc0a35b4c84b3123a37ce08a6039d161f7ca","datavalue":{"value":{"amount":"+0.86740375","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":"Q5945399$CDDE49AC-5A08-4E45-B235-7377073727C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7325a616212d4161e0cfa8aa555bdbd3dbebeaab","datavalue":{"value":{"entity-type":"item","numeric-id":6109071,"id":"Q6109071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3fa32b3796694feca54458087bb5a30eb27bdf","datavalue":{"value":{"amount":"+0.861261","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":"Q5945399$FE91C482-626E-471D-A740-774B67636B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3eb45934eadeff32cb859db4ee39dd359570182","datavalue":{"value":{"entity-type":"item","numeric-id":4635846,"id":"Q4635846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31508dffa7cb0eef326c084e0a2476caf4243bd6","datavalue":{"value":{"amount":"+0.8602703","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":"Q5945399$01029D88-3B41-4399-B5DD-8222D59073F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b273c902ac7243d8e22c10b23ff6cfed4a7b3c44","datavalue":{"value":{"entity-type":"item","numeric-id":4457727,"id":"Q4457727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59945e63a9c2ecf31fcac0de394cf134f1179bed","datavalue":{"value":{"amount":"+0.85842746","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":"Q5945399$1D4E184E-C8BE-48CE-9940-D0372BE7B2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd452b51988f602aa24f158a9447f868b3d52750","datavalue":{"value":{"entity-type":"item","numeric-id":2478545,"id":"Q2478545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7667de698dd652d86b098f9f688cee3d4c99646","datavalue":{"value":{"amount":"+0.8557994","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":"Q5945399$3A5A12EC-B889-4DDC-B10A-0E86BE289A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"149eab2839249f8567f661601cd7ab0c0343899f","datavalue":{"value":{"entity-type":"item","numeric-id":3719830,"id":"Q3719830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e8ded781c5ff197a33514c7d6f120c9ba712a06","datavalue":{"value":{"amount":"+0.8554755","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":"Q5945399$B467C94B-771C-4D6C-8115-96DF2199D3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dec9d9249144d9fe5ca3dea84451cdfa61a00c26","datavalue":{"value":{"entity-type":"item","numeric-id":1946492,"id":"Q1946492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3241885539e6224ca345fdd178cd6431e232f3fd","datavalue":{"value":{"amount":"+0.85496014","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":"Q5945399$8CB95C33-BF50-46A2-A75E-384FAFC8C7EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5945399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5945399"}}}}}