{"entities":{"Q4930602":{"pageid":6960184,"ns":120,"title":"Item:Q4930602","lastrevid":51093308,"modified":"2026-01-16T15:31:22Z","type":"item","id":"Q4930602","labels":{"en":{"language":"en","value":"Reconstructing solutions after blocked clause elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5793469"}},"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":"Q4930602$189B0F79-CC71-421B-8FC9-D178E49158FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b279db811e864f679ac93866deb67d51416b99e2","datavalue":{"value":{"text":"Reconstructing Solutions after Blocked Clause Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4930602$96A3EE01-11ED-4B75-83FD-9454274EBAC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbc114d10206d805eee9f7824f7c761c4c038d4a","datavalue":{"value":"1306.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930602$B03514F7-CE8C-4481-AB07-61AD8D6BA6A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3a29a4a9a0dec550adc6d676e63263f4aabc04b","datavalue":{"value":"10.1007/978-3-642-14186-7_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930602$FDA58E82-DBB1-4B6B-80F1-396DE22AEE78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d1d7d14c02d5fd66164eb2f51bc923e39cb8db","datavalue":{"value":{"entity-type":"item","numeric-id":269491,"id":"Q269491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930602$FEFD8333-CA1B-4948-978A-F747B918B7CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4930602$F3E6CE47-A0A7-4569-BD52-8E613E260927","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":"Q4930602$53097DE6-82B7-4C14-81F1-BF7C110C59A8","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":"Q4930602$E9BA5850-3759-484E-976A-C901743A2C8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930602$1ECF6A05-9401-4EC2-A46A-07D326692B7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14399a2decb05d4963702e4162843acba40086ac","datavalue":{"value":"5793469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930602$6FE38E28-F1A8-489F-9B65-BFEE62BE0BA2","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":"Q4930602$CC120534-1305-4D00-A107-9DB3439AA71A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50aa07cd399f255f9aad337edfd458d4bbff9c9b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14186-7_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q4930602$2EC54473-45EC-4BA3-9DEC-82FC7A529B52","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a35dfb670835f6de6394603300f2a18ba280a1ef","datavalue":{"value":"W1600869845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4930602$CC1D05E9-8A4E-448F-AEE7-7E07E58F1DC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"889c411f3b68395fd1dbfef8e4d7d90fbd5ca1fd","datavalue":{"value":{"entity-type":"item","numeric-id":3557074,"id":"Q3557074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"199e3e1184826fa97a6c1e2c4d6c53930a540a32","datavalue":{"value":{"amount":"+0.8164670467376709","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":"Q4930602$C1B3AE25-6C75-4A07-B94B-61AF265DC211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3989eb108cf7ae0236bb32e40bbe73f427df0511","datavalue":{"value":{"entity-type":"item","numeric-id":5713748,"id":"Q5713748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"146cb97ffd5b8422a982995fb8e59eae1e87e78b","datavalue":{"value":{"amount":"+0.8136998414993286","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":"Q4930602$3F4E8DB9-AEBD-4472-B4E6-C86F2518D083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d0b13221132ea3247bb46d136e7f83b69061810","datavalue":{"value":{"entity-type":"item","numeric-id":3192079,"id":"Q3192079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff9124108df0668d89202098bade60f2e4aa4eb","datavalue":{"value":{"amount":"+0.7659808993339539","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":"Q4930602$DD332905-C9FC-40B8-B7C5-86D3C11078A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7b3faa9abd503adab345f00e95ef47b1edf47c","datavalue":{"value":{"entity-type":"item","numeric-id":2941732,"id":"Q2941732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb3446244cfd9a801b309943c90d990af756c90","datavalue":{"value":{"amount":"+0.7656837701797485","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":"Q4930602$B39F6469-3729-490D-B869-26FB491048CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cab374e9f5fe0c258a9395969a4be6c2393e4680","datavalue":{"value":{"entity-type":"item","numeric-id":2908507,"id":"Q2908507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad0c53a8f945939e463fce58d6c117d3f334465","datavalue":{"value":{"amount":"+0.7637848258018494","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":"Q4930602$C23BDCC8-8544-4DC9-AEB5-C14B0E6AE2B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4930602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4930602"}}}}}