{"entities":{"Q3188272":{"pageid":3198980,"ns":120,"title":"Item:Q3188272","lastrevid":55927411,"modified":"2026-02-21T05:43:08Z","type":"item","id":"Q3188272","labels":{"en":{"language":"en","value":"Circuit satisfiability and constraint satisfaction around Skolem arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6617659"}},"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":"Q3188272$662FB306-8FD2-4C47-9337-819BD8776496","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"494e5aa5f25245875c52603e42a569ea5ef6e289","datavalue":{"value":{"text":"Circuit Satisfiability and Constraint Satisfaction Around Skolem Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3188272$ADD351AB-EE2E-4E77-9241-ADAE251730C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2903686070d118e711f4dd6b5ce5f31b95daff2","datavalue":{"value":"1475.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188272$E020338F-B703-4696-9F93-D6E3D80828DA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d4d9daefa4f9c062a39b60582b32115cd6a82b2b","datavalue":{"value":"10.1007/978-3-319-40189-8_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188272$57565B1E-8C50-4494-A733-619F796FDC17","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":"Q3188272$38DBBC28-8D49-4824-9F9C-D6214591C224","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":"Q3188272$C87149B1-86D9-434F-8AA3-A0B9473C9021","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":"Q3188272$8AC4FA6F-E993-47D3-A6C3-78C678E47088","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1ddae105a08b123877b1ef5d234f0e37711ddc8","datavalue":{"value":{"entity-type":"item","numeric-id":3188234,"id":"Q3188234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3188272$39469A3B-D0A8-4262-9DBC-51C62F1CDB17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3196c5237bc6566da6820e6255a2cd27163ff7fd","datavalue":{"value":{"time":"+2016-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3188272$1946923A-6D21-4806-ADC2-7EF0FB0D97F0","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":"Q3188272$85295E95-2C16-43A8-8066-0852591C705E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188272$777ED037-20E4-488B-9E70-A1586CFE1C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188272$7C454DBE-4CCC-4205-8387-BC7896853168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188272$D9F6499D-FA32-4BC4-B7D3-BC4742B63600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188272$852A8EBD-110C-40D7-AD42-FD37471291BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5aa5efe83fac5a9ef6d0a5c156a247479e33d6e7","datavalue":{"value":"6617659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188272$92304236-8045-4CAE-B263-134169111A03","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":"Q3188272$997D510A-725D-4FC8-ADD8-07169A437E9D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0af7c0b4e3ed68728b5af08d6a0be9b1b68596ab","datavalue":{"value":"W2486394533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3188272$82BED2FB-0B0D-4205-B672-3949A0DC444F","rank":"normal"}],"P223":[{"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":"Q3188272$6470E6E1-958D-438B-A4D0-761E15852AD3","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":"Q3188272$AEEE556A-9C73-47E8-90F1-125B0344D4EF","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":"Q3188272$41659DF6-D230-462F-B724-036FA447DE60","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":"Q3188272$CD786FD9-380B-4E83-948B-5DB6DE87F8DA","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":"Q3188272$3DF26E5A-0B54-442A-9FFB-3F44088FA119","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":"Q3188272$7C70FEF8-D917-4EB8-8164-0298A9A1C1BA","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":"Q3188272$D63863C5-7516-4442-9443-B04C2AC3175D","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":"Q3188272$E695E34F-7C24-47BE-9B57-B17BD751C46C","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":"Q3188272$7286A646-AD7C-4E4A-83F0-0A6F6F025415","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":"Q3188272$A25CD220-D7F2-4ED5-B0EA-3CFB01D15536","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":"Q3188272$33E5A6BB-E80A-4E6E-9BC7-D6CC277A1BB9","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":"Q3188272$44C93A72-93DB-45ED-AB03-ADA6F3855783","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":"Q3188272$D1C7BC0C-311D-4A34-8A51-A32B14B1EB47","rank":"normal"},{"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":"Q3188272$BB455911-E6EF-438C-BF96-B96ABDE5B6C0","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":"Q3188272$8D7B521B-3976-4617-95AA-896DB9BD6D41","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":"Q3188272$C5F9F255-821C-465A-B420-0FD4E8092C03","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":"Q3188272$A65F3ED8-D67D-40D1-AAEC-68BF6E56ACE1","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":"Q3188272$B9C135ED-38D9-480E-8A11-851A97D4D87F","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":"Q3188272$A7AB3315-584E-4800-A09B-869659FFEA73","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":"Q3188272$07C8FC5D-CBC3-4030-9957-5D598BF9A1DF","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":"Q3188272$4AB46C1F-9688-4676-B84B-193D9F2B53E9","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":"Q3188272$5C33A123-57CA-4870-BD51-AE5B86C377CC","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":"Q3188272$31787808-0BE5-4B57-B3A9-9C1FA0C49CD5","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":"Q3188272$0D9F3520-04D9-426B-A4E7-A61609FC2074","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":"Q3188272$F55716C7-6CC9-41FA-88D0-A7AF14D9D412","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":"Q3188272$0E92A6C4-DA95-4860-9FF1-326E81C0B800","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07fb5779472333e1642200b91fec2b2ccd841305","datavalue":{"value":{"entity-type":"item","numeric-id":1676359,"id":"Q1676359"},"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":"Q3188272$C9FE23F0-8247-41A9-96AB-829B97A18D9E","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":"b1693f1b3dbddc884b189c645602fe6f15a696cc","datavalue":{"value":{"amount":"+0.7793929576873779","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":"Q3188272$194E0659-9FAF-4B42-965D-A4242A68EDD8","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":"13385df04b1b6e1607b55ee7bfd55def1ba09888","datavalue":{"value":{"amount":"+0.7739561200141907","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":"Q3188272$1DE1319C-739D-4903-B210-3C3770C3737B","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":"6607e79e8aaf01b7dbe62599f475b077b9fbb101","datavalue":{"value":{"amount":"+0.7366281747817993","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":"Q3188272$CEEE84AE-AD0D-4286-8EEA-5AC72E32639A","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":"e914aae3cfbdec1dfa870c5584e68c4f08c9cadd","datavalue":{"value":{"amount":"+0.7259296774864197","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":"Q3188272$9259F95B-1D35-443C-B7C9-41CB6B9584D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3188272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3188272"}}}}}