{"entities":{"Q4930601":{"pageid":6960183,"ns":120,"title":"Item:Q4930601","lastrevid":51093305,"modified":"2026-01-16T15:31:22Z","type":"item","id":"Q4930601","labels":{"en":{"language":"en","value":"Exploiting circuit representations in QBF solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793468"}},"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":"Q4930601$4D1046FB-396C-471D-8F6F-EDB9C9B2F590","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba69680b34a707b5e01cf32284a1adc0c71b0d63","datavalue":{"value":{"text":"Exploiting Circuit Representations in QBF Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930601$EA94D3B5-8B58-4F77-AC17-B7C3CC8914CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53bd9624295edac27a47dcc7ce25bf0f878aa239","datavalue":{"value":"1306.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930601$B4399829-14AB-43DE-BD16-A65706FBB94A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d5c998bdc91576c529347724cda2a86b41818060","datavalue":{"value":"10.1007/978-3-642-14186-7_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930601$BC087121-EAC9-4DD1-A7BA-49DFA6A5F5D9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a343268d35179d3116eefa046a83cdd54d3fd161","datavalue":{"value":{"entity-type":"item","numeric-id":2843319,"id":"Q2843319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930601$6EDC645D-75AE-4DC1-94EA-C2709804B788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e72237755cee80f4100dfa096b99fdb0fefd7fe","datavalue":{"value":{"entity-type":"item","numeric-id":835824,"id":"Q835824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930601$D0AC4891-625D-43A1-A59C-CC30026DCE39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d1b19733acdd40acbba69ca5d986f1f385209d79","datavalue":{"value":{"entity-type":"item","numeric-id":4930573,"id":"Q4930573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930601$71875AEB-8DC3-4E7A-BDF5-4B17F288A69C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4858cb14fe2ceb550c09f1dbe5241e082f5548d2","datavalue":{"value":{"time":"+2010-09-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4930601$CB5855CB-076A-4100-BAD9-1EC4E4527C30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930601$C0F4862F-2376-44CC-9AFB-28F7F03E48FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930601$28E00090-44D7-42CD-BE58-864D7F3B4357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930601$8600C46A-ACA9-4835-865E-8949FC9AB60D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6a9eb934608e00e1354683ef7e83d31f4bd4e23","datavalue":{"value":"5793468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930601$8D442A16-211D-417F-A5D8-E5ACAFDED8F5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1ef66678d684041b8de78c7576de4cf0ad3466f3","datavalue":{"value":{"entity-type":"item","numeric-id":21560,"id":"Q21560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930601$E49164A3-4F28-4E3B-9B4F-ABDDE1605EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"792849c5bee9f07de54f2fa4f04f07c6aa639097","datavalue":{"value":{"entity-type":"item","numeric-id":21562,"id":"Q21562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930601$7904BC30-F6F6-4B43-A3A3-B3633918C898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6ef83bc65a4e27e40a0f15cc6aef8f4086b5991a","datavalue":{"value":{"entity-type":"item","numeric-id":23327,"id":"Q23327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930601$94B185E7-ABE5-4D54-BBA3-BB60E7234F7D","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":"Q4930601$23459C47-A4C3-4432-900F-245AE24286F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cbdf1816b7b2c9e1c60ba659089020da490be47","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930601$370276CA-1482-492B-AEB0-76441E4BA1C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"df40b23340d352703fea0933a8d65ce2c33eab44","datavalue":{"value":"W1597075322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930601$79FB39ED-B9E5-47AD-8B7E-BDC6ADAB5583","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741673679e1460f40e1a8b02e221f185fbfaa111","datavalue":{"value":{"entity-type":"item","numeric-id":3637177,"id":"Q3637177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0196f202246dc0ee8d0cfa6f9e58d081924cb213","datavalue":{"value":{"amount":"+0.8665123581886292","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":"Q4930601$C9F45EC0-3D5F-4907-8A29-E2F89675F7BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6157669c3bdf689d132249e5b751c87bef89e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1656577,"id":"Q1656577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52b810112034b228d8d7c345dec18f3114570148","datavalue":{"value":{"amount":"+0.8183914422988892","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":"Q4930601$CD14B45D-1319-4164-88FD-CF1272205A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a9fc53f71bb3e469fecfdd1ff0beb8edfe767a3","datavalue":{"value":{"entity-type":"item","numeric-id":5756554,"id":"Q5756554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76ad30d2701b3c71387ade2f7db9f2f60b647d2e","datavalue":{"value":{"amount":"+0.7886408567428589","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":"Q4930601$DD305BB3-2C55-4DD8-8F85-98F17F9A9A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45acf569684e5407f555d4b998b43616c79e474","datavalue":{"value":{"entity-type":"item","numeric-id":5492981,"id":"Q5492981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dd381f828359c2457f98ea4368592a4f560c33f","datavalue":{"value":{"amount":"+0.770709753036499","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":"Q4930601$99DDDB94-56E0-44C1-AD60-0DB7DC6E6646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cc427116e8e5de07b05e44314d4af2dec7739b","datavalue":{"value":{"entity-type":"item","numeric-id":5900311,"id":"Q5900311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eeb6bba822871817bf82588f3b009d79ec44c77","datavalue":{"value":{"amount":"+0.7630165219306946","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":"Q4930601$876EF6C7-5827-43DE-A080-266F725E978F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930601"}}}}}