{"entities":{"Q1854418":{"pageid":1865160,"ns":120,"title":"Item:Q1854418","lastrevid":69361239,"modified":"2026-04-13T06:29:34Z","type":"item","id":"Q1854418","labels":{"en":{"language":"en","value":"Working with ARMs: Complexity results on atomic representations of Herbrand models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853165"}},"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":"Q1854418$54F2815B-31EC-414A-A82B-6B7DCE19BA1A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b99cf53f4dee0fc736db018a88dc17c9a08a135","datavalue":{"value":{"text":"Working with ARMs: Complexity results on atomic representations of Herbrand models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854418$245760C9-FDAA-4A92-8A1F-709393F502E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f268aab4a4053b99a45cb558ec0f94376f8ab01","datavalue":{"value":"1007.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854418$A21A09CE-5F23-4631-B956-528732E000CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ea9f01e952d7c8681ab3cdbdd2dab7be8167564","datavalue":{"value":{"entity-type":"item","numeric-id":202112,"id":"Q202112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$419E152D-A980-425E-89B7-4383DA559387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9ecf11585c0f8197c3896e9084b32b8690fac029","datavalue":{"value":{"entity-type":"item","numeric-id":167065,"id":"Q167065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$7D49EEFB-1C2E-4372-A4A3-BD955DAE9EB8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$F7DD4619-C9FC-4800-869F-E0A42F3C894F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854418$5D15C6F9-457E-476E-81EB-4AF1BDA2F902","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854418$7E7FEFE0-577C-41B1-B3B9-B48669DAA9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854418$2C0F8600-E52D-4024-8636-3C78B10F4777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854418$41FE9436-8610-4C5D-AFBC-39BDB2647F28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f50c632eb7de96433f154493710a5c888df6230e","datavalue":{"value":"1853165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854418$FE6D3CB3-BB00-460F-8AFD-3BDF36423E8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854418$E109B783-EAC8-4C3E-92D5-AAC255F22A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e4d0ac70145260d8913189e87469a13f7083110","datavalue":{"value":"atomic representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854418$2BF1AF86-39AB-41CE-B61E-D236D942600F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a8f07d0a3bfabea17b00996461606d492fcacc","datavalue":{"value":"Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854418$C2FCE1AA-4E49-42DA-864E-EE7D577EF9DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854418$39C0C20B-516F-465F-BB6F-CB948E22B1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f19dd4b1ec4408f58c837c4cf3db9960c55c0b00","datavalue":{"value":"coNP-complete problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854418$0FBE464D-11E1-44BB-9E3E-52AB5CD6F3ED","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5ddba44fbd49e3ec2f7034013690fa69df0b72e4","datavalue":{"value":"Q59259728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854418$9D05D41A-62BF-4A35-9D25-72C66EC59ACB","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":"Q1854418$B1911B02-3D39-4088-88BC-94DC84B3F19D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1060e2a67fef8ed2543244d0a3dca5dfb36c408b","datavalue":{"value":"https://doi.org/10.1006/inco.2000.2915","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854418$F1D3248D-2777-420B-803F-1C374BEAD51A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08b0fad3d3179b0b28e73c99018d9b35d4b0ec03","datavalue":{"value":"W1964789714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854418$16ABC947-19D3-4F5E-8972-CAC3AAA83E0C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$97E39F51-2CF8-4762-96FD-483283091574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$E364933B-3774-47D3-80C7-FB90E2C398CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7251eb542cf9f4bc5047c5105a2dcf8298435daf","datavalue":{"value":{"entity-type":"item","numeric-id":4287493,"id":"Q4287493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$FE789897-327F-4726-8911-48E88C41656C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f241207bb39341afad681685e7fc2b817c7ff774","datavalue":{"value":{"entity-type":"item","numeric-id":1124372,"id":"Q1124372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$A1EA2D4A-1AAB-4B30-9A52-0F55A9941465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1737e3b82e8627dc5ad82b7bff5fa29662ec6e2f","datavalue":{"value":{"entity-type":"item","numeric-id":4880540,"id":"Q4880540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$C2BCCE84-1EF9-442E-ACA4-121B8AE81576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$9554F552-6C43-4226-893A-C69BE87637C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8c2ab04bb4ea71a8c67bc8e602ca9f25f47c978","datavalue":{"value":{"entity-type":"item","numeric-id":671655,"id":"Q671655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$FDA1298D-AB2E-4DDA-9D47-47F255133646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93b6dd845b09766d86352775db28650377d2267f","datavalue":{"value":{"entity-type":"item","numeric-id":2641108,"id":"Q2641108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$95ADF3E2-701F-46DF-AA7E-EBBE3E01F612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02db5ceb3485184e6ceb45a3a98d419a7bd49313","datavalue":{"value":{"entity-type":"item","numeric-id":4035222,"id":"Q4035222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$F1967FDC-ACDD-4B91-B292-5E2601BC16B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7badfee30610a43b034debae14b09b94e4d33bb5","datavalue":{"value":{"entity-type":"item","numeric-id":1100924,"id":"Q1100924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$DF6FBC69-B7C1-4880-9461-6A0590397135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8755fff25bcbf365d5dd2dfde2f78f833a2371b","datavalue":{"value":{"entity-type":"item","numeric-id":4331764,"id":"Q4331764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$5A15360A-68CB-41F2-AC97-77FF01313262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf680f30074d969a61a9cf72b51ba2f94da19b67","datavalue":{"value":{"entity-type":"item","numeric-id":5730894,"id":"Q5730894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$CE13C951-3E5B-41F6-8FE9-3F85B45853E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9887b9b79e33b21dbc3558d55c26558304b5187","datavalue":{"value":{"entity-type":"item","numeric-id":1243575,"id":"Q1243575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$E0BA0063-CF89-4EC1-8246-01409DD9F742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7a5ae8c7fd59802801913b9d1f960e2365c25e1","datavalue":{"value":{"entity-type":"item","numeric-id":4246970,"id":"Q4246970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$414CA854-094F-4DDC-A227-4B26C0AFA0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178f7134cb3971ee3c0c1a2e1a0aae97d98f3194","datavalue":{"value":{"entity-type":"item","numeric-id":4263808,"id":"Q4263808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$931507F7-97F1-4157-AC1E-F2EF1C4EEBB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$930BB2FA-CD1E-4B0F-9A17-D74A51FC1D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd379cd3bdf04144236b4ba7f69e8c77bec3c700","datavalue":{"value":{"entity-type":"item","numeric-id":4560350,"id":"Q4560350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$ED7FCDB1-8C39-4176-BB44-02D7B5374DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa22eac2d5e325e73fcaec20346664e869be59ec","datavalue":{"value":{"entity-type":"item","numeric-id":4647523,"id":"Q4647523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854418$513DF0F7-93E6-4C58-9634-8D323075BD5C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"444aaf19c9a3dc796dcc4c654023373975ceff92","datavalue":{"value":"journals/iandc/GottlobP01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854418$0585E682-B017-4091-B616-AC52226542D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86c2a9be93cf41c181fbdbd47a8a72914a4d03d6","datavalue":{"value":"10.1006/INCO.2000.2915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854418$E6D3E359-4B83-4917-9B19-9EE7A4CB71C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2b4687bbeff4c18fc58dca6dba4f18fe4e6698","datavalue":{"value":{"entity-type":"item","numeric-id":4246970,"id":"Q4246970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55090082dfb6a5d5853b2f3cb39efe499af1c0fa","datavalue":{"value":{"amount":"+0.8973392","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":"Q1854418$2217F5DB-D140-4897-890C-3F411BB6B9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c17670813c544ad9805edbc3e0c113aa855f6e11","datavalue":{"value":{"entity-type":"item","numeric-id":5927983,"id":"Q5927983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc10920efc61ab692d2961fe1ec646ad0c21da85","datavalue":{"value":{"amount":"+0.8632191","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":"Q1854418$E9D03353-0584-485D-BD97-F62CD2E608BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbda1da043eb97c29715478873bb4cbdfc2b9e1","datavalue":{"value":{"entity-type":"item","numeric-id":5465461,"id":"Q5465461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cf0bf04aa9b03344c2b288c49061b6f3f3d1bad","datavalue":{"value":{"amount":"+0.84460324","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":"Q1854418$BA48B5AE-532F-4134-87F2-9DDC2EA57544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4a6403e32a0fb608b2d78d4fbbcf70b14daa38","datavalue":{"value":{"entity-type":"item","numeric-id":4809059,"id":"Q4809059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b9558c4a48fff56d0dc1886f6b328145233802","datavalue":{"value":{"amount":"+0.8357642","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":"Q1854418$9C40A271-BFF0-4F7A-8882-6F36ACA4126D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"842826338c231b0c3839ea431c783460fa31f321","datavalue":{"value":{"entity-type":"item","numeric-id":4635643,"id":"Q4635643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3077ffce5b647b5f6e06e3df0045cb32bab9d274","datavalue":{"value":{"amount":"+0.82803583","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":"Q1854418$04C03E20-EE3D-4C14-8280-44D647C66ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"348b67d157cf758837ee7d097ecb09149c184269","datavalue":{"value":{"entity-type":"item","numeric-id":4703850,"id":"Q4703850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9551aaa78d2054780bfcf87b383b83f07078724","datavalue":{"value":{"amount":"+0.82552445","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":"Q1854418$D815ABCB-8D38-4FC4-A073-13AA9B7F6890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a4b59db6c2c3a043dec0dc9e3e372a58ca1ccc7","datavalue":{"value":{"entity-type":"item","numeric-id":3163661,"id":"Q3163661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"949428ed799f9ef8d504bca3b3ca8b19b4d51962","datavalue":{"value":{"amount":"+0.82205224","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":"Q1854418$D1D18521-B8EA-41FC-8525-AD3E830262E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"924fd0b38bb922410c34bc5f34cfccc65300a1ca","datavalue":{"value":{"entity-type":"item","numeric-id":685721,"id":"Q685721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35eb7fd75d6848ab66ce400169da47155c1a2486","datavalue":{"value":{"amount":"+0.81640744","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":"Q1854418$6A6C8C96-C30C-49D8-B821-CADB5ABB87BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b84656fee60eb941a08535d63b7f13e2e519e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5711890,"id":"Q5711890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"577d0d36f5a02f5fa459ac59d97216545dc20405","datavalue":{"value":{"amount":"+0.8156209","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":"Q1854418$2E3B796A-7E3C-46F7-A868-B8E8F73DC73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b976cbab31749f30db694a8cd9c35aae22d4234c","datavalue":{"value":{"entity-type":"item","numeric-id":3546055,"id":"Q3546055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b4380dbe57a9af68f9cf611b0a79976ae21e005","datavalue":{"value":{"amount":"+0.8154618","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":"Q1854418$5CE91DEA-50B6-465B-87EB-E94F65B8A480","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Working with ARMs: Complexity results on atomic representations of Herbrand models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Working_with_ARMs:_Complexity_results_on_atomic_representations_of_Herbrand_models"}}}}}