{"entities":{"Q1308780":{"pageid":1319530,"ns":120,"title":"Item:Q1308780","lastrevid":68420979,"modified":"2026-04-12T23:35:37Z","type":"item","id":"Q1308780","labels":{"en":{"language":"en","value":"The approximation of implicates and explanations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 465055"}},"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":"Q1308780$C6E026C2-A5B8-4CD5-ABAE-AC5C007DDD07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"06593beb8ab541b2ed707aebf845cff9f7714c3b","datavalue":{"value":{"text":"The approximation of implicates and explanations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1308780$4ADE575A-335A-4C4C-B8C9-20ACBF76258A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ed26981e919c832d831d13a09d5c1323089bc95","datavalue":{"value":"0784.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308780$03B143DF-B980-432C-A7E1-DA072921AB55","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e579692e98f2abf28884ee3e021d89ab85eaa53","datavalue":{"value":"10.1016/0888-613X(93)90015-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308780$B5481AE6-2B54-4123-8C18-E8D2DFBE35E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef1f886ce1b2c0f823619c8171d3cea5f9a498ed","datavalue":{"value":{"entity-type":"item","numeric-id":917334,"id":"Q917334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308780$E3F07584-6687-4FC7-AD42-9B45171B3D97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308780$F5419862-8AA1-4E7D-B1DE-5D1FB5BB68F3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfa83dfe242286f2c7f1760d1f15161b0d20dbeb","datavalue":{"value":{"time":"+1993-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1308780$DB0B32DD-7ABF-48FD-97F3-F462C8ECD14A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308780$8F6667DB-AAED-4AD7-906C-5D9EFF344751","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8758841879218b6fce1fac2f50e00f18b98792fb","datavalue":{"value":"465055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1308780$4A256847-319D-4B5F-A251-52C3633D73D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92e4c6ff77aed846d45212edb09fdd54a5bcb76f","datavalue":{"value":"query-based implicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308780$1C94AE5B-5477-4641-8B4E-02AA5A58AAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77c9af677753dd43f0c337f2d0d76645ac026aae","datavalue":{"value":"ATMS-based implicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308780$4DA218A2-415F-40F4-994A-440E52EF2EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e6b2e4d8101fc7466f9512f36c1a238f7b22338","datavalue":{"value":"length-based implicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308780$EE5BD64D-0CA6-4AED-8036-051B0B1BFADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd21ca50aaa8fa55724b03bdc320b09e3690f95d","datavalue":{"value":"computational abduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1308780$BF7215AB-AC03-4723-B265-DBC7B8508D20","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":"Q1308780$E36F5C00-57B2-4E9A-A702-769B5F5B44EB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0713a7c5a2e67347359f9b1dab907e90d646cfd","datavalue":{"value":{"entity-type":"item","numeric-id":1182159,"id":"Q1182159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308780$5005FA1C-D1F9-4D77-AF5E-D8AA3800CC5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f2d30ff9736e273353ee12998df77eb6b21c13","datavalue":{"value":{"entity-type":"item","numeric-id":917336,"id":"Q917336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308780$7DAA7689-1624-4FF5-867F-10DAEFD7AAB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a3e48627a17242983a37c22a2a559dd3e9026cd","datavalue":{"value":{"entity-type":"item","numeric-id":3198897,"id":"Q3198897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308780$C55FCE9E-F0C5-4DCC-BC13-C579A2F64DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919ae8098d5b29c7a0790b1aca3f35e61168b7fb","datavalue":{"value":{"entity-type":"item","numeric-id":5750448,"id":"Q5750448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308780$7340C8CD-EDB7-4541-8D55-32854F2E7938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308780$DDB0CA0F-178A-43EC-B4AD-A70BD6001F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45cc2363be2a12bd9971ae6fb9370037234d3ab8","datavalue":{"value":{"entity-type":"item","numeric-id":1251656,"id":"Q1251656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308780$08CB95E9-0EBF-4DF0-A7E3-CB9897B16124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3473eed0b42d8882044e6832ec67f9aafdec7f3","datavalue":{"value":{"entity-type":"item","numeric-id":5721398,"id":"Q5721398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308780$79B52041-B5EB-4BC1-89AE-57141E1FC394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a170af516145ca9c0e5963c08cb024ad4f2af17","datavalue":{"value":{"entity-type":"item","numeric-id":3489523,"id":"Q3489523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308780$6C0D984F-43D9-4BA4-9529-FA8321C41E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2815fc1dcac3d3af1a233b6e9efdc1646b9856","datavalue":{"value":{"entity-type":"item","numeric-id":1104128,"id":"Q1104128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308780$A64B2ED5-4260-4941-A15D-19FDAA77A105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"214d7f9462e6ac8c2fbe6cae63760207e37ea522","datavalue":{"value":{"entity-type":"item","numeric-id":1308780,"id":"Q1308780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1308780$70AB1004-5CFF-4E35-BD60-B3532F9A8919","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d7b28b2316ebd61c40ba225f891f0790dd426c","datavalue":{"value":{"entity-type":"item","numeric-id":4737597,"id":"Q4737597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd3c17392614b4de72bef8adca7c30721f4fcde8","datavalue":{"value":{"amount":"+0.7591679692268372","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":"Q1308780$F95CC604-5264-4F72-B2FF-F345735B07DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e1f88e89b49b36a41e68407b0fd32b3db35fe39","datavalue":{"value":{"entity-type":"item","numeric-id":3546348,"id":"Q3546348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b43839e605e7c4ec3ad9aad9eb512c6eb284bb2","datavalue":{"value":{"amount":"+0.7308244109153748","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":"Q1308780$B4EA8956-5267-4EE5-AA47-F0DC6DB00ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74a4554d96402d1fe8c7fb590a537976cb148c53","datavalue":{"value":{"entity-type":"item","numeric-id":4736938,"id":"Q4736938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cb11b6670b53066ead00d4011f5f02776348c12","datavalue":{"value":{"amount":"+0.71558678150177","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":"Q1308780$66849B4F-86A1-4F97-BBE9-82B7F4E1F926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d098bdfe113d82f6fc3f33e56dbfba66187ed7e","datavalue":{"value":{"entity-type":"item","numeric-id":2674205,"id":"Q2674205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbf764355e817bf30eea8811dc3dd91dca88226a","datavalue":{"value":{"amount":"+0.7133108973503113","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":"Q1308780$F3880D11-3FCD-4C1B-B840-B1EA0652FE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"923173abf1f8f34e053b13da1a495c5f9b71d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":4281509,"id":"Q4281509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f54a7a8a3afae066db2820d7242dac592be7e181","datavalue":{"value":{"amount":"+0.7114547491073608","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":"Q1308780$3D514A0C-6C08-4A0D-A106-48E696401842","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The approximation of implicates and explanations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_approximation_of_implicates_and_explanations"}}}}}