{"entities":{"Q3541718":{"pageid":5571622,"ns":120,"title":"Item:Q3541718","lastrevid":80954606,"modified":"2026-05-06T17:22:59Z","type":"item","id":"Q3541718","labels":{"en":{"language":"en","value":"Canonical Inference for Implicational Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5374258"}},"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":"Q3541718$1EE90C9B-9C42-4BA5-9D4C-CB069C6192D1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d450a303e7a2e83b4eedced39e4e2587117fe90c","datavalue":{"value":{"text":"Canonical Inference for Implicational Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3541718$FBB63BF9-4D67-42DB-AB3F-68C196AD133D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acd8f6ad94ad11a06be310d75a78f004dc5eaada","datavalue":{"value":"1165.03309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541718$741E37EC-2906-4216-83B2-F40326FA0037","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9bc7ec1c052ccb90e7df50cd5ef9cab299889b6","datavalue":{"value":"10.1007/978-3-540-71070-7_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541718$C2FADB21-B286-4922-A6F9-D5E735F108D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b455290f5b835c3773a6eb2262897ac70e7a163b","datavalue":{"value":{"entity-type":"item","numeric-id":287273,"id":"Q287273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$F50AACC0-179E-4385-88C2-0CEF9B915A5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"423424ed34b7dac382d00344caf66effb4c7fafb","datavalue":{"value":{"entity-type":"item","numeric-id":199247,"id":"Q199247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$A582DDB7-F24D-4140-ACA5-FE6D7C06952D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$CDF261A3-D39E-4C16-BB15-067D9A5707B9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a5749b126b021d85a2ebf6a8aa65ef57ba3c669","datavalue":{"value":{"time":"+2008-11-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3541718$A95C7684-4C9D-4092-98FB-9D5892F239EA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541718$B437D9EF-5C7E-4E27-9264-48A4F0464207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541718$74546809-B678-4ADF-A755-EDFA4E51AFFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"206999dc9c21b5af67fe9bf48365b69bd4c8b864","datavalue":{"value":"5374258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541718$86734389-29FA-4F58-B6EB-E2393FF93E49","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":"Q3541718$4CE25094-004B-4453-9254-1C12C79C42D8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f954828b0a9fab51163329ded6cefd2ad10f0274","datavalue":{"value":"https://doi.org/10.1007/978-3-540-71070-7_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q3541718$46DD1ABC-BB22-446E-8F6B-F559A6DF73FA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"094597f58c44a018241a1425f6663b585cc607dc","datavalue":{"value":"W1593536380","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3541718$38901D3B-2162-4591-BA72-44425C406537","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa3cb4eed92e572c0b080c767bbb92340713510","datavalue":{"value":{"entity-type":"item","numeric-id":4299008,"id":"Q4299008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$24DE8EA6-3F6B-4F55-8B35-A02287018157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fce644f9f846c82ec00e7b8118a4b08947addc5","datavalue":{"value":{"entity-type":"item","numeric-id":4667609,"id":"Q4667609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$F5C601B5-8A80-49E2-B432-7A543EE23135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d47d7f807ff440d37ec1151957e0741b3996e143","datavalue":{"value":{"entity-type":"item","numeric-id":5277771,"id":"Q5277771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$810DBEFF-73DB-4762-97AE-FBC741D3EA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3988f573486bc39534cc4acf743cb25ad4c3b3","datavalue":{"value":{"entity-type":"item","numeric-id":4015955,"id":"Q4015955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$7781BEC4-E806-4664-861C-A34E11D6D3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67be0822f2ea25493074f855c573aed35f47e829","datavalue":{"value":{"entity-type":"item","numeric-id":673134,"id":"Q673134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$49BB305A-7365-478A-80B1-DF99E606EC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3e12a03ecd27f469fd91b07242cf3d7ad54eca","datavalue":{"value":{"entity-type":"item","numeric-id":2741274,"id":"Q2741274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$3BFEB662-AF17-4704-9D03-D156241A8402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ec45a842bd7bf87466a82e7175870b8977fe49b","datavalue":{"value":{"entity-type":"item","numeric-id":3707361,"id":"Q3707361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$751AD032-2998-43CF-967C-45545B3C3B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$0C81C7E3-1CBE-4C15-8F46-109E7C75ED66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c85f2b15a33604f166e71091b012fd17ef065385","datavalue":{"value":{"entity-type":"item","numeric-id":3806799,"id":"Q3806799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$22DE716D-F556-4727-8ACD-6B83A5A9867A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73f079fad88596351ff709cf186cec234a2805","datavalue":{"value":{"entity-type":"item","numeric-id":3723723,"id":"Q3723723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$E2F757F8-F46C-4DC3-9795-BACC5430A533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc4fadbe040952e672c3232da507a94e0f314469","datavalue":{"value":{"entity-type":"item","numeric-id":5805954,"id":"Q5805954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$C2AAC217-8E90-4DCA-A9BA-59D1A0B71743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$0DFC67F4-997D-4D15-A112-E805594D81DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a97d4abf49e9c558b69346dde08cef93db8ed2a","datavalue":{"value":{"entity-type":"item","numeric-id":5234699,"id":"Q5234699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$855D5AFC-08D7-401D-A08F-2BD9D886A604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfe8b3db045c3af5bd936077fb2e74b1125b562","datavalue":{"value":{"entity-type":"item","numeric-id":4443440,"id":"Q4443440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3541718$62DDD838-E2CE-4F2E-99E7-165C0401D62B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9430c489f72d6c4a29f0225e28b518651968a12d","datavalue":{"value":{"entity-type":"item","numeric-id":4916071,"id":"Q4916071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5116b2b583ec385ed4082f5f298f238243a43332","datavalue":{"value":{"amount":"+0.8303446769714355","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":"Q3541718$03A8CF40-182A-4649-B23D-6C79A6685547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a32f5fd7a58acf66da4bb72af39c8f05df37614","datavalue":{"value":{"entity-type":"item","numeric-id":5757934,"id":"Q5757934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e7d327677609b5dffc0d8d533ca0526ac76f6c2","datavalue":{"value":{"amount":"+0.7618346810340881","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":"Q3541718$E4AB010F-5B02-4C79-B1EE-FA40EC2EC13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6426149def64f197a90e55d3a9590501015f4705","datavalue":{"value":{"entity-type":"item","numeric-id":4667609,"id":"Q4667609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff98a85f3b23936b299a612c76fca74cdf6ce32","datavalue":{"value":{"amount":"+0.7420902252197266","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":"Q3541718$F15192B2-ED62-4342-AEE0-D0ED7F77FC2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b18f0f9547a5cf62e001b698d7ffbe52435e519","datavalue":{"value":{"entity-type":"item","numeric-id":5277771,"id":"Q5277771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47ceb1d91a9796894bf6b09abf10448e103638a6","datavalue":{"value":{"amount":"+0.7417169809341431","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":"Q3541718$426FB99C-0D79-40A2-B3D5-4D4D2262F035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fb2995e256b76dcca4a3a251f2a6ae52e3e3c4d","datavalue":{"value":{"entity-type":"item","numeric-id":4299008,"id":"Q4299008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0263926d213496070bfa1327f828bfefa356cb4","datavalue":{"value":{"amount":"+0.7233312129974365","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":"Q3541718$6E721250-139E-4170-8EC5-44F53B5BE874","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Canonical Inference for Implicational Systems","badges":[]}}}}}