{"entities":{"Q1656601":{"pageid":1667342,"ns":120,"title":"Item:Q1656601","lastrevid":71124030,"modified":"2026-04-13T19:38:35Z","type":"item","id":"Q1656601","labels":{"en":{"language":"en","value":"PySAT: a Python toolkit for prototyping with SAT oracles"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6916321"}},"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":"Q1656601$67F37B0E-E8B5-40B4-80FB-4B433C94F8C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee50162dee39265e13ce4fdecb56ac06fc3fe600","datavalue":{"value":{"text":"PySAT: a Python toolkit for prototyping with SAT oracles","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1656601$03DFA505-801D-497D-8E38-FE9C47A721D6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe06c85fbef9bfb1896fd3c983863dd2cac69b65","datavalue":{"value":"1484.68215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656601$BEEEF176-777D-4F92-831C-28FA03BA54B7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f179a1ccd72cfd642d9e1776c67e5a7b7c3c082","datavalue":{"value":"10.1007/978-3-319-94144-8_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656601$BF7833AC-DA1D-4482-BBDF-257268E2F88B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2914f32562ebd9ae230eceac7c78b1ac22a86f7","datavalue":{"value":{"entity-type":"item","numeric-id":272015,"id":"Q272015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$292C4EEF-9722-494A-AAF6-8188C057EEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f98f77118ea7c1ca4efe7089e0d480e5cd16947","datavalue":{"value":{"entity-type":"item","numeric-id":1656600,"id":"Q1656600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$5C0DE54B-8C9B-4192-B46E-1633BA923657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41df06f4fe4133fafd7ede4eda94dd022be9bb8e","datavalue":{"value":{"entity-type":"item","numeric-id":1430295,"id":"Q1430295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$25314D29-35B2-4FB1-A5D9-51EA6827AC3B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2dfbbfe69f220779a8f4ee2aa35287f4eb47a1e3","datavalue":{"value":{"time":"+2018-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1656601$CABDC6AF-F0B9-4C63-95EF-0ABAA65303DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656601$2C1AA2E7-A40F-4BB3-A238-0821A7D4F2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656601$FA3907D5-5B1E-47DE-A208-B3F0DF6A41B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"860cfc5f9ac6500c4f14413b9f83ae0926cf5de1","datavalue":{"value":"6916321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656601$DCF5B124-98E4-4EAB-97DD-EBFC018A6672","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7be44aca757f3adf49e3de3f5c22cd533ea232ed","datavalue":{"value":{"entity-type":"item","numeric-id":14023,"id":"Q14023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$64E7FE0C-6F41-462C-B63D-E972F0ED71D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dfaab4e4b81d1d345c01e1ea50dfc6f386089d8e","datavalue":{"value":{"entity-type":"item","numeric-id":18424,"id":"Q18424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$982D4937-E4E4-4DBC-9ED5-73B2DB6433DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82d06501fc36ec8e7dedceee9b0ae878495d7928","datavalue":{"value":{"entity-type":"item","numeric-id":27992,"id":"Q27992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$577E80C4-13AA-4AD2-BA4D-3955BA7EF284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84251ebcd4191fb0849f9cca28fc9ec78d77bfc3","datavalue":{"value":{"entity-type":"item","numeric-id":32040,"id":"Q32040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$3242474B-E6AE-4899-9010-638901AACF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c2ad928ef7e075a5826c42714da18f3ea07be26","datavalue":{"value":{"entity-type":"item","numeric-id":16292,"id":"Q16292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$31AE3534-4609-4329-A968-641E2A32DF44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d9424feab3ac46e15617644b19809b1a8c711a45","datavalue":{"value":{"entity-type":"item","numeric-id":18425,"id":"Q18425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$C57F8BAE-3B96-4B88-A42E-C0AA6E002F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"804cb8a3eae947890eade4431aaed562b33122a2","datavalue":{"value":{"entity-type":"item","numeric-id":13371,"id":"Q13371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$AD3886E6-BCBA-4E36-9EAD-3C89EAEECCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce7c4ba71fc3c0446b73cabf925feb710cb29856","datavalue":{"value":{"entity-type":"item","numeric-id":18682,"id":"Q18682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$B2465071-DAE2-4CA7-BF71-6C8741DBFD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e0ef7aed5e557965de3f0d4aab5d60887968bacb","datavalue":{"value":{"entity-type":"item","numeric-id":19149,"id":"Q19149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$6437F25F-C923-464F-B08A-FF3982591FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"79f2fd73ea0fb5039a59d83de2c7829084a83846","datavalue":{"value":{"entity-type":"item","numeric-id":20073,"id":"Q20073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$0075E5DD-2A57-4FB8-B472-0E1C7519DCAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3b163eb2acfaa09d2ebf57c54881fcc37ef41973","datavalue":{"value":{"entity-type":"item","numeric-id":22051,"id":"Q22051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$4EC2C6D0-7B4B-42A4-B1AA-41B0E093091B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040ef7f5ea4f91a4a5590126a427351af164d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":25492,"id":"Q25492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$F4A7DF20-C567-4AC3-84AD-A75DFC8063F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07e8aef8e80a4e891c5ae22a330c7c1633a08a5f","datavalue":{"value":{"entity-type":"item","numeric-id":19849,"id":"Q19849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$69DDD774-7243-4A58-B381-A80D035B8171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d0306a541ac4d64d413698a8167f6dce4fa4ce8","datavalue":{"value":{"entity-type":"item","numeric-id":16269,"id":"Q16269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$6A34D3CF-EB7D-455B-8EEE-0CA8B4FBB7F8","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":"Q1656601$B0CA782F-3484-4F27-8DC3-A8948E7C851E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a28c49518b2391a3c9e2da3891679e04c0308e5d","datavalue":{"value":{"entity-type":"item","numeric-id":32752,"id":"Q32752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$2AE01E83-1F62-4A11-9D92-796C2D964115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"be42710b6c5ddccce682180393aba093291fa83f","datavalue":{"value":{"entity-type":"item","numeric-id":37199,"id":"Q37199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$638104D8-3764-4BB4-B917-DE9D084F4CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"495bbb2cdf1ccc0b759095cf4242510e92d4756f","datavalue":{"value":{"entity-type":"item","numeric-id":37198,"id":"Q37198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$F80C1F91-5D7A-49D4-AAC7-F12F50011E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1573b6c827edaffc4d881a332f3677d6416ac08","datavalue":{"value":{"entity-type":"item","numeric-id":37200,"id":"Q37200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$7F63059F-4662-4986-B9C0-F01E1E80974B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e974b90562b8939a20a4c5c721139012f5fd1897","datavalue":{"value":{"entity-type":"item","numeric-id":37201,"id":"Q37201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$E665D3F8-D8A9-4A8B-ACE0-D4EC728F4D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"15e0f57c425991779433df8a745c283c5ccf7f73","datavalue":{"value":{"entity-type":"item","numeric-id":6230810,"id":"Q6230810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1656601$15B82F61-C574-4087-86F6-1C91BFD6A047","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":"Q1656601$8F5CE57F-7DAA-4E1C-998F-D901A621005C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08e605d0ae2c1ede26718434d722ac8698e0b7cb","datavalue":{"value":"https://doi.org/10.1007/978-3-319-94144-8_26","type":"string"},"datatype":"url"},"type":"statement","id":"Q1656601$7FD2F9DB-F806-4014-A23A-9A53309274D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1288758aee22cd45a9d11e00288fcfa6d39d724e","datavalue":{"value":"W2809729522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1656601$04B9399A-7425-4F2F-80EA-CF6282FEB4D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6dbe2a23e4745708e6e5b9a83a95382a5f239c","datavalue":{"value":{"entity-type":"item","numeric-id":5015603,"id":"Q5015603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b399368bb9b46419b374b8e09df3593c53cb97","datavalue":{"value":{"amount":"+0.7920249104499817","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":"Q1656601$DB9D34B5-B7C3-4DD7-9F41-B814DD52416E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050442f2f7839a419d7f203ed1f1707c4752f152","datavalue":{"value":{"entity-type":"item","numeric-id":2118280,"id":"Q2118280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a759fdcf38bbe1e6aa186a9ceb14b6ce99433a","datavalue":{"value":{"amount":"+0.7724229097366333","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":"Q1656601$027628FA-D6B0-44C2-9E1F-E9EF9B4E6F0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6b2a937bce5baa1e44f54c9029c4c73e58425d9","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09f3890f68f41742e3039c149993e7fec0087a42","datavalue":{"value":{"amount":"+0.7523236274719238","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":"Q1656601$B2A0249C-1DA9-4CF4-935B-7B13CE10CB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e67eb8ab7f291e589bd65e644bbd971b04b3f161","datavalue":{"value":{"entity-type":"item","numeric-id":1670750,"id":"Q1670750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00bb629b66c1cb367bd435331877433aa611ed81","datavalue":{"value":{"amount":"+0.7478464245796204","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":"Q1656601$DEB63B56-66B1-4499-B2D7-871C770BDCF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875fa20a403e3086793eeefa974c2d02108a4d71","datavalue":{"value":{"entity-type":"item","numeric-id":3396552,"id":"Q3396552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d44df21e5b629c44c6a7b1383afab0b60c45ad91","datavalue":{"value":{"amount":"+0.7319962978363037","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":"Q1656601$9C0A7F0F-9329-4114-B6D9-CFABEDE99EBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PySAT: a Python toolkit for prototyping with SAT oracles","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/PySAT:_a_Python_toolkit_for_prototyping_with_SAT_oracles"}}}}}