{"entities":{"Q3562927":{"pageid":5592831,"ns":120,"title":"Item:Q3562927","lastrevid":49568749,"modified":"2026-01-07T22:12:39Z","type":"item","id":"Q3562927","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5713654"}},"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":"Q3562927$82A603E1-78FA-424C-909C-66B97B53CD5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"456aaed469b9dc4f43e7194aa0e923fa928bb250","datavalue":{"value":"1209.68514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3562927$7F688A3A-40C0-4C7F-91F3-7372492A66C8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30659652a6bb6474380a07a770377c63fcc6c983","datavalue":{"value":{"entity-type":"item","numeric-id":606998,"id":"Q606998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3562927$8CE5CA73-8602-46FD-86BB-9EDDD0D79E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c93dc7f088015e9cd1eacb5d2c04306baf043d99","datavalue":{"value":{"entity-type":"item","numeric-id":286775,"id":"Q286775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3562927$45D6D3C5-BBCD-43EC-94EF-59ACA9500EAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d0dd9350793171b1d4c029f4c515e1e2ec3a8f1","datavalue":{"value":{"time":"+2010-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3562927$32B73524-2493-4D02-B6C6-2C1D4960A93F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"42f65b2878183bafbf104838942a40fb188ece89","datavalue":{"value":"http://www.mii.lt/informatica/htm/INFO772.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q3562927$8598C68B-35C6-4331-BE7E-B1BEBCC981B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3562927$541D4444-6165-4D53-B43A-E59D9C63CA5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce3dbb5cd7be414c682fcced3eb281520d2b4173","datavalue":{"value":"5713654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3562927$EA3408DE-398A-48DB-A7E2-D0A5BD5F68B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"508def3536da451aaa16ab7a21353869c1e5bdc9","datavalue":{"value":"SAT problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3562927$2A3D6A3D-2D74-4C40-95F2-D81F9966B44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ebcdf1765afe1aa29d302e3c021519c61f81717","datavalue":{"value":"DPLL procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3562927$9DA6C0F1-1FD5-49BC-ACA1-0ACD948EC1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55caf05c57404ab910cf1d6d785d791abcc73ea3","datavalue":{"value":"formal proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3562927$4134D22C-3ACE-463A-9593-5EAFF1EBDF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3562927$06D2F190-4D7A-49BC-8424-FB096118D8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f5c8a524d27995a5687a5d780e9ca26fe15201b","datavalue":{"value":"Isar","type":"string"},"datatype":"string"},"type":"statement","id":"Q3562927$89CF1CA4-57E6-42FB-9D8C-C366CE9E874B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3562927$5EA0D0F6-46C7-4CB7-928C-57C80F3D051A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3562927$4F990EDD-77B5-4A10-8098-060115927A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3562927$EEE6200E-1AD7-4373-A930-FA1F653C31C3","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":"Q3562927$423DA4AD-2CE5-4BCB-9F98-30DD2E071C47","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c15b367ae67621962a2dd23d164a19c1765a25bb","datavalue":{"value":{"entity-type":"item","numeric-id":4023471,"id":"Q4023471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad051a87463bab266ca113fa82156ee2c0a0d22","datavalue":{"value":{"amount":"+0.88033473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3562927$7920284B-0A71-46A8-9FFA-CF51000F8507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d078870a57f2d7117db57c303b4ae9d5e5040571","datavalue":{"value":{"entity-type":"item","numeric-id":3321425,"id":"Q3321425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76748d99f4992a70c012803980d8da1f1bf0fee8","datavalue":{"value":{"amount":"+0.8631909","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3562927$AD87E82B-4D7E-4748-9D33-F13B9DB8F1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52477531e119662b8df7da0345e08a7e2d051232","datavalue":{"value":{"entity-type":"item","numeric-id":3012530,"id":"Q3012530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37fc7f8f0750b9b03a4708cdf35f07b7f41cfd2","datavalue":{"value":{"amount":"+0.8568715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3562927$A3CDDFA0-871C-44DB-A475-FEB89363DB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a673b4313553f7e4d5d51e1b037adcf5b720fca7","datavalue":{"value":{"entity-type":"item","numeric-id":4877441,"id":"Q4877441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbad168b2ca2be3d9851c75572b0ea6a39aa646","datavalue":{"value":{"amount":"+0.85603243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3562927$8E435E55-6303-404B-B272-3B7FD3D9E489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e894f4370640765fe8d2d72578b227be58d633d","datavalue":{"value":{"entity-type":"item","numeric-id":1285659,"id":"Q1285659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55cc0af0f50b2fdaf98504a13f95ce2a1f32e445","datavalue":{"value":{"amount":"+0.8544427","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3562927$49469732-7CED-4458-AC27-361CFE30BB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f78c7ce862ba34ea7b7632ed758ede0d90b12aa7","datavalue":{"value":{"entity-type":"item","numeric-id":4803973,"id":"Q4803973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe1271ef7b137a913c0ac58cf5ec46b7708f893b","datavalue":{"value":{"amount":"+0.8526414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3562927$20B9B140-8ECC-4010-9168-617348D97950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c03b9e1cd52c3d3baa1559a5e0f334256e000c8b","datavalue":{"value":{"entity-type":"item","numeric-id":913478,"id":"Q913478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8719b2c0d43b7ec5297769170f812162a441643","datavalue":{"value":{"amount":"+0.852101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3562927$F9914275-183B-4A37-B64D-785FE6329BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51c33cd7a7cb15eff4c77da928e1f3080f451be2","datavalue":{"value":{"entity-type":"item","numeric-id":4263834,"id":"Q4263834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18ea7078cb5ae6f5cdf2081ba698bdd18ded3f6d","datavalue":{"value":{"amount":"+0.8508971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3562927$374C0E5C-A75A-4C29-B35F-6432AD785E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a1b54e9ba58d3d799335e13d11bb46a2e7004b","datavalue":{"value":{"entity-type":"item","numeric-id":3168417,"id":"Q3168417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2d2923fa08c314d53691051819d1489dbf93a7","datavalue":{"value":{"amount":"+0.848689","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3562927$1BD63154-F1C3-4FC3-9610-83B54BBEF6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6f50e448f9d59543880222f04826077ababfca","datavalue":{"value":{"entity-type":"item","numeric-id":3806803,"id":"Q3806803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03fa468831f0d79a6db05eeb48ddc4c5747bc697","datavalue":{"value":{"amount":"+0.8486723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3562927$AC3EC377-F094-4057-9917-53984BF9D8EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3562927","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3562927"}}}}}