{"entities":{"Q692175":{"pageid":694024,"ns":120,"title":"Item:Q692175","lastrevid":51607589,"modified":"2026-01-19T01:25:01Z","type":"item","id":"Q692175","labels":{"en":{"language":"en","value":"Consequence mining. Constants versus consequence relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6112533"}},"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":"Q692175$C4915647-99E4-4B42-B930-CB7064E98E75","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd61385ce78234537f054afe598450bce913dba0","datavalue":{"value":{"text":"Consequence mining. Constants versus consequence relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q692175$3E34AB33-0C5F-4DBC-BACF-B6C644E180C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e30f6dfb80251d6a1fad56fc8c98924d8f29c351","datavalue":{"value":"1272.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692175$9AC2B469-5BED-42E7-859D-0AA1FC32BDDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e72d8b4b4ad4bac8c27d94c297fa6c6dcb0e83a","datavalue":{"value":{"entity-type":"item","numeric-id":692174,"id":"Q692174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692175$4D4B198E-2E09-4C73-9427-87FB0DB49054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c414b98e35b0926af8d4fd55e015b844d4b045e","datavalue":{"value":{"entity-type":"item","numeric-id":383073,"id":"Q383073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692175$CDE55AB9-23AB-4EFD-95C5-3BDF54EB8050","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692175$E41A3B3A-5DFF-4AEF-B2B3-9013D605FF55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"891255cb5cfc7b67e7ef7115dc91b547aa6e665c","datavalue":{"value":{"time":"+2012-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q692175$409AEB25-8350-4EF1-8579-7EB8387D0C0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692175$2E7E0479-2CEE-4B2C-BF83-C46DACF8949A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692175$D2BDB865-E3E1-49A4-8F3E-6DF6B5DDD972","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4972fef6501cc8fd073b3d25d5ff0a596443fc4","datavalue":{"value":"6112533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692175$1AF741B1-A100-418C-8EE3-A98006F42127","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c67ea07d8b0208e6dbdc28dc1eb63af6e7fd381","datavalue":{"value":"consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q692175$55150FC2-BCDD-43BE-A730-451AA3331D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75995138bb0105a196c613739509ef88184f8e32","datavalue":{"value":"logical constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q692175$6EBB45EC-7382-40A0-B83A-52D18BCBEEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4c49b3550d8b5731fda034699ea4e09421f03d0","datavalue":{"value":"Bolzano","type":"string"},"datatype":"string"},"type":"statement","id":"Q692175$50D05143-F0BA-4C30-888E-0E4A043768C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d6a1e3f27a4846c99cd9693c30c88919adf693d","datavalue":{"value":"Tarski","type":"string"},"datatype":"string"},"type":"statement","id":"Q692175$16BEB473-1956-4DE3-A9E4-D3EE4A15B284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q692175$5C5F0118-5736-4280-A9BF-6616A21A3131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57aa8ea572db498fd691a6b2d91cb7b640710b6e","datavalue":{"value":"replacement","type":"string"},"datatype":"string"},"type":"statement","id":"Q692175$B08C5299-8F11-4C6C-822D-FC673ACCB2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q692175$E5078E0A-DF90-41FD-9AB3-C87539CB007E","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":"Q692175$88384AD6-1C53-4CA1-AF7D-28195EDDE4B0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"00022b9a31cb464091f100f8c5cbbd63cd88bc9f","datavalue":{"value":"https://doi.org/10.1007/s10992-012-9234-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q692175$B96BE1A1-CB86-4590-A3D9-C216F23FC40D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5341e07562ea4374f6d0d467953232b3ba798e06","datavalue":{"value":"W2047521207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692175$655C5185-EA09-454B-A391-62C6AF3B0716","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3ebb076f10733531a5ed6166ea9f80132d0864e","datavalue":{"value":{"entity-type":"item","numeric-id":3760495,"id":"Q3760495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692175$DA879727-4C0F-4490-BF05-CBD9B9B8A1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0b030626815f29753cf931a8a656cb723536dfa","datavalue":{"value":{"entity-type":"item","numeric-id":5275660,"id":"Q5275660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692175$9BF88A71-ABB1-48FC-9602-386095080831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9546242e17c0eb644ff731f36cb5ca8c0dad79dd","datavalue":{"value":{"entity-type":"item","numeric-id":5387295,"id":"Q5387295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692175$D685F7B4-96F6-44A0-82C8-F8F103F28F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2429792a316854ef73691934f28b41647fa75ff4","datavalue":{"value":{"entity-type":"item","numeric-id":4933256,"id":"Q4933256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692175$D360A14F-1A95-4E1E-817A-878918EED2AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074d24c67e55182cd21845480dcabb77eff36eef","datavalue":{"value":{"entity-type":"item","numeric-id":2526962,"id":"Q2526962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692175$25E4DB6B-14B0-486F-8ACE-A1BBE7555368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb0495b50e16cfa14906a11769d92f1865fdafa3","datavalue":{"value":{"entity-type":"item","numeric-id":976533,"id":"Q976533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692175$74A1C4AF-72C0-49C6-BB94-EA80081DB550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3bfa6429084272e3b286c3ade956221a18f48d","datavalue":{"value":{"entity-type":"item","numeric-id":1353259,"id":"Q1353259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692175$8E5519A5-C65F-4D03-87DD-3420CAF6353F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf09916eb5e3174350343d62a3f8105b456c938","datavalue":{"value":{"entity-type":"item","numeric-id":1924334,"id":"Q1924334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692175$1819FA64-EFA9-4797-8AA1-FB9ABDC09F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bcc1486a2f18c590785ed809ebe92a0a3e4c9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4159022,"id":"Q4159022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692175$DE8FC494-67D6-4C1D-B259-CAB450F049EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23732ac283c991e9d1d60ac7c4046d29649b2de","datavalue":{"value":{"entity-type":"item","numeric-id":3240239,"id":"Q3240239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692175$589FEB86-8493-4CBA-B6CF-7CCA06585419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cea366c18f6580ba2ca453e5db5d695103cf0d5","datavalue":{"value":{"entity-type":"item","numeric-id":3758801,"id":"Q3758801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692175$B0BEFBF5-574D-49DF-82FD-AACE1C9FD1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"102c04f3b7156fefaffa8fdbd240767dc84d1578","datavalue":{"value":{"entity-type":"item","numeric-id":383074,"id":"Q383074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q692175$7CB61571-9D6A-4715-BCEF-2745C0C595DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2471a5fe8dcc980927284c87b4e4ab911f9e1c5","datavalue":{"value":"10.1007/S10992-012-9234-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q692175$CEE12C42-E0B0-4419-ABD1-C56C93F8A324","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b93483a203804201a7d897b4db228c930183eb9","datavalue":{"value":{"entity-type":"item","numeric-id":383074,"id":"Q383074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5296c427c2ea70edcdb86604d8e1eefb95f0bd6","datavalue":{"value":{"amount":"+0.8912161588668823","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":"Q692175$BA1DF434-53DA-4D13-938B-6629DE9F0E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40de824a51261381fdda0a3935a791000093866a","datavalue":{"value":{"entity-type":"item","numeric-id":4933256,"id":"Q4933256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7886acd176bea9501b97a52b7a7dd3948b7578ec","datavalue":{"value":{"amount":"+0.8157492876052856","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":"Q692175$B4F3A8C0-2732-4AC1-AF15-291FCCBE55E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fd9310e809c87b18c778fd322342858ac9a8325","datavalue":{"value":{"entity-type":"item","numeric-id":5411401,"id":"Q5411401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1301b3b57bda522c579a9ff2845367e48388a422","datavalue":{"value":{"amount":"+0.7073084115982056","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":"Q692175$A349E363-F03E-4237-9962-B0F95F74C8C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60481e0225b047796e746cc6782694a405afdce5","datavalue":{"value":{"entity-type":"item","numeric-id":1941731,"id":"Q1941731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d42e370f3401fcd347b0b5fc5ec9d919cf96745f","datavalue":{"value":{"amount":"+0.7030990719795227","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":"Q692175$F363D357-F83A-4778-820B-638B3861F5A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fce9ae01a9729d12056469d503ada12c4439e47","datavalue":{"value":{"entity-type":"item","numeric-id":2901202,"id":"Q2901202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5f223e9591518bee50f8c0bb9365f7d8398e39b","datavalue":{"value":{"amount":"+0.7027377486228943","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":"Q692175$E0474012-D74B-49D3-9F22-FE4168B5CD5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:692175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:692175"}}}}}