{"entities":{"Q1799090":{"pageid":1809832,"ns":120,"title":"Item:Q1799090","lastrevid":57566898,"modified":"2026-03-31T10:36:53Z","type":"item","id":"Q1799090","labels":{"en":{"language":"en","value":"A generic framework for implicate generation modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958105"}},"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":"Q1799090$C890FD0A-83DB-4CEF-8717-1A83C88A9C62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54d08b4602505cd222d106acf39ca5b21f4114d9","datavalue":{"value":{"text":"A generic framework for implicate generation modulo theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799090$3637C24B-2D78-42B2-A0D9-A470456C299D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3625b5f7eb6c39e0a1852af4b267a2a24f8f3153","datavalue":{"value":"1437.68190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799090$3CB95D2C-E945-41F6-BBC4-44A2D4DA3748","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"569f6e8bb5471abef7ef6c0a0949f7f26dc9d37c","datavalue":{"value":"10.1007/978-3-319-94205-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799090$4B81E500-A366-4919-A149-388264A573DA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da9d0bb1bba7f8d78f26f8b0456c3cbe905220ef","datavalue":{"value":{"entity-type":"item","numeric-id":438577,"id":"Q438577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799090$1BA16C8C-4846-406B-A521-05D8431B318A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799090$D15D3343-BB18-4D02-A174-583131DE7AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9fe385e6faeb61e5c25876c960a414a05d7be29","datavalue":{"value":{"entity-type":"item","numeric-id":1799089,"id":"Q1799089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799090$CA2F300E-FB9D-464E-B7BF-D29D717E45F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799090$9264F5C5-107E-4C87-83CF-69994343E215","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55b1195c34d5aa5e7ba9761e832d5d58216c509a","datavalue":{"value":"https://arxiv.org/abs/1807.04557","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799090$C90FE5FF-EB18-43E2-98FE-A26F4E7EEE3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799090$C09048EF-8F7E-430E-BDC0-F0D2CFB5C561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799090$E274E157-606D-41A5-9CC4-1C8565F577A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65d19ca6499b7ca33416dd961eaf71fb75bcf868","datavalue":{"value":"6958105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799090$1C733CE1-25E3-46A9-937C-F2978DE03BA2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799090$95297E6F-8A16-4428-BFF8-6BD95DE9E874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799090$E9E24B46-51C8-4603-94CF-C847E3536278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799090$FA94F91E-03BA-4DCE-9442-2433DACB2F9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799090$CEBE6660-E7E3-4960-AFDC-28FE57E73E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799090$D2BC2F49-E03F-48DA-8776-E79EF0C3B9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799090$DFD75C6B-ECD1-436F-95B7-7F0D68F2B5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c316f8a573aa9a8fb0377729133fd503b4a3381a","datavalue":{"value":{"entity-type":"item","numeric-id":13632,"id":"Q13632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799090$0174D441-018D-4A5C-BB09-22A388D9B0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799090$259F62C1-056D-4D3F-8E5F-26968BE957AD","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":"Q1799090$191F791A-77FB-48D6-BD82-7FC3EDAC843C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66804a14081d50a14886d81a9778f845c4a8aa8b","datavalue":{"value":"W2810160031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799090$6EE1091F-E132-4BD3-9ECC-5A196CDD73A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72a9136ca9628a21992d5737f5382ec8d96c46be","datavalue":{"value":{"entity-type":"item","numeric-id":3454103,"id":"Q3454103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60b1508e246ef66a4025787bdd0fe93df8e6e025","datavalue":{"value":{"amount":"+0.7821384072303772","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":"Q1799090$351096A8-9A3D-49D5-94D8-884FD26296E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3a0eec6c4aec493cf9623d3338d5c33a0f2e081","datavalue":{"value":{"entity-type":"item","numeric-id":4600725,"id":"Q4600725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da1357bf21e43d0f4db282ce37af5e7eaa2f2011","datavalue":{"value":{"amount":"+0.7584816813468933","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":"Q1799090$747B411A-1E05-4C19-9C4A-3F9583E23727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11f00e07fecea1dca3d1e7d1167b5d8a6dc4a825","datavalue":{"value":{"entity-type":"item","numeric-id":3192186,"id":"Q3192186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47220bf9ae70e93d40e80fffbe0e0edec91071e0","datavalue":{"value":{"amount":"+0.7358037233352661","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":"Q1799090$1204CA4F-A205-4B19-A723-729F55E744AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c26776c310ad31e32020f1922147b7f09daa5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4494319,"id":"Q4494319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e728ce0cd3d53424f1a6d7568b0c3fbc80263ad9","datavalue":{"value":{"amount":"+0.71724933385849","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":"Q1799090$AE2D992A-6328-448C-BFC3-CBBD2F846176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c7be220fcdbbcba624f28ef54fe592d6840c88e","datavalue":{"value":{"entity-type":"item","numeric-id":4934645,"id":"Q4934645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93a7871a0136ee1b94a5291667e43788e5a274c","datavalue":{"value":{"amount":"+0.7091465592384338","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":"Q1799090$6CBA5D7A-E92E-4240-9DA2-844D95BBE88B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1799090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1799090"}}}}}