{"entities":{"Q1897402":{"pageid":1908144,"ns":120,"title":"Item:Q1897402","lastrevid":47346838,"modified":"2026-01-01T11:20:42Z","type":"item","id":"Q1897402","labels":{"en":{"language":"en","value":"Running time experiments on some algorithms for solving propositional satisfiability problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 790527"}},"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":"Q1897402$B421A963-99B6-4645-AC73-B523E77EE18A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35538d3a0a2313204031758b21a5036641a2228b","datavalue":{"value":{"text":"Running time experiments on some algorithms for solving propositional satisfiability problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1897402$69D481E3-59DC-4134-9004-B019D5B98AE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38247708876534a9200db86ab28f536406aa1b79","datavalue":{"value":"0844.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897402$D99A4760-1C58-406A-B35B-655CA54E7A56","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e1c4a708f04a72f3c82e7d27577c622babfef4a","datavalue":{"value":"10.1007/BF02031719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897402$7C81418A-A5E0-462A-8EEA-2B67EBC47D54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccccf32e8278ad5fb4ecf4fa2380841de5473a9a","datavalue":{"value":{"entity-type":"item","numeric-id":1897400,"id":"Q1897400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$B75A85EB-36C4-4B6A-A55F-119A36363294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"24dec3469b888de7d685de47a610df462a900ba0","datavalue":{"value":{"entity-type":"item","numeric-id":1897401,"id":"Q1897401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$748A6E2F-D4F2-4C5D-8A4C-144600E63A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa2e0f011eab1bfbbdd379e3f5663e5ddb98151d","datavalue":{"value":{"entity-type":"item","numeric-id":808677,"id":"Q808677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$4B9738B5-93A7-48E6-AD84-C7340893C833","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f57d1123ebbbd10d621b3552a672e7729202712","datavalue":{"value":{"entity-type":"item","numeric-id":59875,"id":"Q59875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$392516E8-23D6-495E-BBBE-5D8BEF174400","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"130e39adf7d31aeb394dfacb8a12a0f0ed2af467","datavalue":{"value":{"time":"+1995-08-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":"Q1897402$52499C20-FC52-4BBD-A493-A61C5F49D91D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897402$2F787F64-8773-4546-96F5-1C430B28F7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897402$F5C876FF-9282-460A-BC8E-90446F5E0D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7dc0be147dc793dec5b4d43620512b87e8c947ec","datavalue":{"value":"90C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897402$CB0DAA03-72C4-480E-860B-18A381706E84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abd0501c32707e0cfad473bfe34eaba0c11f8e0b","datavalue":{"value":"790527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897402$D531DB3A-4F5C-4C17-944D-EBA3325D658E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49824013061fddf8a537427c4b9fd2eacfd71158","datavalue":{"value":"evaluation of algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897402$31E70715-F1D6-44FA-87E3-5B5E03911200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfded98921fb7d9cf722f229333546d869ef30c7","datavalue":{"value":"satisfiability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897402$8D77E5EF-F055-4D79-96AF-C8B41779800A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c8c9e80036612c21ad2ec3b6579e3228fd2ea1e","datavalue":{"value":"NP-complete problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1897402$C2226EB8-7FDF-4521-9261-5A9A58687452","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":"Q1897402$1AE97928-3B86-4E1A-9A28-B5AADBA92433","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2b70805b996ac71796cbf64a76b6ecca1430283","datavalue":{"value":{"entity-type":"item","numeric-id":3680754,"id":"Q3680754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$8BB0D714-AAE5-4798-BC75-A7060173FEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$53CF89B3-F215-4B3A-9220-22ADB5CE4651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5020c04500a91709182037dcf1bddd4989e76c6","datavalue":{"value":{"entity-type":"item","numeric-id":1100935,"id":"Q1100935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$DEC0AEA5-2D6B-4D71-84A3-F4C7B57B1BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb4fe328050ef9b6923529a534efe5f549f7a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4319327,"id":"Q4319327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$69E739AA-2262-43F5-A2D6-BCBCA7FF61D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2261e03fb7a4b873cc7bf0aa682c707ae43c92d9","datavalue":{"value":{"entity-type":"item","numeric-id":1356213,"id":"Q1356213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$B15BE8CA-6EAD-4FD4-82FC-AF56D7F6D345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3cf7cbf24f5ad1e6d8cb76fb93a3b15d7aa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$274BF80A-C913-43C6-B7F2-64FB4B78F06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871979c7f5f894fa361fd2bc427b689835df215d","datavalue":{"value":{"entity-type":"item","numeric-id":1824411,"id":"Q1824411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$68248496-4B2B-4585-8745-09A990A2815B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf9fca3f6d551b053634992736e7adda698b452","datavalue":{"value":{"entity-type":"item","numeric-id":1178643,"id":"Q1178643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$2413913A-5C66-49E3-A82C-FD461DE71B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaa595c975cc96f28daa1bd7521f98f77aeacc40","datavalue":{"value":{"entity-type":"item","numeric-id":4083731,"id":"Q4083731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$BAAEE49B-FC1F-4F6D-BFF8-EAFE08AA2583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87e68b57248aaa4e45c6a834d25421fc2307d13d","datavalue":{"value":{"entity-type":"item","numeric-id":5751930,"id":"Q5751930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$35169F95-40CA-4F2C-A599-17A9D704FC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22e6d7a516d7a73ea57e2ef3f89f6deb8c2f41aa","datavalue":{"value":{"entity-type":"item","numeric-id":3489527,"id":"Q3489527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$6B1C3D03-67D0-48D5-983B-C68793DB1772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef75b4b5ae4f1119c1ac9bfdcf91039dbf37c93","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1897402$A4578051-B124-4524-B654-10D0479C94AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25a1b4757faa8358336dfa6ce369e965e3cae124","datavalue":{"value":"https://doi.org/10.1007/bf02031719","type":"string"},"datatype":"url"},"type":"statement","id":"Q1897402$60B43719-6709-491B-8D8C-B524703B867C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"543105f8c614949f9c3b7922729497bf3fc56a87","datavalue":{"value":"W1995746810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1897402$35791921-722B-44F3-AF39-E7FF6737625F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2384784e67b746c941848cc6fcfe27e81759712f","datavalue":{"value":{"entity-type":"item","numeric-id":4375756,"id":"Q4375756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"827c30c030a096859cf80a1d8eed0e09eabc2ef9","datavalue":{"value":{"amount":"+0.8093345761299133","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":"Q1897402$ED8EA8FA-521F-4AD8-A796-858D1D892597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70b4867441d10cb913bb4be936f6e3639ba22b2","datavalue":{"value":{"entity-type":"item","numeric-id":3985347,"id":"Q3985347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dcbc1234e93a22b363bb75ea115e6a94ab33bd6","datavalue":{"value":{"amount":"+0.8020474314689636","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":"Q1897402$6DF0F21D-F03B-4E27-9FD1-EA105D0BE10A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a29e179bbf06cf64dcb40b6c39cad4b300e7df5","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5287fcb2725929fc2e3b23926765fd3da0bfd1","datavalue":{"value":{"amount":"+0.7976145148277283","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":"Q1897402$CBDC1195-A9A9-4E40-B8AD-BC57D7B22218","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":"4dd2f8b8ca32e05698ff8aeff373dcb4d4337c04","datavalue":{"value":{"amount":"+0.7957171201705933","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":"Q1897402$0D167126-9340-4DAC-9D6D-C0B3BC34EDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68a4ecd14d9185b0b097d26bcd476c19dadcf82","datavalue":{"value":{"entity-type":"item","numeric-id":4319327,"id":"Q4319327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99947ce3d9a3fd9d255ccd21cc910b8bcec576bc","datavalue":{"value":{"amount":"+0.79251629114151","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":"Q1897402$2F9509D6-23A4-47DD-A701-FB2451AD4CDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1897402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1897402"}}}}}