{"entities":{"Q1676359":{"pageid":1687100,"ns":120,"title":"Item:Q1676359","lastrevid":71881134,"modified":"2026-04-14T01:09:22Z","type":"item","id":"Q1676359","labels":{"en":{"language":"en","value":"Circuit satisfiability and constraint satisfaction around Skolem arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6803370"}},"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":"Q1676359$654D96AF-72FC-49FD-B506-C0F0CD546520","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b319d1e6fdc655866615f9b8accfc4e6a8160076","datavalue":{"value":{"text":"Circuit satisfiability and constraint satisfaction around Skolem arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1676359$686EDEF0-9A16-448E-9E32-A2ABF7821FAE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b56fca8077015811c67b15cf567faeb1d6b695f4","datavalue":{"value":"1380.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676359$4F782922-E4D0-49C1-A8D2-279ABD756BC1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ee513048e71adb22fd9a8a028448fe040165ffe","datavalue":{"value":{"entity-type":"item","numeric-id":306279,"id":"Q306279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$7EDC04C8-3EA7-4E11-9BAC-9E7F79E59934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd3e34874773bfa76c6e79803e08ccc412dc7bf","datavalue":{"value":{"entity-type":"item","numeric-id":269510,"id":"Q269510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$6559A5C4-AB64-4E79-88CC-0D31113F1290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a22dcbf04c0075727c4039eef5cf5f07e568fa3","datavalue":{"value":{"entity-type":"item","numeric-id":259044,"id":"Q259044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$AE0BFEDC-31B2-416C-BEAE-85FE3C71695A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$4F682E5A-0A14-41FE-A0C1-220279A560B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f04d1a508f552e1f1708571f1d0ec9ee237f17be","datavalue":{"value":{"time":"+2017-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1676359$700DBAD8-AC13-4525-BB0F-2DCE4532B9CF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"350c93fbb508c6d58465cbfb54551a50834d6e8d","datavalue":{"value":"http://dro.dur.ac.uk/22848/1/22848.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1676359$8EED5DF4-8192-42A6-BF7B-69544ABFD999","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676359$3336EF1D-87E8-4162-A797-AADC781CB9FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676359$2A035A9E-DBF8-481A-9CBA-1660FEE93123","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3dd3b9cdb6104238bc35b873e54256ac7defc57","datavalue":{"value":"6803370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676359$4EDF054D-AC94-4403-8F86-B575727FEF3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a27f211df803ab13c739570fd1ff444f04345d","datavalue":{"value":"circuit satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676359$2341C1CA-6251-4251-B26F-4F40A3DDF782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00fab533cd38d922e3a2c54a153ccdfb1b56ca89","datavalue":{"value":"constraint satisfaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676359$55CE637B-5315-46A8-9A9B-D2E07585CD8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eecaf608f8364efad07406e615bb4f5ba45d6c3","datavalue":{"value":"Skolem arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676359$5918E520-74A4-4EAD-AE3C-20DE18FF99F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1676359$6CE818DB-B0FD-46E9-B252-A7A0A91FE031","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":"Q1676359$CB0B6665-D072-463C-BC9E-1C84C0E4FF0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bc9c0566e19c73f7217c741767a0c2fee6a0b6e6","datavalue":{"value":"W2752581169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676359$63CC3B7D-E76C-447E-9B01-98EFF9462A7D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"54328ace41c099a418d6e4b95ebda8613ee78c7d","datavalue":{"value":{"entity-type":"item","numeric-id":987688,"id":"Q987688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$04C1F616-1792-4F3C-8287-6510534BA221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26a3cfb3d7b3a2926cb83b99ae0b425e1b5d6abd","datavalue":{"value":{"entity-type":"item","numeric-id":5812176,"id":"Q5812176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$25A09CA2-C2BB-4E45-AC69-FD8DB8C6287A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64b7a836e71e0ce2b635352f5a5ed06e35f4c8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4781602,"id":"Q4781602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$D3430483-7B83-4872-8E85-F1A937EF658C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90870b52f69b79e9f1be8991c81685fd47daf61f","datavalue":{"value":{"entity-type":"item","numeric-id":3546332,"id":"Q3546332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$F407AFFF-13F2-4E6F-8F21-3F6DA05E1926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$A83BD096-98DB-4862-878F-1EABBD2944FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e759b8ddc389f8b42bb244f19be1adfe6bb34c7","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$1696CE46-6E2A-4D58-B51C-C422CD8EFC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6df9df797c66e2105b650b58bb72a65315b081d","datavalue":{"value":{"entity-type":"item","numeric-id":3546290,"id":"Q3546290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$12EC4F10-F3BD-4A69-BE17-228278A0320B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fec165abc7ade014841f417bcba31a647c17e0c7","datavalue":{"value":{"entity-type":"item","numeric-id":1100215,"id":"Q1100215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$C83B470D-1EF9-4164-947E-B7716685C52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fcc1beb258313c6cc88cda9ae62d481e75d9884","datavalue":{"value":{"entity-type":"item","numeric-id":3642864,"id":"Q3642864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$C1475EFA-2E5D-4CFF-BD37-D5FCC7A83DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d9d5f067eb958341991b2ee01dc0caab581f808","datavalue":{"value":{"entity-type":"item","numeric-id":5317171,"id":"Q5317171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$719BDB22-1314-4E19-B5E7-4CCE2C4AA40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ca803d15ff0c07b633015a8b6e798245a6d0a86","datavalue":{"value":{"entity-type":"item","numeric-id":3519501,"id":"Q3519501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$6CE56910-829B-4225-A9D6-6540EBE1AA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b341170915b21d1e07bc777ecc1021ee4d6bc57b","datavalue":{"value":{"entity-type":"item","numeric-id":3578192,"id":"Q3578192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$D046F42D-F86A-40D6-9833-F5CC3F151A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1efe5377590e71cee9828c26a0ce7e157073916d","datavalue":{"value":{"entity-type":"item","numeric-id":3448790,"id":"Q3448790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$6DC564DF-5DA0-4783-99BF-8F2D7698E8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d99ce5f25708789fe72326b42192d37e56dfad67","datavalue":{"value":{"entity-type":"item","numeric-id":3166226,"id":"Q3166226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$17F43EE8-0F47-484A-9B04-56AA707082A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$7ECA3296-67A0-4A27-BBCA-570D64785859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59482766fd3ea4f454a682de35528203c13ab9b8","datavalue":{"value":{"entity-type":"item","numeric-id":3340148,"id":"Q3340148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$716CC226-1427-434A-8EC8-8F7BB22B6718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02ad91ef820e951e079ed90a88a3c2402ed9edaa","datavalue":{"value":{"entity-type":"item","numeric-id":5956016,"id":"Q5956016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$98DB0639-0CD9-4758-9946-0500C0B35732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0496a849553df36e8f08449d8be6f420c6e46a4c","datavalue":{"value":{"entity-type":"item","numeric-id":2474202,"id":"Q2474202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$8CDB108E-E4C7-4296-B2DB-6E0577D6E94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab9b3c34d39fcfbfa5ef48ffa5afc91a19dbb49a","datavalue":{"value":{"entity-type":"item","numeric-id":861262,"id":"Q861262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$D4417AAB-0991-4D83-A851-1D65AD81E17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8eb78a853a82f393351ea250a9472cbdb4ba1d2","datavalue":{"value":{"entity-type":"item","numeric-id":5444954,"id":"Q5444954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$C4DB18D3-6C44-424B-8D9A-E798DDDCB413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"192a707991e89896fc20401b7a6b0478c48cafaf","datavalue":{"value":{"entity-type":"item","numeric-id":2268343,"id":"Q2268343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$F760EB3F-FE21-4949-A259-C79FFB9027D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c114f1c43ce4ebedf3bc8553dee24b807fbc84ca","datavalue":{"value":{"entity-type":"item","numeric-id":3576073,"id":"Q3576073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$460E6538-B4A4-48AB-855A-43902163B7E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099fa74c4692eff3671fd0e3f835d6dc23aba75a","datavalue":{"value":{"entity-type":"item","numeric-id":633764,"id":"Q633764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$B9757D05-9B33-46E4-956F-A0BAC58D2581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"874285a7a8e83dfdb25f7259f71d62e16bd99047","datavalue":{"value":{"entity-type":"item","numeric-id":2252522,"id":"Q2252522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$8E5988B9-09C7-4E49-AC9F-8800452150B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e20ffa14ad46f2371f2d86a92dc38b8a648913","datavalue":{"value":{"entity-type":"item","numeric-id":5310678,"id":"Q5310678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$C7742645-4AC4-4B5C-B9D6-B6A5A17CBD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd6a151b0699c902d4b993d912aaa3fb60ee6a9c","datavalue":{"value":{"entity-type":"item","numeric-id":1884913,"id":"Q1884913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$F56F7628-0434-43FB-947A-D4DF0BDDA4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a62d39b10622749e338de38252fcaed5d04493","datavalue":{"value":{"entity-type":"item","numeric-id":1276253,"id":"Q1276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$ABF1F0FF-0402-4CB9-8034-094C4881D466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$C4A3D12E-08AC-4029-A617-EFD68826944F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$D98C5726-35B4-456B-8650-0E3BE80404E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$3E179D40-6106-43CD-B076-34A81621D073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$7054638F-2A88-4022-BA4B-836367819331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c059d1355bcb0df592c7e924663d48f24f3b387e","datavalue":{"value":{"entity-type":"item","numeric-id":5613949,"id":"Q5613949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$4258D042-2283-4F03-8E5F-FD5707BC5227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197321586b52697dc5005c2bf7b5e782bc94762d","datavalue":{"value":{"entity-type":"item","numeric-id":1131250,"id":"Q1131250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$64A6C0C6-BADF-463D-8A0F-A7F00C5A1A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007d28020364fa61db482d0ee2e50a45e3976a32","datavalue":{"value":{"entity-type":"item","numeric-id":4041633,"id":"Q4041633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$F4134FDC-960A-4F11-899C-37053581D4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4eae7493d8f6c982d7549031f59a2b3902483","datavalue":{"value":{"entity-type":"item","numeric-id":3922169,"id":"Q3922169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$DE8DA53A-58C3-4EED-B7C1-34094CEF0175","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbefacb8c8f33b0f1be9db7004061a91697d97bd","datavalue":{"value":{"entity-type":"item","numeric-id":3340842,"id":"Q3340842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$B654C310-075B-4790-B054-DEEFB86F5D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f33ba5f95f34ecfd85a5947a5b95a3e1ce86f71","datavalue":{"value":{"entity-type":"item","numeric-id":1115859,"id":"Q1115859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$F42000CD-BFB3-438F-BDA6-F3404839E844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$FA39EDD5-34AA-46D4-9C66-3CE25518D721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ca559f151ff8090da060c4b51eff0ccfc7e7c90","datavalue":{"value":{"entity-type":"item","numeric-id":360099,"id":"Q360099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$BA592184-9EE3-4822-A2D6-66A39EBF7C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9507be843b682c74b6e88d6f61472b28c2047f2b","datavalue":{"value":{"entity-type":"item","numeric-id":5171200,"id":"Q5171200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$C576BCFD-1216-49B3-839B-8DEA0A23B760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1269dada43c4dc8124498dfead7c5d94bd4ada","datavalue":{"value":{"entity-type":"item","numeric-id":4608591,"id":"Q4608591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1676359$CF3574FA-F06D-44F9-B6DA-B5300704314B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2704de955611069fa7ef5b6c8661ba951e2fce26","datavalue":{"value":"10.1016/J.TCS.2017.08.025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1676359$8F7A306E-DB76-412B-807D-F3C678DCF95A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db0ea55004083d802509f83ec77d565993d9b07","datavalue":{"value":{"entity-type":"item","numeric-id":3188272,"id":"Q3188272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7654dac8cdd9609549eb8b1d7099bdfb0496a067","datavalue":{"value":{"amount":"+0.9982128143310548","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":"Q1676359$6DF15C56-7C6B-4B51-B3CC-507843C75DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa99222198476e22aa473c447079949f14eb6bb6","datavalue":{"value":{"entity-type":"item","numeric-id":987688,"id":"Q987688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86c2a998e907b56de4dc9c728f4cb77dd10721ad","datavalue":{"value":{"amount":"+0.7778315544128418","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":"Q1676359$1897F117-5B2A-4037-ADE5-4BAAD871B8A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ae1397a649f381e6381d9c74c1c9544ebe236b","datavalue":{"value":{"entity-type":"item","numeric-id":5458839,"id":"Q5458839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d39345a90a2afa858a39099caff3bdd8d85af76","datavalue":{"value":{"amount":"+0.7734662890434265","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":"Q1676359$5E35DCD6-67FD-48E3-B452-0772E6079D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d816bdca3d243257ece1a7902f4c51a51e3fbc99","datavalue":{"value":{"entity-type":"item","numeric-id":3012844,"id":"Q3012844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09d36a8f9a551db4c9916a7bfa14189521726c8","datavalue":{"value":{"amount":"+0.7374680638313293","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":"Q1676359$DD6C2FE6-3E60-4101-A44A-D2067B37BAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62e1d92daabea40b8021705d0c65e4564b151e0","datavalue":{"value":{"entity-type":"item","numeric-id":4608591,"id":"Q4608591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"653d1fbdf09fa5604c352b2afe7db2115c1b7b2d","datavalue":{"value":{"amount":"+0.727197527885437","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":"Q1676359$64FDF510-2880-4FDC-BBA8-16D4CA80B361","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Circuit satisfiability and constraint satisfaction around Skolem arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Circuit_satisfiability_and_constraint_satisfaction_around_Skolem_arithmetic"}}}}}