{"entities":{"Q4978553":{"pageid":7008131,"ns":120,"title":"Item:Q4978553","lastrevid":91045580,"modified":"2026-06-04T22:07:23Z","type":"item","id":"Q4978553","labels":{"en":{"language":"en","value":"Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6759813"}},"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":"Q4978553$D6ECC44E-A765-432F-B885-695AEF3B4896","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c0726a530a2d3d095e9ea0a4462d6c083ad3a923","datavalue":{"value":{"text":"Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4978553$D1B9A6D3-6CB3-44AF-85A7-9A7EB139BDC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"834aa87523cdb1e44f6e91a40e3d9a206e1e868c","datavalue":{"value":"1373.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978553$C60B866E-8B1D-445B-980E-79285F6A2B5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"683cf4e5d89c0f2ba2ce9ea4c7ad77780f52ae35","datavalue":{"value":"10.12775/LLP.2016.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978553$A5FCF586-33A2-4677-AB15-1AF705CFF88C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d804cf7e485bfddfeb0967f0a2ed09ee96e11180","datavalue":{"value":{"entity-type":"item","numeric-id":1799071,"id":"Q1799071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4978553$01A6985A-04BA-4E97-AEB0-5ABD78A706D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4978553$084E4DBE-ED21-4E4B-A9E1-865039BB9A95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4978553$01376CB0-C7E0-49A2-9FEB-38C301667599","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dbd89f219f4adb4e8c241f0ee7c101999c7b9bd","datavalue":{"value":{"time":"+2017-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4978553$A9A3A2CB-4BDE-41DA-A33C-3D24FC89DF32","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978553$37C6AB9F-D9F4-4474-95F5-9D40FD42F39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978553$15F3A2F2-D55C-4CDA-ABF4-F0B8AD99F2AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1db0c042daa9b59f183d5460dc2cb9429647c0fa","datavalue":{"value":"6759813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978553$E99F46F4-4D4C-48FD-8FFD-3ADAFEC1D178","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4978553$873441CD-B123-441D-A137-FB829C0D3DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0aadc8e4e1e6fa52b339bccd19c289ff32398fd6","datavalue":{"value":"non-classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4978553$98E74D51-2A93-4A57-8E86-7AF9F1CEA474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4978553$802C29DF-09F7-438C-865E-4414628AD6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4978553$683C497F-C5F4-4C2F-B95C-F1F4B62D4091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c63025624a588a2d5aee1e2333aabc7eb290a1b","datavalue":{"value":"semantic embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4978553$04B75125-EA11-4A5B-AB89-9A92EDD97CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7010e5ebaf593fc81efbecd62427d5100a588a3","datavalue":{"value":"automation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4978553$6B5D3B9C-2555-48DB-884A-6B050FF8FC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5476ab0844a53cdbd59a90a0ac7a706c7ad7a23a","datavalue":{"value":"meta-logical reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4978553$34DE9BAF-89C6-4A33-AE0D-5BE863046A82","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4978553$182B58A4-4C34-4895-AE38-5D211DA28EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4978553$B3DDF566-5A6B-4E12-9EA2-4894D726BA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ecb36fec89ff827cd73a8ca1a85f36a2e419c34e","datavalue":{"value":{"entity-type":"item","numeric-id":13377,"id":"Q13377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4978553$34ECEDAD-53FA-4A75-9E4C-597939535807","rank":"normal"},{"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":"Q4978553$BC7AAADD-B844-419B-8DAF-60104A4F2367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4978553$FD357EA9-A512-4969-9D67-714F562CACD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d5babe97f2f56351f377ba7c3d7378d6a3c2e47","datavalue":{"value":{"entity-type":"item","numeric-id":30355,"id":"Q30355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4978553$3E4C587D-DA08-40CD-BA65-993252557405","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":"Q4978553$607E83B6-6E0B-4277-8733-CA0E17ECDDD8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3bdf85080eacb0cc456a5d7c045c1eec2b98bb3","datavalue":{"value":"https://doi.org/10.12775/llp.2016.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q4978553$BB613D0F-6830-4409-9DF5-09D1F5542E7C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8063ff8078c00a652e08be50a322acc47814c483","datavalue":{"value":"W2488544061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4978553$717C29FD-EE09-446C-B85E-4AEC883BC40D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62e19d2c961c602707e8213730e393e8a13480b","datavalue":{"value":{"entity-type":"item","numeric-id":3435250,"id":"Q3435250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8428c77e3106dea09ddfc195eb94295b1506423","datavalue":{"value":{"amount":"+0.8514239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4978553$7D7EA587-823D-4D6B-AE8C-93C59C1FEE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ebb6368d3d9e459f87436ca7cc1543ead67e913","datavalue":{"value":{"entity-type":"item","numeric-id":1959329,"id":"Q1959329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a999cb7126c7e84f35420f81eaaa5a24ba80b9ff","datavalue":{"value":{"amount":"+0.81862926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4978553$230DB669-E556-40E8-8726-A3F2587B725C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ca1606fa0ece1cfa355306e9116516b61b2359b","datavalue":{"value":{"entity-type":"item","numeric-id":2303614,"id":"Q2303614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d06b7a3993d7f86c89cefdd331838b0c0859d98","datavalue":{"value":{"amount":"+0.7936493","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4978553$18B6267F-4E93-46B5-9E6C-F6A7FABF97CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987d9819f48fab95e18fbf8fd8f1dc1d78c256b6","datavalue":{"value":{"entity-type":"item","numeric-id":4591500,"id":"Q4591500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"872c972aeb437840d813340826c166c6c647c0e5","datavalue":{"value":{"amount":"+0.79251033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4978553$D68A1085-62F0-42EC-A437-D38E6E5943DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8826431fa09eae62609d21a177572698f0b43b3f","datavalue":{"value":{"entity-type":"item","numeric-id":815018,"id":"Q815018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5963e1a5bc2239be3ca1c028b3b4ad82ba0695ff","datavalue":{"value":{"amount":"+0.7817635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4978553$D0AE0021-6D79-4905-8C39-562E13E1E7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"417cb425f6308b99aca8f271e29220b5c25f245d","datavalue":{"value":{"entity-type":"item","numeric-id":1015493,"id":"Q1015493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a5ef535a2e5c577889f2c389d05277c9762dca","datavalue":{"value":{"amount":"+0.77299315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4978553$363E6921-9584-4752-A4F5-5F59FBA99AC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"706a7d009322dc77804cbe8ffbdb1e4cc73aca55","datavalue":{"value":{"entity-type":"item","numeric-id":1744000,"id":"Q1744000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84a06f3eab07fc26ae89c1a9a4c17435960a50e5","datavalue":{"value":{"amount":"+0.76801807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4978553$5750B264-C51F-4A04-99ED-CE33ED4554E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9315eb91445184a3b9881e340e98d8e213663a8","datavalue":{"value":{"entity-type":"item","numeric-id":2229887,"id":"Q2229887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ab17e6d8b4171d18448b1e6aabf0dff841cf2e","datavalue":{"value":{"amount":"+0.7651372","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4978553$8EF66E68-E9CD-4325-8DF5-A2E1CA19BF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eb3c397aa0ca99730c87d6fbf0f9f9f8fc63f24","datavalue":{"value":{"entity-type":"item","numeric-id":2981255,"id":"Q2981255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89f4b7b8b79fa5a79907cddf41b728c0f4bbad24","datavalue":{"value":{"amount":"+0.76327664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4978553$A6C94953-9967-4284-B89A-4D74FC737681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"699e129cc9a0ceadc1df4993469132129ea19c43","datavalue":{"value":{"entity-type":"item","numeric-id":4273419,"id":"Q4273419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6eeb0f53ed8a14ba5e901dafab0df8106f9c36ee","datavalue":{"value":{"amount":"+0.7628174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4978553$A1C0874D-177D-40A6-B4ED-A34AB4CEB324","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sweet_SIXTEEN:_Automation_via_Embedding_into_Classical_Higher-Order_Logic"}}}}}