{"entities":{"Q4373015":{"pageid":6402614,"ns":120,"title":"Item:Q4373015","lastrevid":39857615,"modified":"2025-01-27T19:04:53Z","type":"item","id":"Q4373015","labels":{"en":{"language":"en","value":"Frege and the resolution calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1098626"}},"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":"Q4373015$568C5C22-CBF6-4768-8517-683DF1508DBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"640be1b832c1a85940167a2dfaeca1524ff6817e","datavalue":{"value":{"text":"Frege and the resolution calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4373015$CCFB7241-AE12-4E2C-A88D-9BC0B3936C8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ddbcaec37f7dd0422154865071193ae260a6eab","datavalue":{"value":"0889.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4373015$C8661CF0-C116-4851-AEBA-C18625C500CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f7f89fe78ed0c582be7a48f76efba5bf3b62671","datavalue":{"value":"10.1080/01445349708837278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4373015$2632939F-2FDA-4160-9D50-4ABD51EC6A47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79a110f1ed4fa3764142d6f2e9807097c2edae37","datavalue":{"value":{"entity-type":"item","numeric-id":383069,"id":"Q383069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4373015$50EA6D95-8D13-40AB-84B0-8A33BD059EF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17af3acb8fbbf15cacab125c0d45264f400b5a22","datavalue":{"value":{"entity-type":"item","numeric-id":2757958,"id":"Q2757958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4373015$081491AF-FF6A-49BC-98EC-EB897BE606BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7973a90269141d62c572638d0658f506dd7b9df5","datavalue":{"value":{"time":"+1998-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4373015$76D81870-7069-4E0A-B2F6-3513082460F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4373015$AB607C18-ECBE-414E-A932-FEEC17C70F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7bfd0f006165ee82fae761f80e1a04a7310780c9","datavalue":{"value":"01A55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4373015$A036503B-9DC6-4CD0-B39A-46772C0F2CC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c046f34b21ff1b9176ad14a88d2568608dcfdfd","datavalue":{"value":"1098626","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4373015$BA124AFF-7648-44C4-9525-24F2BD6FAE8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"395758313ef29493edc27c8b5c118191a1f287a6","datavalue":{"value":"elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4373015$0D852207-41C6-4150-B314-4A4BD3D6F24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73a0cf77ac822c82f34614cd0b3bf097336e98b1","datavalue":{"value":"resolution calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4373015$6D58DAB4-4B33-440D-A65B-46029CB7FCFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2347ca22b8b3c9583c76043de5574b36c7df137e","datavalue":{"value":"Boole's problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4373015$83DB85B0-F8E6-4B83-8EDE-912183B26A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09764f38a677cc419c41406e4cd115ba9eb2d6b6","datavalue":{"value":"Frege","type":"string"},"datatype":"string"},"type":"statement","id":"Q4373015$68ADC2D3-FDB3-4501-8347-B8405967BDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb426102764fe1a8dfec9c3d52625fba40ea705f","datavalue":{"value":"sequent","type":"string"},"datatype":"string"},"type":"statement","id":"Q4373015$A65A80D8-1C27-4BF1-8DBF-7FA989F41FB7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"aef894b3e851263b85bf0a1b4f821939eb2df57a","datavalue":{"value":"Q57552577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4373015$F4E8E005-B573-4A9D-8DB9-D8DCADCDE1D2","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":"Q4373015$5DAE0F4C-F7C8-425E-B2CC-269BF23B25C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f342d1a191ffede99eea3ea445beb04d0507833","datavalue":{"value":"https://doi.org/10.1080/01445349708837278","type":"string"},"datatype":"url"},"type":"statement","id":"Q4373015$900C2C07-8F7E-407A-8EDD-4C0E4E0A6EBF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33b8e31920cb958a089266a43dea460c4fd9aa24","datavalue":{"value":"W1982003586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4373015$12B84613-54DF-4C59-959F-00A5B3B732F5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc76312ff380de47de6b8e5da423dc731f0d670","datavalue":{"value":{"entity-type":"item","numeric-id":3069694,"id":"Q3069694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4373015$3D8065A7-9E8C-4BE4-B6DE-4B760D735E15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8bf1eb0085816c68ff7078182501fe6b0337105","datavalue":{"value":{"entity-type":"item","numeric-id":3743300,"id":"Q3743300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4373015$61D1669F-163B-4B6F-B973-BFFCCEA75587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1281149c1215b97559efd6dddd16d858ebda0d4c","datavalue":{"value":{"entity-type":"item","numeric-id":4862201,"id":"Q4862201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4373015$7737C4E7-C02C-43A0-8CA2-32880D67FA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd7f4ac2c4d2314fae83403dbcb7eab5f78434cd","datavalue":{"value":{"entity-type":"item","numeric-id":3864488,"id":"Q3864488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4373015$9DFD1BB9-B1D8-4C6B-AC65-89813D2D8750","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47364fde9ebf6e96b34ec3eabfe56c52293f7e22","datavalue":{"value":{"entity-type":"item","numeric-id":4604257,"id":"Q4604257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76db40bdf6c63c771d4ed49798bf6a5b5fe43326","datavalue":{"value":{"amount":"+0.7694371","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":"Q4373015$24910F7B-22D2-4928-A101-B1CC560A5D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dca0ba7b518eb1ee54e144d4da8db903d31a745","datavalue":{"value":{"entity-type":"item","numeric-id":1096601,"id":"Q1096601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2c1474cc18e90291883b4fc5da17686a0d8378","datavalue":{"value":{"amount":"+0.7539216","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":"Q4373015$D4517E81-CA14-4269-B924-7F0B20D81B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17bd45504318344fdaf9d755f32c08c20ba8829","datavalue":{"value":{"entity-type":"item","numeric-id":4942686,"id":"Q4942686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f7712a4f87ecd50e1413a261fda5b21a8f4916","datavalue":{"value":{"amount":"+0.7526197","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":"Q4373015$56DAA95C-BAD6-47F1-8D2F-6DE545495DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e54e7b62a01eb8000824835754b3541ca04162c","datavalue":{"value":{"entity-type":"item","numeric-id":5553249,"id":"Q5553249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6081c8482ebb0bb18c917ffaa616a9333bbb26","datavalue":{"value":{"amount":"+0.75203425","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":"Q4373015$870C59F9-028D-49BA-921B-B21C6C61FD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa374ef8108031207046057f7313d53687286ef","datavalue":{"value":{"entity-type":"item","numeric-id":2835481,"id":"Q2835481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e4f5a0e1091f32f5914dbb528ce0826ec1df00","datavalue":{"value":{"amount":"+0.75071853","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":"Q4373015$E228D34B-2D1E-411D-9F10-47E54DEE330C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8520ae25958038b387ce39abbaa4380c0f29573c","datavalue":{"value":{"entity-type":"item","numeric-id":4289238,"id":"Q4289238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99cb629b40d03c8837aa803d078abde2427651b8","datavalue":{"value":{"amount":"+0.75028175","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":"Q4373015$348C2A7D-8E86-4D3C-82C0-C7EC59DA2488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01460d227b3dcb636cb90bac46b1f10871b261ea","datavalue":{"value":{"entity-type":"item","numeric-id":1532720,"id":"Q1532720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5330b7f567da156014f10bd2852ae599c613bc7c","datavalue":{"value":{"amount":"+0.7487863","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":"Q4373015$649969BC-3EB9-4842-9EF3-415A57A91F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1725d862154be2cac79b26f64acb64002315677a","datavalue":{"value":{"entity-type":"item","numeric-id":3744148,"id":"Q3744148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ce115a81607b33ffa538cc9053239f5a77df39","datavalue":{"value":{"amount":"+0.7477983","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":"Q4373015$A12DA092-E041-4A0F-BA90-F186C23B74AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d2eb4d732b138ec999a39c78cda9df338b053d","datavalue":{"value":{"entity-type":"item","numeric-id":3063974,"id":"Q3063974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ee5db7190459824ca5d8885b3d0ccc4635ee43c","datavalue":{"value":{"amount":"+0.7471415","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":"Q4373015$FA22E3DA-CA35-4A03-AA74-B663169DF5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2aaadfe5738475d87b64f5dfff7719ad4f38ef0","datavalue":{"value":{"entity-type":"item","numeric-id":4471935,"id":"Q4471935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c82fa06b8ca8e2dff9c9010f45678ac7840ecc1","datavalue":{"value":{"amount":"+0.7467868","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":"Q4373015$CA899EB6-3808-4167-AE7A-DFB54C9D8EA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4373015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4373015"}}}}}