{"entities":{"Q3525003":{"pageid":5554907,"ns":120,"title":"Item:Q3525003","lastrevid":49020721,"modified":"2026-01-06T11:57:51Z","type":"item","id":"Q3525003","labels":{"en":{"language":"en","value":"A Compressing Translation from Propositional Resolution to Natural Deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344248"}},"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":"Q3525003$59A122C1-6E72-4A72-8F9E-E8B8F7A244A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1f57c937575775f0f3654452b9ef1953ca2a95e","datavalue":{"value":{"text":"A Compressing Translation from Propositional Resolution to Natural Deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525003$425D58DB-AD7E-429F-969D-165EF4782D2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60076442d30cc625c8d7d612b3d3d9cfde97d7a6","datavalue":{"value":"1148.68464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525003$38D0D5CF-6B6F-4AAA-A1E8-86E07903C9A6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c4aeff0a2ec53a3da5d430952a8db81f99456a6","datavalue":{"value":"10.1007/978-3-540-74621-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525003$1866C092-AE20-4B5D-8EF2-E96153D7DD66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32584f5c482e29078ea6b6dcf1d1dfc11c06bcbd","datavalue":{"value":{"entity-type":"item","numeric-id":469351,"id":"Q469351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525003$917616D2-E595-48A4-B9ED-71F239E65631","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525003$38B5C9FD-46C0-4FCD-9A18-02D1707DA30E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525003$E78286EC-1F89-4927-873D-79AE4B615892","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525003$6307F2B0-D503-4C6E-A3FC-54B25043D8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525003$540B955C-9B7B-4E92-9336-A37BF468A922","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b7247b978e5824bd2363bbb99b62a51075b304c","datavalue":{"value":"5344248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525003$FF59C313-F09D-4BCE-9C26-B608791A3E61","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525003$53876D06-5F07-482A-972C-7CC81C39F157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525003$BEA6EA22-9AD4-49C9-9ADC-E674931B672B","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":"Q3525003$1E65F81C-6C1A-458E-AD1A-CC8ECFEEDBCB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"254b0fc5813fe102d3360b54ffacf27351427582","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74621-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525003$6BBE1926-B245-43F4-8351-E542C69C5C7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48bff87cafba6c2ef5580e88a22597d67ea933a7","datavalue":{"value":"W1582330620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525003$810E9021-A241-4D09-9497-E57A6466ECEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03ceb7e46e48a3c180bb24510622e75536ca9f3a","datavalue":{"value":{"entity-type":"item","numeric-id":3081241,"id":"Q3081241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922f59c2746e0f464a945f0f8fbfd91d79987306","datavalue":{"value":{"amount":"+0.8962749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525003$5B059BCC-3ED9-4277-A259-BAB82AE90B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57ad7e4eca72a694345060d15fef735922b1f6d2","datavalue":{"value":{"entity-type":"item","numeric-id":4982108,"id":"Q4982108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d9fafe7b576a39fb95ca93e897eced0812c509f","datavalue":{"value":{"amount":"+0.88801","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525003$78909030-AB39-4410-AEDC-B9DB66292FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab26edf1fc181f17d051519482c54b44ff1e475","datavalue":{"value":{"entity-type":"item","numeric-id":5053007,"id":"Q5053007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8251424a1b30d6828fc8aaf03aa5a530c546038e","datavalue":{"value":{"amount":"+0.88680017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525003$F61DC8A3-5C29-4B88-8E03-4FE6B51CE03E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97cabf5f2c4a3e5f3456b0f010aa873907e2dc1","datavalue":{"value":{"entity-type":"item","numeric-id":4434498,"id":"Q4434498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cfcdbdc2ebb4d06179f0a62fce2c244cffdacd4","datavalue":{"value":{"amount":"+0.8838715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525003$62109BE5-EB22-4FAE-B2B4-576A971AF0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36b1f31f0bb5689edb3b47bb744c18b5266f7c34","datavalue":{"value":{"entity-type":"item","numeric-id":2851933,"id":"Q2851933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"376c9e174b60e520c99c140259f87f0ea614bab5","datavalue":{"value":{"amount":"+0.88221866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525003$98AEB069-01E4-43A9-98E4-823930CD8401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d274b4cbfd2cf8082428f9da681da5d1f45c112","datavalue":{"value":{"entity-type":"item","numeric-id":2957671,"id":"Q2957671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42b5aa7f083c1b2521d89a4df25785dc59953d3e","datavalue":{"value":{"amount":"+0.8794324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525003$060E1C1B-D29F-4851-9147-1AD4AF9E4FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da142d350185a41280ffb301861d1ff6d39ef038","datavalue":{"value":{"entity-type":"item","numeric-id":5200028,"id":"Q5200028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ba2ab2d46a234b2af6b63046a1329842e98b75","datavalue":{"value":{"amount":"+0.87911946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525003$95EFA2B4-0ABA-4CE8-8A87-E771AF6B449E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b80fca7f62860281b4adc1942417ab1f4d67b95","datavalue":{"value":{"entity-type":"item","numeric-id":851139,"id":"Q851139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e8fcd7092025b2295df43e10757ad64cacd5786","datavalue":{"value":{"amount":"+0.8766435","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525003$EC4435B9-68C4-4809-8CE6-E83963E12546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00208d8e95432131ada27b43b8097d607ab26759","datavalue":{"value":{"entity-type":"item","numeric-id":2746598,"id":"Q2746598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a20efefd5ee90c47bb3085aa742d9f0ae5f429ce","datavalue":{"value":{"amount":"+0.8749294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525003$7BE6ACB1-F07D-4107-9AF7-6F94F05AE68D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cb1040f20c43ba4b6c8f99391534f60de883ca","datavalue":{"value":{"entity-type":"item","numeric-id":3455774,"id":"Q3455774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a488e2eb721d5579c5eb702e7e78e0d6dc273ca2","datavalue":{"value":{"amount":"+0.8748212","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3525003$93E1CEFF-A019-48E6-A864-97D72075ED9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525003"}}}}}