{"entities":{"Q3570083":{"pageid":5599987,"ns":120,"title":"Item:Q3570083","lastrevid":51020954,"modified":"2026-01-16T06:04:20Z","type":"item","id":"Q3570083","labels":{"en":{"language":"en","value":"Automated deduction for projection elimination."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5725781"}},"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":"Q3570083$93CE31F5-C11A-4825-9A34-114A0E732D06","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"511a98697331de7a6fe63a6e2cef9d077f7ad88a","datavalue":{"value":"1200.68227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570083$85830239-63C9-4755-A291-8AFCA0E3F090","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3313867e180f61d15d3300f2a46593d6b3819e03","datavalue":{"value":{"entity-type":"item","numeric-id":429593,"id":"Q429593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3570083$AE69FCDF-1738-4AC3-AF66-0CB55441D617","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"caf3f7cd2503675447a84ac318a43c4484b6a487","datavalue":{"value":{"time":"+2010-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3570083$D848FF4F-24C7-4A78-8CC8-E2A0E80DED95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570083$A84905F4-69DE-4D3C-88C1-90CD9332B130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570083$12E1BAAC-9E77-4875-A2FE-605AEA61FD9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570083$545EFE2A-79C0-40C5-80D3-EB42F602C93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570083$2CC42A6D-A5C0-4BCD-B78B-F21F605851E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99ffc8bc73f10cb4da4878df2bbe0d0f962c44d1","datavalue":{"value":"5725781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3570083$2E7D4FB2-2269-4435-9277-7227A354ED53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570083$2A04629E-03F8-4C00-B145-CCB5F9409858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6700c43623ca16f15bcb80c2a5909b1dca1f75dd","datavalue":{"value":"projection operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570083$0DB619A8-3A97-4DA0-8EEB-FF574D686DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570083$9ECF55AA-0663-4DBE-A115-16467C532786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570083$EBAFC6A1-A601-4856-AD89-9F3C4C0EC430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"239c8cb5372e9f4f71c8ed480d01b39e693574c6","datavalue":{"value":"knowledge compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570083$D495A2D6-A0A0-411E-8C8D-529D76B26E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ebcdf1765afe1aa29d302e3c021519c61f81717","datavalue":{"value":"DPLL procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3570083$6176B820-10AB-497A-B04C-13540078CAA5","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":"Q3570083$2366AD10-F5CE-433A-B5A7-C54BB7A4F502","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a57d1d5e58d39857292a10d265ff5b7c562d007","datavalue":{"value":{"entity-type":"item","numeric-id":3648738,"id":"Q3648738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44f178a4b2378b4c3844c4f483655388f1998361","datavalue":{"value":{"amount":"+0.8249484896659851","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":"Q3570083$1013FE33-E94E-48F8-B1A8-7E620AE0E3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1392de29f6bb2d739a648cef15897d7d7f31e291","datavalue":{"value":{"entity-type":"item","numeric-id":3532481,"id":"Q3532481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690917397742eead3a96a90b327a352666fe789e","datavalue":{"value":{"amount":"+0.786187469959259","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":"Q3570083$F5BB2E35-4217-4D51-B4C1-107AD4576BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f8d11c46046bf1ad6678708e62463181f2cb4a9","datavalue":{"value":{"entity-type":"item","numeric-id":2726301,"id":"Q2726301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9782cc80198d067db265969de2865c7b86c64983","datavalue":{"value":{"amount":"+0.7826082706451416","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":"Q3570083$FC734A2E-4ADC-4B7D-BE80-8FFFF4F0CB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3965356b6fe0c2ec5519ba755040cd528bd9bb3","datavalue":{"value":{"entity-type":"item","numeric-id":3543581,"id":"Q3543581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd9f9dd353662bdb98d4eacdd9cc14f5ef6469e0","datavalue":{"value":{"amount":"+0.7267571687698364","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":"Q3570083$3F7A6C7B-84D4-4855-8B55-CF8E19159915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3dc8318726a1951503f698ca413c8df3f8be854","datavalue":{"value":{"entity-type":"item","numeric-id":429594,"id":"Q429594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d223fe5ef5cfa704ec5b6b059d1a96fb0e050ae","datavalue":{"value":{"amount":"+0.7225165963172913","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":"Q3570083$F88129A1-C478-4003-B4A4-36FB8D25C6D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3570083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3570083"}}}}}