{"entities":{"Q1601833":{"pageid":1612573,"ns":120,"title":"Item:Q1601833","lastrevid":67960251,"modified":"2026-04-12T20:29:40Z","type":"item","id":"Q1601833","labels":{"en":{"language":"en","value":"Some interesting research directions in satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1761159"}},"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":"Q1601833$385E541E-82DA-41C5-8B51-A48242FC0104","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"edef74141c4c6de7a4ca2c721394e147e4d2b09d","datavalue":{"value":{"text":"Some interesting research directions in satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1601833$76CDA276-6544-4EF3-A11A-EC8E0ECD805E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad1c4e2873fa60c892e00e8886fb4d020236e986","datavalue":{"value":"1001.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601833$48A7F84B-54F0-4118-9678-2AE2AC03ACB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab8c6e2b385b08f8d90f335249198673e9e7bf76","datavalue":{"value":"10.1023/A:1018983601518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601833$39B6FC6B-5E60-4A31-86FC-0E2A8744B4C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601833$94B4D07A-A04F-4F2B-B590-4C9F6CE4BAFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6aa0b5839eb2d6e7fb371f8a4ca03238e6998f63","datavalue":{"value":{"time":"+2002-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1601833$C9187A3D-FCC2-4D20-AE0B-CD6A65B6D22B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601833$4AA4D589-6474-43FA-AE03-5F9FC2C961AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdf2569eff2e69c28a46580d699a5d4b1dd31d51","datavalue":{"value":"1761159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601833$B9CAFFA5-366D-4CEF-8CAC-D274697802C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb85fd2c1ce489cbecf5dc649288fae9b7018a3f","datavalue":{"value":{"entity-type":"item","numeric-id":673601,"id":"Q673601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601833$3D9C37F5-1E80-4CD3-B548-4CDF00217B36","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"314cb7db240b78b9fdebd1fd8b43c1b0f383061e","datavalue":{"value":{"entity-type":"item","numeric-id":24795,"id":"Q24795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601833$9FB6AD94-65F1-467A-A9D4-FBF1D0AC035E","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":"Q1601833$66126111-C6CD-4B99-BB70-535165138B4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aae2d251e247fe2d9aabe06a954f18fc4f507d4e","datavalue":{"value":"https://doi.org/10.1023/a:1018983601518","type":"string"},"datatype":"url"},"type":"statement","id":"Q1601833$737AF262-20CA-4530-BB21-4347EF4A40B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bde77e318b8169d8989d1abb62bcb6836e27e6f5","datavalue":{"value":"W1522182004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601833$8F3C18C4-70A6-47EA-BA26-294B180F6760","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc82022e7d8b08e56662ce23a79228afb6a4f1f0","datavalue":{"value":{"entity-type":"item","numeric-id":4859227,"id":"Q4859227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d3a489665a528d92fae4b633caba6f0c7ad5bb2","datavalue":{"value":{"amount":"+0.793002724647522","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":"Q1601833$EEC39898-3307-48D7-8E19-68DB8C9B8E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3183fd4d00b8287185181665f8626e4cc43580eb","datavalue":{"value":{"entity-type":"item","numeric-id":3634956,"id":"Q3634956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db57ac1e7f4f821fc840b4c6643df6c950ae3dbc","datavalue":{"value":{"amount":"+0.7924607992172241","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":"Q1601833$32EC7562-1663-4E38-8596-7134C87F94BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d988a44a99f79909548ed1bfb76da9cfaca66d91","datavalue":{"value":{"entity-type":"item","numeric-id":4251078,"id":"Q4251078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d753ce88d71612c8d79d0bf1d99028cd4601c3bf","datavalue":{"value":{"amount":"+0.7904546856880188","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":"Q1601833$709EE431-2BB7-46AB-AA93-EE029C2BBA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d90e5849f23e8cf3e4ad54285d0b6b238595b783","datavalue":{"value":{"entity-type":"item","numeric-id":3777498,"id":"Q3777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48939c881c74d87a44ff10b436a34927ec6e1ab","datavalue":{"value":{"amount":"+0.7854256629943848","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":"Q1601833$7DF1EEB7-E504-4FCE-830F-821B91B691B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bcbeeb5ebf247252bd252f2b9b4f1bdf64d126d","datavalue":{"value":{"entity-type":"item","numeric-id":4809068,"id":"Q4809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc19baf6638823091982e10f9f21a0d7943acc1","datavalue":{"value":{"amount":"+0.7830061316490173","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":"Q1601833$689CEBA7-1A76-447C-BA44-27F8A2577E22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some interesting research directions in satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_interesting_research_directions_in_satisfiability"}}}}}