{"entities":{"Q3183448":{"pageid":3194156,"ns":120,"title":"Item:Q3183448","lastrevid":50790533,"modified":"2026-01-15T04:47:04Z","type":"item","id":"Q3183448","labels":{"en":{"language":"en","value":"An Improved SAT Algorithm in Terms of Formula Length"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5618353"}},"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":"Q3183448$1DB38502-2E45-4886-A667-49030069D295","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5997cd43dd343730f1d3567358657e30af4cd295","datavalue":{"value":{"text":"An Improved SAT Algorithm in Terms of Formula Length","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3183448$294FA097-1C27-40BF-AB4F-C9A691ADD0A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"551f0c7bca5da4106e34845b677e7df761b36b5e","datavalue":{"value":"1253.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183448$7DDC69A2-02D9-42F9-82E8-F7F0F5202FD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6112b4506b886a5d800d09d2ac3a2fcac8c5fcdd","datavalue":{"value":"10.1007/978-3-642-03367-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183448$A496A32F-4439-4F95-A994-B191BB18B08D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fd6fad04d48e12e82cbde78f826732950249551","datavalue":{"value":{"entity-type":"item","numeric-id":391219,"id":"Q391219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183448$740BF0EA-2EF1-4B88-B1FB-BEB70E160606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d03752c29b41d1b87b62e2669413b34e8ba69f6","datavalue":{"value":{"entity-type":"item","numeric-id":1599636,"id":"Q1599636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183448$077A4C3D-700B-4402-9742-870EA31FB8D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183448$F22D6406-0562-4BCA-96B4-E19A433D1D30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4b03fe0d32567f363cc3207214473a7371265cf3","datavalue":{"value":{"time":"+2009-10-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3183448$AF1993CA-7858-4B8A-9EBC-399F6C71BB80","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183448$C789A823-990B-4447-8262-1BC298C3021D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183448$B1A8970A-A3A8-4E1D-9CF5-243112333AA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e223f4c9463596a169a9f4dad8d155ee3f4dba02","datavalue":{"value":"5618353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183448$EF504755-CE6D-4DF6-9A94-97DB30B040C9","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":"Q3183448$44A5EE1B-DCDA-4C61-8538-4A26304A538A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"533ee0a6ef81529f3ffd3a9f8f0ab759000012d6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03367-4_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3183448$3EFF32CE-E183-4D65-AFCD-411B1447A968","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41b80b16e45efd0ab7fec1188c20677b4db90576","datavalue":{"value":"W1485462419","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3183448$F6F184C5-2983-4F26-85F5-67A998839DED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"530c44e692cd7fc61b1e312c0cbd39162c4add2e","datavalue":{"value":{"entity-type":"item","numeric-id":2775891,"id":"Q2775891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183448$65823CBF-826C-463F-89F3-069E0FB57869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183448$B917EAD8-6B3C-4ADA-BCEB-B9A69767D874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c0254e500bf372f7ebb9786db98d0272d8e3b7","datavalue":{"value":{"entity-type":"item","numeric-id":3581486,"id":"Q3581486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183448$D402F210-B43F-46E5-BF16-F437FC44454E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183448$E5177430-57BD-4273-9EFC-F7399619927D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8621ce0ae1e8c21956cfec192d952dd4054223f","datavalue":{"value":{"entity-type":"item","numeric-id":1111774,"id":"Q1111774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183448$AC971EBB-1885-48AE-8228-F36906A457D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83df78167f6da212f52872db822f417acaf4aa1d","datavalue":{"value":{"entity-type":"item","numeric-id":4375757,"id":"Q4375757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183448$93E0F8D9-EC8A-4B74-B428-75942E7ABF48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00018817f9b68b5533d20e05f9bca37aee54a0e8","datavalue":{"value":{"entity-type":"item","numeric-id":4250220,"id":"Q4250220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183448$D75E19B4-D4FE-47C4-90C9-CD573C645C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999d4bb2b62b8aa43b4cfd703130090b24b20a1d","datavalue":{"value":{"entity-type":"item","numeric-id":1581847,"id":"Q1581847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183448$24B81980-F23A-4475-8F5A-DAADEF0B552F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a552c9d03d5d57f457ef431ebe1ddb6a99a18fc3","datavalue":{"value":{"entity-type":"item","numeric-id":5710689,"id":"Q5710689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183448$3E08D9AE-2487-44BA-BBFE-55175A4F94D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3194984f10d1bd6b3034671e1f13a64006941dd5","datavalue":{"value":{"entity-type":"item","numeric-id":5475823,"id":"Q5475823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183448$C9E3C04A-811A-4E7B-8155-CFE25043CFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7eeb4ea2f04585306669bc0f76745ba7ff9f85","datavalue":{"value":{"entity-type":"item","numeric-id":5713721,"id":"Q5713721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3183448$6D04314B-D954-4BA0-9575-665F3D1E5BF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1e5a5770bdd285cf8e690dd1b104b3917e17995","datavalue":{"value":{"entity-type":"item","numeric-id":5475823,"id":"Q5475823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c23cebc2ed0ef59a64a63c0e285366fa2497b7d6","datavalue":{"value":{"amount":"+0.8642345666885376","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":"Q3183448$014C8101-C988-4518-AA86-9D238BB02DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ba5295930191029d223c1ed02e8d25afa5e364f","datavalue":{"value":{"entity-type":"item","numeric-id":5713730,"id":"Q5713730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94a946cde458f5cb53f55ac8a3fcd4b776cea7cb","datavalue":{"value":{"amount":"+0.8248302340507507","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":"Q3183448$6222F812-6610-4909-8248-8BFDC4C1B468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d89c193993855d68878c9b41e3ef8998d8b9254","datavalue":{"value":{"entity-type":"item","numeric-id":3429016,"id":"Q3429016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac6df697c4864c84f397d5bc2e387c7b6c4e89c","datavalue":{"value":{"amount":"+0.8165006041526794","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":"Q3183448$D83D1309-B1C9-4B8A-92AB-FD92E17C2D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3c844e351da2b9f5c57b5b0cc942721bf25babe","datavalue":{"value":{"entity-type":"item","numeric-id":4250220,"id":"Q4250220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c8e6228666dda1650113cab27b38b420df04aa","datavalue":{"value":{"amount":"+0.8080312609672546","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":"Q3183448$A528E235-AB12-4F9D-8DA0-2FB3FF294088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68dd49e8d790217f4c6e141204af1920c329f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4283247,"id":"Q4283247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bedc8d6c1832acbc0a12db9f3469661c557345a4","datavalue":{"value":{"amount":"+0.8075694441795349","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":"Q3183448$88CD2BD3-7AC1-46CE-AF5F-9A71F35FA416","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3183448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3183448"}}}}}