{"entities":{"Q4647531":{"pageid":6677112,"ns":120,"title":"Item:Q4647531","lastrevid":53320928,"modified":"2026-01-24T17:43:35Z","type":"item","id":"Q4647531","labels":{"en":{"language":"en","value":"Optimizing proof search in model elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001921"}},"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":"Q4647531$C2C1AB52-FF65-4532-9E0B-7D12D2AE39F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7cda3a05d6dfd97ff148b09f69e36ab323adfdd","datavalue":{"value":{"text":"Optimizing proof search in model elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647531$0EB7ADB0-36B0-4383-B209-DDD95D2B98AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90faae3143c9c055fdea88ea2b984f0e7ae0740d","datavalue":{"value":"1412.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647531$3180F99C-2C6E-4163-BE90-FF63D4420D9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a389d1a506177c8b4a8ac14c002058997f486284","datavalue":{"value":"10.1007/3-540-61511-3_97","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647531$EBDA9059-A5C4-48F3-9E3D-D89D26556399","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$51B390CB-880E-4347-AEC4-3C86F8DA4364","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647531$2DF702CC-1B5E-4196-ADEF-1AA9BF086400","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647531$90CA8D9C-C43B-44DF-9390-53E300CF3335","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5175437ce966aa7955c30f308c63e527942bd2b4","datavalue":{"value":"7001921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647531$9CD72844-79BF-401A-A931-8DEF08985C2F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$2A658942-17D8-40FA-B578-39C0152769DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$28D60087-638D-47C7-84EA-39DF5D625701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$9E37BB09-57AC-46CE-B16D-5D324D4E5F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$0B439E8F-7C64-4274-8F92-783497F143BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$83061601-F23E-4C23-BDEF-FECA03724E32","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":"Q4647531$1AC7480D-7D35-4C0F-9C6E-3F2C170712DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9eec11a7e0626cc4cf82191462847fe1177d51de","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_97","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647531$356DF436-79AA-4135-B9BE-5C8D6AF1529E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f514c16e14491ec18ce21ddcf8149ef67d661161","datavalue":{"value":"W1664582451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647531$024C1A32-A67A-46D3-8AA4-119DF7C8373C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d51506a7596e8959151c2c9b9334a415c6932a8","datavalue":{"value":{"entity-type":"item","numeric-id":5210764,"id":"Q5210764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$67D64CB7-AE4E-4275-A05C-267D2A8B3602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43f9608b13e21870d0ea96a60dac80597e508d93","datavalue":{"value":{"entity-type":"item","numeric-id":1904400,"id":"Q1904400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$F699D5E6-58B0-4C17-9094-B3F85E3074E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$5CC24C5D-4A24-403C-8DEC-ACDC7FE516FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1f0b5c5d1ef7da893967c1b74defc4984f71dee","datavalue":{"value":{"entity-type":"item","numeric-id":1062761,"id":"Q1062761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$830C0BAE-94BD-45B1-8CA4-D67E6483018C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bde1b1ec996aeb071ba3c817fedaeed25122f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$3F14C74C-199C-4437-A7FD-2AF3F966076B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"158bb2233935470152d2dc667c5dec4b7a43c81a","datavalue":{"value":{"entity-type":"item","numeric-id":1344875,"id":"Q1344875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$3CB07D0D-FE9D-412E-AA97-147851781780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e66e6647d72ae3fe0580b28aad034adcf0cdef6f","datavalue":{"value":{"entity-type":"item","numeric-id":3749038,"id":"Q3749038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$7E33CDB9-8581-452B-A3EA-1877A4BCF8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f72fa731d5ef46f7c8727b7b59f2eaf22c3523","datavalue":{"value":{"entity-type":"item","numeric-id":5544307,"id":"Q5544307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$B88369F8-DD00-4E94-AAB6-1BF802806DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$B636C97F-3C6B-4A37-887A-403CC0E4A3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e6b99241bd5405a7d704114ed85dbdcd125acd","datavalue":{"value":{"entity-type":"item","numeric-id":2639044,"id":"Q2639044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$4E72BA0E-A040-4E99-B555-3724C44A2A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92bd7a7804d462c14eca2f48adcb648eadeff050","datavalue":{"value":{"entity-type":"item","numeric-id":1100932,"id":"Q1100932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$920DE59B-2669-4349-9437-F5387C0B99D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab938ba3d2bb1de7d34dc0f9166735f59a48b21","datavalue":{"value":{"entity-type":"item","numeric-id":1114446,"id":"Q1114446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$2CC0B573-43A0-4EE9-AE4D-8D8A9001B397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$358664AF-34E5-46BE-B778-AABE270A8E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdfdb78940360eca2e787d190baa8103767f8575","datavalue":{"value":{"entity-type":"item","numeric-id":6488542,"id":"Q6488542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647531$6C3E5326-05A9-4286-82F7-B25B36C17553","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f547eaf70f648ab42babcde2f65f0bfb99b436cf","datavalue":{"value":{"entity-type":"item","numeric-id":4282522,"id":"Q4282522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2206f28321a5a009890c8da4236c150ce65699aa","datavalue":{"value":{"amount":"+0.7866684794425964","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":"Q4647531$D2C5CA84-2065-443D-9990-56EC8BACC4AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0dc953e2dcc4cf82edec1058bba3f6d7da8e53a","datavalue":{"value":{"entity-type":"item","numeric-id":4770008,"id":"Q4770008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f451a06d6bf6fb3a0f85a239792fa6010a17851","datavalue":{"value":{"amount":"+0.7787765264511108","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":"Q4647531$62774CBE-76A4-4266-84CA-2603A8E43B68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc13b8c60f11707289dd6c9f344642d5f4e6f46","datavalue":{"value":{"entity-type":"item","numeric-id":1978019,"id":"Q1978019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5c42ec0190aa86d8d02871038b734da9f1543a8","datavalue":{"value":{"amount":"+0.7536867260932922","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":"Q4647531$556E65F4-0BA6-4524-9375-9D78FC80D08D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961630ec63dff09f29a3c353ff4cbc21b52a7672","datavalue":{"value":{"entity-type":"item","numeric-id":5210764,"id":"Q5210764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6856631405d4798b97ae02bc5015a851556827bc","datavalue":{"value":{"amount":"+0.7518249154090881","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":"Q4647531$0B1468E9-F36C-4E50-8ACE-0746C5FE36EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6240e02c8daafdc57ac98fe1b86c47e2ea7911d9","datavalue":{"value":{"entity-type":"item","numeric-id":4610327,"id":"Q4610327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2427c8d8cdef083aebaea41a2436ef759de0f7b6","datavalue":{"value":{"amount":"+0.7490440011024475","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":"Q4647531$7307A016-25A1-4FCC-9B56-563972541554","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647531","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647531"}}}}}