{"entities":{"Q3086725":{"pageid":3097440,"ns":120,"title":"Item:Q3086725","lastrevid":51217751,"modified":"2026-01-17T07:20:32Z","type":"item","id":"Q3086725","labels":{"en":{"language":"en","value":"The complexity of \\(\\mathit{AUTOSAT}(\\Sigma^i_m)\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872218"}},"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":"Q3086725$7D97F51D-9CB3-4753-B659-A1968A4A1EA1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2865373c845a2b0ef1dbc8320c29da437132ff7b","datavalue":{"value":"1227.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086725$BAD48816-906F-49C7-9FE5-9FB2C034469E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"226ec6a2e0bf98d20b25e1e8bd5791eb63a56d88","datavalue":{"value":{"entity-type":"item","numeric-id":313978,"id":"Q313978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086725$0A1939D2-F264-47E1-AB1E-2F8FF07F8191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5789e6ec676f3de7c8b9169157272f27d94414db","datavalue":{"value":{"entity-type":"item","numeric-id":186060,"id":"Q186060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086725$00C1DB17-4557-41D5-877F-F42BDB20A0C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086725$A177A61F-323D-4EE2-BE58-00B08FD678A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086725$A26B3A67-3692-4D9F-8F37-B6D450C3E1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086725$1F98780E-9A9C-4209-9547-2587C5745F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086725$9DCB319B-5883-416D-85B8-A649F03330BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d66741860e7237e3f9400ef302ba353750b2eb0","datavalue":{"value":"5872218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086725$ADFD7A80-D3CA-4E29-A6C6-1A836B4EDCC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881dceebcfc2cfaaf48b0eeca275f318bc3a7ae","datavalue":{"value":"hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086725$5E98B298-F0CC-4DA0-A0CC-BA93B0F1A2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086725$CF0E3E86-53DB-409E-989B-990E5592EC92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb45a366c5f73694d4193741149731f4b28dce52","datavalue":{"value":"relational structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086725$81EA1907-9719-437D-82D6-7C948EA992D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f8340ef4c4157ebec58a3295fbe44229f419971","datavalue":{"value":"polynomial-time reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086725$01779796-DEB0-45D6-9923-83D0F6F822BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f998f00eab658ec802472cad8ca9638097d79a69","datavalue":{"value":"higher-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086725$0A081873-9821-410E-8B29-874241176D4F","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":"Q3086725$08E12E90-7CE8-408F-A1BD-D4AB4FB1EEA0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c370c38dc3cc02d897b1ba8a0dc6bc5072f0dbd","datavalue":{"value":{"entity-type":"item","numeric-id":4644504,"id":"Q4644504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"410d631147ab5a58222899566cec271e9436373b","datavalue":{"value":{"amount":"+0.7169301509857178","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":"Q3086725$BD94CB25-089F-4D29-A415-57C0847E56C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89209ccee155a7996ed8c97e00da384ba0b3cbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1919768,"id":"Q1919768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f93f7992e3774df387529f6998580473e537581","datavalue":{"value":{"amount":"+0.7167397141456604","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":"Q3086725$98AD28C9-0ED9-4D7D-9D19-8A3ADC711D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fc3512c59ddd456dbe86095dead2a780ae8735","datavalue":{"value":{"entity-type":"item","numeric-id":3613351,"id":"Q3613351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a35a7ae06561c5cdf3628edbe7126449f59773fa","datavalue":{"value":{"amount":"+0.7163397073745728","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":"Q3086725$0C86B5B9-8DF6-4E87-9D01-B5CB48ADA9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a5064ce32c09e179b297f660b8c28cc628ebb1e","datavalue":{"value":{"entity-type":"item","numeric-id":5476782,"id":"Q5476782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61bdeb9174062360c6fef878b28df5e1c2beb4bb","datavalue":{"value":{"amount":"+0.7153487205505371","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":"Q3086725$9A02A985-FFD7-42DF-8C66-1D86A279305E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df684ab8201b649acc8d339dca420dbf8bf70615","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a9398a43c740d1a959d4e271def9e4e8554a0e","datavalue":{"value":{"amount":"+0.7052742838859558","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":"Q3086725$D1E19BC5-37C5-4AC8-A399-C94C91A2539F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086725","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086725"}}}}}