{"entities":{"Q2170178":{"pageid":2180921,"ns":120,"title":"Item:Q2170178","lastrevid":54391097,"modified":"2026-01-26T18:11:41Z","type":"item","id":"Q2170178","labels":{"en":{"language":"en","value":"Coupling different integer encodings for SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7577854"}},"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":"Q2170178$D630DE65-6AE9-4CEC-9AB7-BDCD883F0D11","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e47b66bdeaa40d7637f2f69fcf74e6cc797fd6e","datavalue":{"value":{"text":"Coupling different integer encodings for SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2170178$0C5EED04-DA2B-419F-963B-9D1BD19DF018","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dac0789c5e2b63abd2131552c339a81a8269813","datavalue":{"value":"1502.68268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2170178$15362959-9CF6-46F8-9310-6D87D6A89CB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41ac1b66efed633b8cd8de6c79bb97d123ed3cfc","datavalue":{"value":"10.1007/978-3-031-08011-1_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2170178$8B67F49F-A915-4810-A556-1AA43D13CF99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"52ef5374c772755d4f5a76a77ba4231ae7a2e6e2","datavalue":{"value":{"entity-type":"item","numeric-id":2170177,"id":"Q2170177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$064BBB24-9BDF-4542-ADAF-ACCADCEF1167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64a1c2e371f294fd2a797ae897eaf22844acf1bd","datavalue":{"value":{"entity-type":"item","numeric-id":264987,"id":"Q264987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$A2E49271-0B28-4B5C-A152-127D4626B0CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"62619508dbce2059fd6b2f53c566aff22c90e4aa","datavalue":{"value":{"entity-type":"item","numeric-id":265705,"id":"Q265705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$CDD7DD65-7533-4E27-BF90-9712F55DBCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"13edc756c1a735fdc479221a8745216cf629b925","datavalue":{"value":{"entity-type":"item","numeric-id":1701237,"id":"Q1701237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$C56DB700-7FA7-4338-B74E-23B35FCFD008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$04EB5867-0FD4-4237-BB0F-D016E742898F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"24c2eb8fa17c20bdfa5b9ef95dab30ffa7f0677b","datavalue":{"value":{"time":"+2022-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2170178$450573F3-28AE-4F50-90C9-2FB1CCD56C54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2170178$220F415F-ADD0-46CA-AFFF-5D8FA7EDA3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6958ea3363ca9244e0da0201efd237a8410f9a0c","datavalue":{"value":"90C09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2170178$E4C36BCC-CE97-4244-8F13-F8B812D805BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"833b28156d58d64889b8456c5955b5f651b40ae0","datavalue":{"value":"7577854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2170178$D7B34F4B-5F59-43CC-A983-8E18B79AAFC2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d03efbad9799f7eb17253cbf3517b0327b961fe8","datavalue":{"value":{"entity-type":"item","numeric-id":18394,"id":"Q18394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$6009F4B5-CB6E-433F-BBDC-0EE8C30289DE","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":"Q2170178$5CB45D40-4A05-469A-9775-E4F030FCD766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1197278527dddf0e513fd6d19c67604384f23594","datavalue":{"value":{"entity-type":"item","numeric-id":22049,"id":"Q22049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$F13FB0F0-76F6-4157-AF62-75766B8B06F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6a58b387017cdbc506130b6622f9b3309231b80","datavalue":{"value":{"entity-type":"item","numeric-id":36475,"id":"Q36475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$D9F235F6-03AD-473E-AAF3-257FDDCF3A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"139b575fce6bafa9fc9a6f94a24dc29e827bbafc","datavalue":{"value":{"entity-type":"item","numeric-id":33659,"id":"Q33659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$CDC48399-FF8C-4F5E-A285-75341B8E25AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"54c4db5b3f124efb02306bb4c30dd9d1d636d7cb","datavalue":{"value":{"entity-type":"item","numeric-id":21737,"id":"Q21737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$304F64ED-093C-47C7-ABB9-DE3F73EE8DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bd2d1f95a77da74a3a1f74809707a51d6a42d70","datavalue":{"value":{"entity-type":"item","numeric-id":22014,"id":"Q22014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$632C8836-3E62-4219-8CA4-75BD48E88585","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":"Q2170178$7BE836E5-4324-49E3-8138-E83D442FFC3C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fca024acd8090aea6b5f0fe214c2493e37c61403","datavalue":{"value":"https://doi.org/10.1007/978-3-031-08011-1_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2170178$604EA470-14DB-4383-9D4B-3E544B7D3C99","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b289126aafd7f875d2decef589d5ad9f74997fcf","datavalue":{"value":"W4285263050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2170178$8E9ADC02-B5AD-492F-9B66-D2762D7CB922","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bce1db6c273e2ee7acdcf2bddbc15bd54a406401","datavalue":{"value":{"entity-type":"item","numeric-id":2815090,"id":"Q2815090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$F764CE7C-CFC0-462E-AFBF-1972F4831760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"150aa801de356297a68a75e1eebbbf0a3f17eb8a","datavalue":{"value":{"entity-type":"item","numeric-id":5415453,"id":"Q5415453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$074E76A1-79C9-4F3F-9284-528A5BC657CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25c205dabe4d2ea3c84f1f47dc03f57ce5a6c866","datavalue":{"value":{"entity-type":"item","numeric-id":3143578,"id":"Q3143578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$BA2B4755-74C6-4318-A224-8CF9FEAFA2F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3756d046b370004150e7e5785ce307e01d217f27","datavalue":{"value":{"entity-type":"item","numeric-id":2110407,"id":"Q2110407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$ED7B8851-4326-46A7-87B3-16E725CEB516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9409f5b7aea10c20d6f973a1e120032a5614350","datavalue":{"value":{"entity-type":"item","numeric-id":1656601,"id":"Q1656601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$8A3CC1D4-A92F-467C-AD95-C56401D18555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0802a9e9650f39ffcd90892ce28352abdc01207e","datavalue":{"value":{"entity-type":"item","numeric-id":3192090,"id":"Q3192090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$31581087-92E5-4434-878F-16188F56B643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a73082b3c73fd5bf9b426e379b4c4504a1d3b767","datavalue":{"value":{"entity-type":"item","numeric-id":4913754,"id":"Q4913754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$A05F7C67-D6CA-4CCE-8118-CD94C05982A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6001162ebde1a71c571b2cb37da559aca8aeb55","datavalue":{"value":{"entity-type":"item","numeric-id":2272160,"id":"Q2272160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$D7E7B540-AC76-421D-B510-1A7B0960711D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c669bf5cd4a12083d5de971ce833b5ad1e655f3","datavalue":{"value":{"entity-type":"item","numeric-id":3453205,"id":"Q3453205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$D704B405-E895-41EE-97D2-3D090E2D3717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7a19818874125341dad6bbe8aeea48cdf12421b","datavalue":{"value":{"entity-type":"item","numeric-id":5899113,"id":"Q5899113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$CA8F647B-E9A1-45B6-932B-C5FB675A5028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b107d69d8ca98db7620611ee6ace5f0ce2d290cb","datavalue":{"value":{"entity-type":"item","numeric-id":3524229,"id":"Q3524229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$1353FBBB-03DA-43F6-ADD7-FF9C0E7F1FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ce96310995707dfc9099afb4c4d6d02e16acb8","datavalue":{"value":{"entity-type":"item","numeric-id":842794,"id":"Q842794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2170178$1D413B81-E42E-45AC-A46D-12CE263B0F09","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"769515ff4b8c1d15fde20ff305a2c63ef0c02132","datavalue":{"value":{"entity-type":"item","numeric-id":2342599,"id":"Q2342599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a8c96789580fadc3cc8c1ce375dcce331139214","datavalue":{"value":{"amount":"+0.7867562770843506","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":"Q2170178$0CDBEAB2-F3F0-4E39-BFD5-BD1CDE678A05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9f56d079705479d9ba616fc54f07bfe99a6cc33","datavalue":{"value":{"entity-type":"item","numeric-id":4583677,"id":"Q4583677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87b5a13a73bce200459148fe65a0902293ee8706","datavalue":{"value":{"amount":"+0.7606238722801208","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":"Q2170178$E94D3DB2-6AAC-4218-B260-F7D6E1416AD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83481197aa19174c53be9966d2d4aeadd34094f6","datavalue":{"value":{"entity-type":"item","numeric-id":3523075,"id":"Q3523075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e259ab9935e71bda5ba57442b3030cf85005f2","datavalue":{"value":{"amount":"+0.7568233013153076","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":"Q2170178$9BF0CDA9-6CF5-43C9-B0C2-E37284A04808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d1a613daab5c440126c9e05d8894a98e897a78","datavalue":{"value":{"entity-type":"item","numeric-id":5418737,"id":"Q5418737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf2746766da9998eba13bfe0bad390e0b42814d","datavalue":{"value":{"amount":"+0.74615079164505","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":"Q2170178$610D7320-7BB1-4FBA-BD06-08EE16CF1B75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03223ce149308bc5be47a5909b094205c896ede","datavalue":{"value":{"entity-type":"item","numeric-id":842794,"id":"Q842794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6d622b502e6a5fb5aff10ff74834e2ca1a3529","datavalue":{"value":{"amount":"+0.7395651340484619","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":"Q2170178$8D544994-7943-4490-B58B-5F8E391DA4AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2170178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2170178"}}}}}