{"entities":{"Q2152655":{"pageid":2163398,"ns":120,"title":"Item:Q2152655","lastrevid":71417886,"modified":"2026-04-13T22:08:03Z","type":"item","id":"Q2152655","labels":{"en":{"language":"en","value":"Satisfiability and synthesis modulo oracles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7554869"}},"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":"Q2152655$D96D908F-3D6A-4CD4-BFB5-503711DC92E6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7d427d823ec12a7783c7fb01ad779d4ce8637b8","datavalue":{"value":{"text":"Satisfiability and synthesis modulo oracles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2152655$2462D288-8DC2-43FF-8451-32AFD753A204","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13c3795365040049f132c21541f436dbf9e17f94","datavalue":{"value":"1498.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152655$05901E65-0496-41BF-AF95-A94F4564F907","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9471519c4984e3c756fb0f9b730e7c6893d64125","datavalue":{"value":"10.1007/978-3-030-94583-1_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152655$57A63234-BC4D-463F-9647-6A9A50EC9BEC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c13de3494ce2f2698a5acf6c7dbff7bb0aaeeb31","datavalue":{"value":{"entity-type":"item","numeric-id":1693114,"id":"Q1693114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$D79BAED2-DFF5-4E1E-BFD9-84EB9FA4CD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84952d23570c02a49b2cbd6b6731071617699380","datavalue":{"value":{"entity-type":"item","numeric-id":518398,"id":"Q518398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$49E971E4-DA2F-45E3-BB24-91E71B59C0D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f249f40c4f258debe6dc3dacc160f2e23026fd","datavalue":{"value":{"entity-type":"item","numeric-id":557794,"id":"Q557794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$EDCFC8CD-A515-4E9E-A16C-47D589C1012F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"53f271a816850f44e4911f5762419f83fae54908","datavalue":{"value":{"time":"+2022-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2152655$B29E4826-1D7B-421F-A463-258104182615","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cebde812b6c14bf5f36bb6a624391f6cc65ebd6","datavalue":{"value":"https://arxiv.org/abs/2107.13477","type":"string"},"datatype":"url"},"type":"statement","id":"Q2152655$D54C458C-E5BE-4CCA-8B9E-DA2BC5B65A71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152655$2AAC8449-5B2B-403D-9054-22E6E61FF929","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cfa9c109b2e00d6ab7c2e04406c8bd08403ac69","datavalue":{"value":"7554869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152655$26A4B1DE-234C-4AEB-A816-704D4725AF2D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$D39F7FDF-5BD9-4A6D-ACD0-28583949500D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$9615BABB-1020-4928-84A8-56624B97417D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd1f11f1c714006456b4bd54bab92a11b4a8c134","datavalue":{"value":{"entity-type":"item","numeric-id":40388,"id":"Q40388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$9DBE9AC8-DBCF-4A51-BC4E-D9A861625F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc5f42e2b526cb1511abda5fc8cb6143be4dd0ef","datavalue":{"value":{"entity-type":"item","numeric-id":1354586,"id":"Q1354586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$2D838D82-D41D-429D-8A60-4536FFF70A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"af545b076df1a8c842a4d1e43d967fb8eb4394e9","datavalue":{"value":{"entity-type":"item","numeric-id":5972687,"id":"Q5972687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$68332F39-B9DA-4CB5-A22E-4431B9E672B5","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":"Q2152655$C63285E2-C342-4FEF-812B-549FC12C3576","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d4fcc5015d786203a00f52954fb6e976689a5dd","datavalue":{"value":"W4206458917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2152655$C3A00A0F-1466-4E01-87F1-70A88FB22244","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40e2b80d941e1232270aca88d0f70a3f9523c36e","datavalue":{"value":{"entity-type":"item","numeric-id":2303883,"id":"Q2303883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$718DA396-8A73-4D36-A685-F37434CED328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787c7f3cb61acca16f17ad60318f0f784520c26a","datavalue":{"value":{"entity-type":"item","numeric-id":6045008,"id":"Q6045008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$E96478CC-5C26-4791-A42F-0F91B92D93C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b08bc38884077be60969868f7bf15be790ad4e","datavalue":{"value":{"entity-type":"item","numeric-id":3303902,"id":"Q3303902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$2415A1AA-6E4A-4B4C-9F97-B9F877A54075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55114ff063225064064e30c2c7ef5bef45a55b0","datavalue":{"value":{"entity-type":"item","numeric-id":1098326,"id":"Q1098326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$11FD4399-E5F9-430E-9915-43BD65B62802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$94059229-0A1B-4258-A707-06106FA15604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$632E779A-C26D-4C2D-9407-B2DF863BDF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$EFA07192-7F0C-4B00-B6FC-EF3403E4C92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1287ce212309ee4ddd9b507d9a84e962109b2c30","datavalue":{"value":{"entity-type":"item","numeric-id":1674868,"id":"Q1674868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$A292F584-DC5C-4751-8F6F-DD8D963BE21D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"873f623d528a4c8220f7a9fcd99120f2463a9229","datavalue":{"value":{"entity-type":"item","numeric-id":2817915,"id":"Q2817915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2152655$9EFBB4BF-600B-4E2A-9AE4-B783D33248A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d3c9e48f94c94d2d69862e627d4883b274b86b","datavalue":{"value":{"entity-type":"item","numeric-id":2280222,"id":"Q2280222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"886def5f419578d84005d39de47923a44faf3678","datavalue":{"value":{"amount":"+0.7734176516532898","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":"Q2152655$8E43685E-ECE5-4731-B993-4AD91F1DC64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fb1657427495232c5ae2608a0e6d15ca998a89","datavalue":{"value":{"entity-type":"item","numeric-id":1702893,"id":"Q1702893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e12e8b64437e77c4bdc785826390a46fc6de7dfd","datavalue":{"value":{"amount":"+0.7697491645812988","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":"Q2152655$D3223C77-CE2A-4EAE-B7F1-4AE09E041288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a01942a02711b00fe4d9ca41ae8b4ea9eaaf7d6","datavalue":{"value":{"entity-type":"item","numeric-id":6045008,"id":"Q6045008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948bf26a04f0ae2c4473cfa27735289e87117a56","datavalue":{"value":{"amount":"+0.7520503401756287","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":"Q2152655$2BC93A1D-50B3-4398-B1C8-43A1580E6EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37bcff4d0535dcf2f7085e5acb2f991ccf4ec85b","datavalue":{"value":{"entity-type":"item","numeric-id":2938080,"id":"Q2938080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f90a29355c0a0477fce8d6783a5db2e2c9ddd70","datavalue":{"value":{"amount":"+0.7368468046188354","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":"Q2152655$867FB71F-D90F-43A2-A254-7DE429A9E7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bd5ab765d1851261b0bfadc8d534c87a3dcc72","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"812de718403530d261fdb0e1c465f491457c6be0","datavalue":{"value":{"amount":"+0.7222388386726379","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":"Q2152655$861383D7-3D9B-41CA-914B-0D1CD1B3F7B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability and synthesis modulo oracles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_and_synthesis_modulo_oracles"}}}}}