{"entities":{"Q2964465":{"pageid":2975190,"ns":120,"title":"Item:Q2964465","lastrevid":58078827,"modified":"2026-04-03T17:30:25Z","type":"item","id":"Q2964465","labels":{"en":{"language":"en","value":"Axiomatic constraint systems for proof search modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6688817"}},"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":"Q2964465$714EB75D-C115-4A07-AD15-E3BF43446308","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70ccbb3e47a848283f83628e0a0681ec4e00a0f1","datavalue":{"value":{"text":"Axiomatic Constraint Systems for Proof Search Modulo Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2964465$A4D1AFFB-41FE-4099-A131-59280F60D299","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf401c334af2b67ed899ee44607371cb14596bc7","datavalue":{"value":"1471.68317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964465$A6E26743-FFBB-480F-912D-36E296AC4C39","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e2c2a54660101e3d60d248f87ec2ea972cf429f","datavalue":{"value":"10.1007/978-3-319-24246-0_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964465$4970CAF5-8396-4010-AE2D-85F26E961EC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21a01fed6e1c276e027d0f9654129a6fafd984e7","datavalue":{"value":{"entity-type":"item","numeric-id":1687727,"id":"Q1687727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$D0A0E0A8-51A9-475D-BBBA-DE14B030E6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5d9221d33e45794f9459c97700065388366982e","datavalue":{"value":{"entity-type":"item","numeric-id":2964464,"id":"Q2964464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$308E30A5-30AC-43A8-889E-8746422756AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6be8d909a46685b6a24cecd253b3dd33cd2a6cb","datavalue":{"value":{"entity-type":"item","numeric-id":832718,"id":"Q832718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$6B2B2069-A5D9-41A4-B346-D4164DBC5FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"379ac4e8dcb87cc7060e4dba787e250b7104d056","datavalue":{"value":{"entity-type":"item","numeric-id":512133,"id":"Q512133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$8DC8DDA6-87C3-4EBD-A231-1CA40846E9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25271da7c22ef60daf7efd2b4b782ace533ce4e8","datavalue":{"value":{"entity-type":"item","numeric-id":2703719,"id":"Q2703719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$FE187693-3B89-444B-9174-22D18811D9C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$D8515715-BA01-436A-9327-D995F85373B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"239465d3f72b1d0ceb374a3180654de1deb818a8","datavalue":{"value":{"time":"+2017-02-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":"Q2964465$5BCF7B93-497A-4C40-9F57-4F17F24E715D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bd56102b316526c87fd2c36cbc264ddcaa253de","datavalue":{"value":"https://arxiv.org/abs/1412.6790","type":"string"},"datatype":"url"},"type":"statement","id":"Q2964465$632D32C1-9FBC-42DB-8DB8-29CB50B6C6BA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964465$948A8434-E626-4376-9842-5339B6B32096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964465$AFAE8929-EDD0-4D1A-90B7-E07567801544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964465$95B91B5B-FD3E-45B9-B4B1-8C5150279B73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"faee182a44201a2581b260a1105909f8d4b52ca7","datavalue":{"value":"6688817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964465$2345F5C0-560C-4A97-8180-7908C283E56D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0247f0870e311398dc5abc8c64b7762e496355ca","datavalue":{"value":{"entity-type":"item","numeric-id":40232,"id":"Q40232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$70839CE3-8379-45BD-87C4-5F8EF1B2E53B","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":"Q2964465$A7E48326-76B9-4EC7-9B8E-ED189CE8A52E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"849eade8742fee2a1182e6674cea8fc0e7cf5a8b","datavalue":{"value":"W312152708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2964465$31F566F6-839B-4E9E-A783-105589FFF5F2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c8a150262d931e1d6f90a6e6be5a252d5844b6","datavalue":{"value":{"entity-type":"item","numeric-id":5505559,"id":"Q5505559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$173FBFB4-AB80-41A2-9896-60BC90419ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691baa076ee6e8076e8e87a5ec4af88c7d6f9d50","datavalue":{"value":{"entity-type":"item","numeric-id":5200017,"id":"Q5200017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$500625D7-EAD1-41A7-AF92-B711137853A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da0cd18b66834418a1387a452a453401aecef14","datavalue":{"value":{"entity-type":"item","numeric-id":4524789,"id":"Q4524789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$5C2B3DDC-8142-479A-AF94-E4767B7EE2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d14bee60c1f73ed9cb8f6db0841f1eb42ba18203","datavalue":{"value":{"entity-type":"item","numeric-id":2753599,"id":"Q2753599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$7A7F3353-80F1-4E8E-9CE5-4AC8D52CACE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"447a0faf8040907462e3b0d2ddb87f159fc3baae","datavalue":{"value":{"entity-type":"item","numeric-id":287384,"id":"Q287384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$38C83681-7A5F-4B38-93E7-D142E92E919B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89fef3695b727b5763b60b4359c6c1193ed4e24b","datavalue":{"value":{"entity-type":"item","numeric-id":2851941,"id":"Q2851941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$55E6FA45-976F-4F57-9DE8-0A9A95C1E6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$AD87E540-4EE4-43F7-A735-A9811098EE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3fe68dc912a4be45802e1a509289a669130abb3","datavalue":{"value":{"entity-type":"item","numeric-id":5505560,"id":"Q5505560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$FBACED88-97B2-4594-8D76-68A388D58600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ee3b057142576093bd9e66364057980fafc0e4","datavalue":{"value":{"entity-type":"item","numeric-id":1821564,"id":"Q1821564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2964465$5F418EB1-2563-415B-830A-69F395E6C42F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6863c9f5580515a78e7d18f6278d850bfe0eba","datavalue":{"value":{"entity-type":"item","numeric-id":5277731,"id":"Q5277731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3de0f67049a4a28cacd2e57e2694eb6d88435286","datavalue":{"value":{"amount":"+0.735350489616394","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":"Q2964465$1D4E710E-882E-44FB-A918-39B0E6FFE0F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b73316bc9293ca6098b85633ea043f8e1ae5b95","datavalue":{"value":{"entity-type":"item","numeric-id":5200022,"id":"Q5200022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02388bf55f0e3d2bc4f3a42bfea85b0dd982a710","datavalue":{"value":{"amount":"+0.7346159815788269","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":"Q2964465$5DCAFBCD-99B9-4EF0-9FE9-8D4F7314AC4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72ce4f9299c3a2986c53414825322ca224e21b8a","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1711577424868010e037970a21816074c6be647","datavalue":{"value":{"amount":"+0.7272247672080994","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":"Q2964465$736B086C-EFB4-4177-B1CD-DC2A1197A76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659f1715025c09fd42f29fb1a683227c1a598251","datavalue":{"value":{"entity-type":"item","numeric-id":2209546,"id":"Q2209546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d123da54df2794c1b15daa1f47743e199bc3e66","datavalue":{"value":{"amount":"+0.7260702252388","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":"Q2964465$9ABC1DC0-4251-406E-AE61-A85BFC56E0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8293d39b4e139795d4cbfc0c1170fc2b9210bed3","datavalue":{"value":{"entity-type":"item","numeric-id":6488534,"id":"Q6488534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"554610722a59d7d0b97949e702dbc882d46e2c16","datavalue":{"value":{"amount":"+0.7256338596343994","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":"Q2964465$FCC770A0-460D-48AF-A13D-F6ED0FE2E7C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2964465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2964465"}}}}}