{"entities":{"Q6165816":{"pageid":13300697,"ns":120,"title":"Item:Q6165816","lastrevid":93955082,"modified":"2026-06-05T05:31:51Z","type":"item","id":"Q6165816","labels":{"en":{"language":"en","value":"The merits of compositional abstraction: a case study in propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7721077"}},"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":"Q6165816$EF129903-0ED7-40DE-BA3A-CD07B48F6339","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e69028560f84120ac008bac126f2ae259644e8ee","datavalue":{"value":{"text":"The merits of compositional abstraction: a case study in propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6165816$7F32D851-D399-4700-9F63-20A1BF1637E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5a01b0944a73ddde698e8586d80e93ede494305","datavalue":{"value":"1519.68316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165816$D121AC63-5232-4A85-817F-EA0DA8F699B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"91a5cec31294c5f0d52fc76820209a335332ddf6","datavalue":{"value":"10.1007/978-3-030-22348-9_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165816$FB9FD5DF-919B-4AA5-9DE4-B33A6156D8E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5887fda0e194efa53a5f3440f04d1bf60a9bdd1b","datavalue":{"value":{"entity-type":"item","numeric-id":184519,"id":"Q184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165816$E1389331-728C-4893-83A3-EA5ED14CD7CB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6165816$9FD6C27D-DF48-4AC6-9808-FF0E740BC833","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c377ab7875b781eda1304e6f4ef79ea097f76f82","datavalue":{"value":{"time":"+2023-08-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6165816$76C77528-85C4-40AA-9811-5FF990084DDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ca1346589429ab48b81598f19cd133bf27e037b8","datavalue":{"value":"http://hdl.handle.net/10044/1/73643","type":"string"},"datatype":"url"},"type":"statement","id":"Q6165816$29CEBE33-05F3-49AB-970C-E7BCBAA6EC73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165816$D602D85A-498F-415D-98F8-5AA5263EE2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165816$F3EFA351-1F9F-4C45-B3D3-8ADAE8115A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165816$1A4F95E6-E2C1-43E6-BE26-E2A1706A7D19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c943bf9393263dd9fe02b0fc20e9b3894249d81","datavalue":{"value":"7721077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165816$CBBC0D82-0902-4D77-AA9E-28C074F08C07","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165816$0AF253C3-BA5B-448B-85C0-29DF15747D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daa5a720b9303b661dc79e2ba472f49f3f1baadc","datavalue":{"value":"prime implicant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165816$06CB928E-EDE0-459C-80B6-208111B8DEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6165816$05F6F743-BDC0-4FB1-8A3F-AC88FF26A9AF","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":"Q6165816$9F613C56-2F28-4E29-8467-EB59417828F7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"119f8a495d9a40b766c1793d28633a37fd6ba344","datavalue":{"value":"W2954040681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6165816$CFBD2F90-C420-4C3F-9F3D-EDB17F31919C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354e42d7b813f501035a1c52f259208402ad939f","datavalue":{"value":{"entity-type":"item","numeric-id":1262300,"id":"Q1262300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ae7275c1eb8daa03ee3009c8ef8436cbcf530a","datavalue":{"value":{"amount":"+0.930712","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":"Q6165816$4C465C40-E129-41F9-BDBF-E4082A52D936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db743f567637b48771682e15b3dc731517fefcc8","datavalue":{"value":{"entity-type":"item","numeric-id":3775517,"id":"Q3775517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04e69ea4639557f8e73da812c50f56ecd4027cd2","datavalue":{"value":{"amount":"+0.91346866","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":"Q6165816$EC0A0C83-F5E3-4AC2-8AC8-BDC8B5E8C31E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d4dcf217d33fbbf41640637435d2b4517e912e","datavalue":{"value":{"entity-type":"item","numeric-id":5277767,"id":"Q5277767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e6a20071389dfc80d6598ade878e23b4e40c208","datavalue":{"value":{"amount":"+0.89205736","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":"Q6165816$7FCD4BD4-0B1A-4C06-BF68-E410429D2D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"539af1f29a63fd967a7fa7e490d1c41cccd980f9","datavalue":{"value":{"entity-type":"item","numeric-id":672703,"id":"Q672703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b9fb5d90efd3eecf6a7ab1af7cae1b1295e09a2","datavalue":{"value":{"amount":"+0.8859895","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":"Q6165816$B25DA71F-99DA-4164-8257-D430E94DA0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00aca7c03c64ed75a1eaf16ca34e9b3b51497b5d","datavalue":{"value":{"entity-type":"item","numeric-id":1314414,"id":"Q1314414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"193d2798ee3a4909bd9ecd614ba3c2b183b43260","datavalue":{"value":{"amount":"+0.88085955","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":"Q6165816$4BFE184F-0B5B-4B00-A574-9E8A07B5A3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19e77784c701cfdf07eb85ea483ab72521d74a6","datavalue":{"value":{"entity-type":"item","numeric-id":5712546,"id":"Q5712546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7692f8dc6bd235bd8f5b8cd268507b8012bc04eb","datavalue":{"value":{"amount":"+0.87565804","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":"Q6165816$74F679DF-461E-4B7C-B396-B9C14BF8BDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751570f5752c2c24c39a8f6620841facdcdf4c90","datavalue":{"value":{"entity-type":"item","numeric-id":5449610,"id":"Q5449610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40ddb50f1dbe2882fc75595ed4d3ba1806f8dcb","datavalue":{"value":{"amount":"+0.8755095","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":"Q6165816$10062C2D-E9D9-439F-B154-A93A379E10EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d976d9cac9281f0a407ddde26f6999c5cba1c38c","datavalue":{"value":{"entity-type":"item","numeric-id":5038472,"id":"Q5038472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e42476afa9bb9bb37d058253c289206e3753eb87","datavalue":{"value":{"amount":"+0.8704655","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":"Q6165816$5EA1223A-50A5-4EF9-98E5-43E332BBC6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50af0a0a74dab26ab63c70322d9685125b56f1c2","datavalue":{"value":{"entity-type":"item","numeric-id":4372904,"id":"Q4372904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d949855440fd2bcd3cdeb715ea591c215d62f640","datavalue":{"value":{"amount":"+0.87018263","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":"Q6165816$71CC8EF0-9702-43B4-AF1B-B38185825DF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33dd1692066300adc39b389ed3ac46a189b10008","datavalue":{"value":{"entity-type":"item","numeric-id":3460074,"id":"Q3460074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873c4c958c441e951392bcc499c1f81ffa384f12","datavalue":{"value":{"amount":"+0.86981654","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":"Q6165816$37679F12-FDAD-46D2-B4B9-2A81D3EFB980","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The merits of compositional abstraction: a case study in propositional logic","badges":[]}}}}}