{"entities":{"Q3568229":{"pageid":5598133,"ns":120,"title":"Item:Q3568229","lastrevid":49581502,"modified":"2026-01-08T01:21:29Z","type":"item","id":"Q3568229","labels":{"en":{"language":"en","value":"SOLAR: An automated deduction system for consequence finding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5722878"}},"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":"Q3568229$C87A8DD1-04F4-4701-9E18-C3075CE97327","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4f7e27c6ea4faab772c1fa4668f08cb149808c8","datavalue":{"value":{"text":"SOLAR: An automated deduction system for consequence finding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3568229$06C7BC12-292F-417F-B50E-CC342A42B591","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a35fa3a120da34175e3a2288ae92e60f284e268a","datavalue":{"value":"1205.68362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568229$A892A03B-AED5-4760-9A21-CA261E2A930B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81ed845f7ee9393a7ca5e09cb7f9669948286788","datavalue":{"value":"10.3233/AIC-2010-0465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568229$08A82535-2F06-4094-BFB9-E464166598CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5addc80134eb39ecb67a3766ae23c1b7957f9de","datavalue":{"value":{"entity-type":"item","numeric-id":374192,"id":"Q374192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568229$D40B6D91-6069-4F66-BFC4-E81C9B6A7A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b5c0443f0edbf8f4ec931e74251dadf50845060","datavalue":{"value":{"entity-type":"item","numeric-id":439022,"id":"Q439022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568229$6750616C-1A6B-4059-8277-D58D5F242AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54e804c1f7efed58c4ab3563ef841d7e67b0819c","datavalue":{"value":{"entity-type":"item","numeric-id":374190,"id":"Q374190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568229$D8C030AC-1F83-4941-8924-1E0D79AAA48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"913ba8ea85c0e7d6fedf46eb670cc9a3e411b7a6","datavalue":{"value":{"entity-type":"item","numeric-id":2460296,"id":"Q2460296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568229$FEDE73C4-A92F-4600-9863-5A5938AECB07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b0d5ef245f17a6ec236579b9502514ae3fc93c36","datavalue":{"value":{"entity-type":"item","numeric-id":2811219,"id":"Q2811219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568229$0CA4F1FC-0EB0-4262-A932-BCDC4B433B05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f3ce47aa4f0dc34b47bc79e3d35b38da1ee5e5f","datavalue":{"value":{"time":"+2010-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3568229$251DF830-7703-4309-B936-7259B19D4535","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568229$7D0C4D0F-0192-4AEB-A1DF-EFA1A60A982F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568229$3B643073-9055-4155-8C63-99BDAA7C0F32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abc6191390d8efa5fff23921f8ab8355d78dee94","datavalue":{"value":"5722878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568229$F02CAF47-1C48-436C-83C2-C869EA525573","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd9e4bd8f264571f02228d752cfd876f0093e7c0","datavalue":{"value":"consequence finding","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568229$A396683C-B8F4-4282-9FC9-931975C35629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568229$732B44B9-DA15-4E3D-A057-F5B10E12CA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddf656f9883484d3bfdd60266ccb1199976a3b6c","datavalue":{"value":"SOL calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568229$0D3C2963-9D75-47E6-B710-76B252E6C12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098925cca13caec604ae9347f1b8673ec619b16e","datavalue":{"value":"connection tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568229$261CEDE5-201F-4862-9A87-4B53908AF504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3568229$4576DE90-502D-4344-864A-75A9477CC805","rank":"normal"}],"P1463":[{"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":"Q3568229$ED398E26-78A1-4466-A46D-6955E3066AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3568229$18057C4F-416A-4D7D-947F-A91832B971F2","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":"Q3568229$9E9C2E1D-5127-4B7D-851E-669CF25C8580","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c20a68335b4909d34dc3c5b74cd41b657889e614","datavalue":{"value":"https://doi.org/10.3233/aic-2010-0465","type":"string"},"datatype":"url"},"type":"statement","id":"Q3568229$D453A3C1-32AB-4B17-B994-CC8047F4EDAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5229c2ea382381da61dd5792d367441cce2681f7","datavalue":{"value":"W1795691572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3568229$6FC97424-4045-4BCF-A34F-3285A4AE5D1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca772cfc8a092814b0b5da7fbfeccdd7569aa7a1","datavalue":{"value":{"entity-type":"item","numeric-id":5187874,"id":"Q5187874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd8c96de8cdf0fce5b0036e1974b842398a7d0fd","datavalue":{"value":{"amount":"+0.96314454","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":"Q3568229$9F481A1D-2846-4DA9-935C-E84A1F249C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04b91ca97086d9f884255edbbcd731340f2d9579","datavalue":{"value":{"entity-type":"item","numeric-id":5717462,"id":"Q5717462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc529ed761e20d5f9a301dde8bc667ab7987194c","datavalue":{"value":{"amount":"+0.8235867","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":"Q3568229$9CC6451F-33F1-4BEE-AFC1-9236C88C34D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdeb7d7da162a5ed97c2dc87b40784b5b151e372","datavalue":{"value":{"entity-type":"item","numeric-id":1821564,"id":"Q1821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1017fca50df857e979c963a93c8b28e2364c993","datavalue":{"value":{"amount":"+0.8222293","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":"Q3568229$667F7C15-68F6-4176-A47F-7E64A6B1D02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbcbe223704ceaa37b7c6db33c49e8c01359625b","datavalue":{"value":{"entity-type":"item","numeric-id":2792411,"id":"Q2792411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b786e385c638fc6ec207bdaab7bf0ed7bf95a8","datavalue":{"value":{"amount":"+0.82026786","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":"Q3568229$9F793225-5A0C-4085-869F-22B87ECED232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ccfeff7a60e002b4c5c289281a7727e4b23ee33","datavalue":{"value":{"entity-type":"item","numeric-id":4934146,"id":"Q4934146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f40fbab0545d2be9d47ffda42a62bdae56fbfbdf","datavalue":{"value":{"amount":"+0.81863266","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":"Q3568229$7EA6CFDF-1A00-4ADF-A9AF-7F7DD11004DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13c39ceb87b78fa19ce5077c814a791a68af5067","datavalue":{"value":{"entity-type":"item","numeric-id":4941841,"id":"Q4941841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2407f107a67fd117234e863c48ca531669325ddc","datavalue":{"value":{"amount":"+0.81530786","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":"Q3568229$6276A946-BCC6-4AD0-8B53-1619DB62218F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1cfc853f4f5e9b8d94062b825701b06d4af5a08","datavalue":{"value":{"entity-type":"item","numeric-id":3738607,"id":"Q3738607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1433478f9f9c37f5ac6a326e7d71c1e417e1d99","datavalue":{"value":{"amount":"+0.81389976","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":"Q3568229$2FAD3043-DFF1-4239-98CC-78DE999B1774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"260296261f3b89b9b0cda5aa074252bd3771c64a","datavalue":{"value":{"entity-type":"item","numeric-id":3371151,"id":"Q3371151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25e15ed419dcaf2e144a84a5502560fd954473dc","datavalue":{"value":{"amount":"+0.80913883","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":"Q3568229$4BB6B8B3-6977-41A4-95E3-285F47EF236A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f895d2fc3e79419e1b588d4529d4e867661c3fe2","datavalue":{"value":{"entity-type":"item","numeric-id":5427794,"id":"Q5427794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81f361339528fad50199560c9e75a2c68c359387","datavalue":{"value":{"amount":"+0.8086971","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":"Q3568229$0FAB21BD-0F9B-4BB3-9AF4-ACEBD1BA3D0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3568229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3568229"}}}}}