{"entities":{"Q1675808":{"pageid":1686549,"ns":120,"title":"Item:Q1675808","lastrevid":68117025,"modified":"2026-04-12T21:33:07Z","type":"item","id":"Q1675808","labels":{"en":{"language":"en","value":"Constructing cycles in the simplex method for DPLL(T)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6802665"}},"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":"Q1675808$76D4912A-EC69-40A1-B3B3-D019B3549054","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71c4948d3a201c9d80353bb15e2e09235de2b933","datavalue":{"value":{"text":"Constructing cycles in the simplex method for DPLL(T)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1675808$39B29D10-AB4C-46F7-9C26-941C6A3760F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25996ab063f537f6964b4f422122ec811c95bf2a","datavalue":{"value":"1444.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675808$D7B85E57-FD87-47B2-894D-C8573F58ECE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e69fa84caca7466fd3785c2b1a67c705313e8c0","datavalue":{"value":"10.1007/978-3-319-67729-3_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675808$4F5C95F0-D997-4F4E-9E16-3FE34927833D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0e621a15e62a289b8ae90fd2dd0602a0ee81e78","datavalue":{"value":{"entity-type":"item","numeric-id":515685,"id":"Q515685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675808$7E830F95-08E0-4FB6-BDB9-8B0EBF5268A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7072b29ec05013e9a2e81e1795de7757de4265ff","datavalue":{"value":{"entity-type":"item","numeric-id":293293,"id":"Q293293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1675808$C7112E2B-A65B-4F3B-8F97-D2D24C8A9E39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"67aba7197112cbac1f8ed2910c0f63c4d1f0c462","datavalue":{"value":{"time":"+2017-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1675808$E4F76C0B-A2FF-47E0-8B89-F1594E76E952","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675808$831104CE-387B-4598-8DCA-EDF3C0E0E8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d142e7ea03446b1d7deb9627eedb9f0297f86a","datavalue":{"value":"90C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675808$1CB7A480-EA77-44F5-912C-0D7C9AC22F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0f73ee3e73cb07459e066b182fb1f5c39eeacac6","datavalue":{"value":"90C49","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675808$1768B294-3BFB-4451-8527-81F7EF060F5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55112576cfb70960b18b692e7e3286894b69c619","datavalue":{"value":"6802665","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675808$015A418F-7577-4EF7-81FB-3FDADFB783CA","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":"Q1675808$A4F4B1E2-F0C7-4A01-B0F5-7742F24C1FBC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0114d691529a30f527d28d74b28f19c4c311099b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-67729-3_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q1675808$F080D288-31EF-4127-A183-9F49B482D1AA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aade053a74a32f0661bf9e9f4f9c48e1d381c135","datavalue":{"value":"W2755660259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1675808$AB7337E4-0F41-4FEA-B0C2-670AD90C7D54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd1f875057910272dc1f6cefa7437b5d6cd54c8","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfbf6256695cd12878b197a622cf01b1afd77af3","datavalue":{"value":{"amount":"+0.7231465578079224","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":"Q1675808$B1CC8A05-1E99-420E-A231-24852C15B39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ead716a98fef76cc6c2454b182e0ad24eda0283","datavalue":{"value":{"entity-type":"item","numeric-id":2489285,"id":"Q2489285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b8d6ceffa41091936b01d858878b45d8b22f3a5","datavalue":{"value":{"amount":"+0.7230006456375122","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":"Q1675808$398DCAF0-48FE-4B8F-8697-786960A7FEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4a777bf0bb99053f551e2b6fa0361d1c8156bb","datavalue":{"value":{"entity-type":"item","numeric-id":5705940,"id":"Q5705940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fdb75e7f7c7c58b9d08eade4adf7cd3051a1a7f","datavalue":{"value":{"amount":"+0.7187583446502686","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":"Q1675808$F86A3FFC-4A34-4063-A953-C7C7A2E7F154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77602924e10f541a936ffddafab3e6a200d8ee3f","datavalue":{"value":{"entity-type":"item","numeric-id":5432330,"id":"Q5432330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac2656c987a2a62edc9edcd20d1f39fa2b621d05","datavalue":{"value":{"amount":"+0.7139815092086792","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":"Q1675808$3C2F96AA-FA23-42AA-94F3-34771B625101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4f0140fe152f7d5b3dfb3ede13e3c31df060015","datavalue":{"value":{"entity-type":"item","numeric-id":2926657,"id":"Q2926657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"601473a03aa7e0827e3d6137f67debef56a96bcc","datavalue":{"value":{"amount":"+0.7136934995651245","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":"Q1675808$6FEC1DDF-022A-4852-A550-C7414401284F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructing cycles in the simplex method for DPLL(T)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Constructing_cycles_in_the_simplex_method_for_DPLL(T)"}}}}}