{"entities":{"Q2234101":{"pageid":2244844,"ns":120,"title":"Item:Q2234101","lastrevid":54114722,"modified":"2026-01-26T06:52:18Z","type":"item","id":"Q2234101","labels":{"en":{"language":"en","value":"Deciding the Bernays-Schoenfinkel fragment over bounded difference constraints by simple clause learning over theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410653"}},"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":"Q2234101$675BC501-7F24-4BCF-8D16-55904A23EDC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e9bc5ce22ad56e54e5ed9af2c9073c1c44672af","datavalue":{"value":{"text":"Deciding the Bernays-Schoenfinkel fragment over bounded difference constraints by simple clause learning over theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2234101$AD768597-F0B9-4A5D-A4D2-BB9B3BF9B7D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"058bf8860ea08c41c9116be787fa709806b501f3","datavalue":{"value":"1472.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234101$976D1DEE-43DC-45C2-B973-BCCCA7E887DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22e0d7d6c3ca6349235d7a29170c48fe97aa3047","datavalue":{"value":"10.1007/978-3-030-67067-2_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234101$92E05B01-7ED4-459B-BBA2-71EA5CDCEDA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa7d05503577a5b9fd70ce583a8b9f4a6bc04b14","datavalue":{"value":{"entity-type":"item","numeric-id":831910,"id":"Q831910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$F3CBE5B7-EDE4-46DE-B536-81F306A5236F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be33db3d30972d32a2968a1addb58d9dbbc070e6","datavalue":{"value":{"entity-type":"item","numeric-id":2234100,"id":"Q2234100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$1C4A8D30-0EE2-49F4-9525-3AC527ADBDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$DC9A0891-31AA-471B-A634-563C5A5A6831","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2234101$D87F2DC8-BF58-41FC-98A2-3354AFAC1228","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234101$69812A35-6970-44CA-B7EC-A79DB6513631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234101$B96CD535-DD39-4311-8462-E6EF81FBFF69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234101$B8574CBB-21C3-49B3-A069-D5B58F8A7F6A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4973ecff9548249ee46c77b8bb02b9bdd37247fe","datavalue":{"value":"7410653","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234101$0027F5C0-A761-4909-83BA-61D5A627CC9A","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":"Q2234101$98449A21-1858-457C-BAB6-9D10423DBE6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e05a3e22678b146a369619e75955904239cc52f0","datavalue":{"value":"https://doi.org/10.1007/978-3-030-67067-2_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2234101$D46D94DF-25BA-464F-8ABF-2C1D70136CC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef990665c3455975c4c053f7b5a3bec588653e9f","datavalue":{"value":"W3118699430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2234101$3F606F27-2237-4E98-AD4D-51A02D3BEE38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4db61376dc05e8ac9b799b75f45910b0e723393","datavalue":{"value":{"entity-type":"item","numeric-id":1328182,"id":"Q1328182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$2D708149-F6D2-4EFB-B5DF-03C5EF1E8F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98b850b043885273916728e7ea46c854030ea9cd","datavalue":{"value":{"entity-type":"item","numeric-id":5387921,"id":"Q5387921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$3B815613-BF0B-44A0-88AF-90FCB2F7820F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c8a150262d931e1d6f90a6e6be5a252d5844b6","datavalue":{"value":{"entity-type":"item","numeric-id":5505559,"id":"Q5505559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$86CFDD67-013F-4A3D-AB56-C033694A8C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b865cd62cbd78d165825353014794ad3e405d59","datavalue":{"value":{"entity-type":"item","numeric-id":2185457,"id":"Q2185457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$FE92BCD6-59E7-42DF-8F92-5E3DAFAC586F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2518ba6a38fa213a00f5ef7c14d9debc5928424c","datavalue":{"value":{"entity-type":"item","numeric-id":2947164,"id":"Q2947164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$64E88027-A598-416E-87FD-A737C5AA2924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d72b96c91ebf8c923998f114a10233088e5f587","datavalue":{"value":{"entity-type":"item","numeric-id":2234101,"id":"Q2234101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$D46D3102-5607-4EA2-968D-B41BB20A5594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8f27245772c2159d3ccf93c502a4163695153f","datavalue":{"value":{"entity-type":"item","numeric-id":3541724,"id":"Q3541724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$CF3AC39E-CABC-4489-8C40-25741D2D72F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ddeddf292e13fd796c5c20e153357856b636f89","datavalue":{"value":{"entity-type":"item","numeric-id":2926635,"id":"Q2926635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$460F9B3D-AF8B-4B59-98D7-ED0211F854F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d1db31f69f14e867729757963150857470e58a6","datavalue":{"value":{"entity-type":"item","numeric-id":2305416,"id":"Q2305416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$303321B1-8E5E-4BC8-9DDE-BCA58108F4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$45254A27-E56F-4738-A713-81754E8E166D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb38da3f8f94aaffef3ab9c16ccbf6c2260d0fb0","datavalue":{"value":{"entity-type":"item","numeric-id":1949088,"id":"Q1949088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$B79DDD83-E1D2-48CA-BC0B-1D78DACFA3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$8473E21F-D64E-48F1-B6D4-A6634C117BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$1B8600FE-2A2F-4B19-A2A7-189DB20E912A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db92c098eea2af528cde48d311eabefa8762e02c","datavalue":{"value":{"entity-type":"item","numeric-id":3007685,"id":"Q3007685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$FDEC60F6-5BF2-4367-8665-1ABCC49B4B42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516924fffc5ccd06ddf357b776bed9baac4d2e69","datavalue":{"value":{"entity-type":"item","numeric-id":2324227,"id":"Q2324227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$F9BDBC1B-0812-43BE-AEDE-A613A3B96574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fe68dc912a4be45802e1a509289a669130abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$33E50AB6-E66F-4F9A-87C2-F57B83C0D75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe1e0f508cf3bdc2161e5f42a5aa4acde43436c5","datavalue":{"value":{"entity-type":"item","numeric-id":1687561,"id":"Q1687561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2234101$F9614720-CE7D-4792-A67F-7412829C62F6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddcfad7678be8696bc405a7e51cd7041a6444311","datavalue":{"value":{"entity-type":"item","numeric-id":2964454,"id":"Q2964454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afdc34b259e3f2d6add3b1dde35105c4fa4c1435","datavalue":{"value":{"amount":"+0.8251860737800598","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":"Q2234101$0CCC516B-C6C1-4AD4-956D-B115FDCA8869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93e57fdfa6307f6b034cdf29fef3693177bd1534","datavalue":{"value":{"entity-type":"item","numeric-id":1687561,"id":"Q1687561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa8a8a113f6862856f54d19641493d85d4f68ad","datavalue":{"value":{"amount":"+0.7541297078132629","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":"Q2234101$521615B0-8C41-4B7D-89FB-0AE5E0FC0FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7931aa42e9dcd3aede5377405279de0d33d1dcac","datavalue":{"value":{"entity-type":"item","numeric-id":4503912,"id":"Q4503912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d824b09839edffe1a180339ee548e0864b73461","datavalue":{"value":{"amount":"+0.7014285922050476","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":"Q2234101$69E94F16-8E87-4F68-8070-1C4167D51116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37a4095cb9e73337bfea43322eb35466505beb61","datavalue":{"value":{"entity-type":"item","numeric-id":5309033,"id":"Q5309033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286229a218e41f1748a4b018c1e5246ee4a4aca9","datavalue":{"value":{"amount":"+0.7014281749725342","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":"Q2234101$4AE13323-3319-480E-B7B8-06C3B216073C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d6104f3fb3c2887e74d5649d327f5e25ee2a0a9","datavalue":{"value":{"entity-type":"item","numeric-id":2987061,"id":"Q2987061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5433544b33a3896b336607dd05c065e55e8f78c5","datavalue":{"value":{"amount":"+0.7009105086326599","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":"Q2234101$AF4510A5-DB36-4F91-A484-E86183609267","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2234101","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2234101"}}}}}