{"entities":{"Q4928481":{"pageid":6958063,"ns":120,"title":"Item:Q4928481","lastrevid":51744839,"modified":"2026-01-19T19:38:30Z","type":"item","id":"Q4928481","labels":{"en":{"language":"en","value":"Graph expansion, Tseitin formulas and resolution proofs for CSP"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176250"}},"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":"Q4928481$BD37FB4F-40CD-410D-9BAC-49CF8344C795","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"75de29a76133a2680e300f87ab61ceac62cce08b","datavalue":{"value":{"text":"Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928481$C48DE372-233C-417A-AB43-6B82C04B26DF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a733a6969040eaab3d4e5b176c485bad07c8f8e","datavalue":{"value":"1381.68098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928481$B1D1451E-7868-44F8-A7B3-67C3C5E8F5F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1076486c9a8a4bb6e455c0813e8da83453a122fa","datavalue":{"value":"10.1007/978-3-642-38536-0_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928481$D01DAC3D-545D-450C-A420-BE1A4BC119B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9dd58384b41cd0e0a1a2a3006084e0e7c07e0e8","datavalue":{"value":{"entity-type":"item","numeric-id":413275,"id":"Q413275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928481$54D7F28E-C0DD-43FA-AA37-549083297318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e7addca70f9ebb482d1b911999acae90ed61060","datavalue":{"value":{"entity-type":"item","numeric-id":2818002,"id":"Q2818002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928481$2FAFD4F2-2C0F-4900-BA62-646367DF2392","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"41df48044034ceb6ef08b66017467a62c3d265aa","datavalue":{"value":{"entity-type":"item","numeric-id":2907481,"id":"Q2907481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928481$1D4380FB-6313-493B-B9A7-8A5191C27A88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928481$F3F46D67-651E-4B28-B815-6BC4C2081122","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928481$C885F9A4-196C-4BA8-829E-169513B8BB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928481$F2E06644-425F-4DA2-A913-03F05611F88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928481$AAAD7C34-C8DB-45FC-BC23-A185CBE13453","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6080812bcab8f6b3bbbbd254903ebd72629464ab","datavalue":{"value":"6176250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928481$C993028A-9701-4966-8308-2BF6237F158C","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":"Q4928481$CF114276-F3DC-4A69-854A-F03AE951D8E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09c8b6f674a9343f95fca81f9875aca9a4164e34","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38536-0_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928481$7AC8C3D6-63BF-470F-AC21-B918FCCFBED4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a9a14f1880b84e9dd2c866b80071c1d39f4b626","datavalue":{"value":"W114391025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928481$26EA9559-907C-4B6D-B796-01F7BBA4C3F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"647d633f4bac67deaa804e390e32723ea06b684a","datavalue":{"value":{"entity-type":"item","numeric-id":4036560,"id":"Q4036560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ae0c0ee513e0deeea67135d4cd26a974f0e073","datavalue":{"value":{"amount":"+0.8312768936157227","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":"Q4928481$69166771-34C9-441A-8361-A39155BFFDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ebf6259745596d5e3c3f1a9d41d24f2a795c3b4","datavalue":{"value":{"entity-type":"item","numeric-id":5881799,"id":"Q5881799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ae0c0ee513e0deeea67135d4cd26a974f0e073","datavalue":{"value":{"amount":"+0.8312768936157227","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":"Q4928481$52532B5C-EFE6-458B-BCAD-18B9B4359329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93cb5ddd5f61d72dab2b34e909c24a6dbf72dccd","datavalue":{"value":{"entity-type":"item","numeric-id":1193906,"id":"Q1193906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ef3ef93933ba917eb334e5b110a03f55121f73","datavalue":{"value":{"amount":"+0.8003870248794556","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":"Q4928481$140DE785-1141-41A8-9515-08758B863A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33796a6906fd66794fcaa18e20c9ae9d4a4cf4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4699289,"id":"Q4699289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb3c179754685d9ce2799d8e60a187719c9ca0f5","datavalue":{"value":{"amount":"+0.7973082661628723","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":"Q4928481$6E61A523-5344-486E-A4A3-AA701D14B719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8361b86ea858c692159e5238a9f0fe78f3c9e3b2","datavalue":{"value":{"entity-type":"item","numeric-id":1983330,"id":"Q1983330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43750195f7fcf7994090d42d18c49fd56f819b1d","datavalue":{"value":{"amount":"+0.7871428728103638","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":"Q4928481$9CBE0B87-FDC6-484A-94D7-4B85B7038901","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928481","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928481"}}}}}