{"entities":{"Q5747778":{"pageid":7777329,"ns":120,"title":"Item:Q5747778","lastrevid":97044926,"modified":"2026-06-05T13:06:56Z","type":"item","id":"Q5747778","labels":{"en":{"language":"en","value":"An interpolating sequent calculus for quantifier-free Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785464"}},"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":"Q5747778$750EADD2-EB3A-4C13-8B26-59023CC03F23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2884f7c31e4407d673787305026b1853cb01284e","datavalue":{"value":{"text":"An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747778$E78EB952-06EF-4BF0-977E-175C247EC63D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93bf26068390f0c4960db7b4efd852fb2ec5d35c","datavalue":{"value":"1291.03112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747778$9DB72172-373D-41A0-8BE3-B4CE861E7E58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3d17fe28e8ac423c36bc7f4c8ceb852d47c23d1","datavalue":{"value":"10.1007/978-3-642-14203-1_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747778$70ADE12B-73E1-4CFB-AFC0-9AE587220C97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2de696c550295e42040c66873cdda7858a94e6a","datavalue":{"value":{"entity-type":"item","numeric-id":438553,"id":"Q438553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$68F59023-AF57-4217-8294-E4D8833179EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$A8AEEDD7-3A95-4AEE-96C9-456C468CBBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$93CFD628-ADF6-42CC-98CF-4D0409E3DEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d662772c24869dc9f46a36b74617d8d791c39563","datavalue":{"value":{"entity-type":"item","numeric-id":438555,"id":"Q438555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$008F780C-5713-42B2-8BE5-98C4583B235D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$135CDA2E-EA37-4673-A2D5-4750A9A94BF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747778$C25DEECF-B096-4635-91D0-AD91B8F62E7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747778$5A17A82A-703F-4EF3-9695-1EEE8183C6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747778$F4A33FF4-0AA5-4DF3-AF10-0004C9BD0467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747778$6369B54F-C5E6-49EC-9F81-D4E3F9834A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747778$F487F724-F9E5-4CD1-B827-64A3D733D0D1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"499ab5bf0e8cfcc6bc7882b51ea1f34da1872ce2","datavalue":{"value":"5785464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747778$7FEEF821-E8FE-49C5-8AA4-67F5766FAEA5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b194bd31d37c1243d7e8c5eddae754651b6b0ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18941,"id":"Q18941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$C4F2080C-B490-45E0-9D43-38E0A431C05C","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":"Q5747778$FD8E5B95-432C-4C51-8B02-CD74648B0815","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a13af6c9536dffed8e875f26fe9fd0075b4c62d2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747778$D67CAC24-F5B5-4A23-9410-E86ADE0C78A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce41d44e7c6c72f6986cd05e5bee7bacb03acbe9","datavalue":{"value":"W1582116296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747778$7A6B65E2-A617-4A12-BE79-E2860E591D58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5f4f2d09977ec8414078e2f7cff5330875eee9","datavalue":{"value":{"entity-type":"item","numeric-id":5191101,"id":"Q5191101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$0EEC2D3A-8D85-457F-8C68-4FDC730F7089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8971435217b64c50e375aec68a6c58475d8d0dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3249759,"id":"Q3249759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$DCA9314E-E357-456A-81CE-70DB3DC08515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$40191FDA-9CA3-4480-9C24-B89760547BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e61d2ed274cc952eba4995774f4775f8cabd6c","datavalue":{"value":{"entity-type":"item","numeric-id":3512498,"id":"Q3512498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$A2921A7E-08E0-4615-906B-475B5A0860CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dcafb238e6ba98f691c336bb9a0d0dc6d0f213d","datavalue":{"value":{"entity-type":"item","numeric-id":3891677,"id":"Q3891677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$6EA8A72E-A898-45DC-A25A-496945952279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5263d18c65eaf4dd997ff020d023f874281004","datavalue":{"value":{"entity-type":"item","numeric-id":3540071,"id":"Q3540071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$27C7CF0C-46A5-4722-9556-42E14649E204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999c8fe94a19a2d0a1c3cffca1245dbdea8ff1ee","datavalue":{"value":{"entity-type":"item","numeric-id":5736158,"id":"Q5736158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$2FE25B03-6C4D-4D63-86E1-93A001FC7C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ef9c0e492b02772fdee855678eeaaecef66c13a","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$D461088F-9850-4389-B04A-9AC41E21DFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$E8FE4ECD-D134-48B3-88D5-E9A2A10D8906","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":"Q5747778$9EE1E153-31B8-4D3C-A0FB-0DEA0550F8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0c5a805e2d83d2fc67d0e9100dbfc3999c3a60","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$A37B187F-93F4-4B47-B32B-0246D22AC59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56c6c299e15ddeb001671e573dc9a5439e5a86a0","datavalue":{"value":{"entity-type":"item","numeric-id":3818127,"id":"Q3818127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747778$75DDAD06-D38F-439B-8C95-8B95FE99837E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aa46dab62437fe26f20df1ec50a7a09af904958","datavalue":{"value":{"entity-type":"item","numeric-id":438556,"id":"Q438556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92af88f35b83aa8502e5d2e60bc382e7bf551d6a","datavalue":{"value":{"amount":"+0.9848605990409852","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":"Q5747778$5A65C910-3D5E-49E7-91FA-8FA6A9E34F07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77ab2b33a85731eecca3cd263b47863bebca67cd","datavalue":{"value":{"entity-type":"item","numeric-id":4933327,"id":"Q4933327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"535252035c6852e1bf3d062a16f8e1580cb59d61","datavalue":{"value":{"amount":"+0.8955855369567871","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":"Q5747778$15843480-9838-4283-A9CC-F38EC8E95C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed2265ee5d891285a8dabef4192bba60e0ae380","datavalue":{"value":{"entity-type":"item","numeric-id":3075472,"id":"Q3075472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac8c7c0dc7f20f667aa4b82debc2351673520330","datavalue":{"value":{"amount":"+0.8693899512290955","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":"Q5747778$41EF6EEE-64C9-4E3C-A676-AB52E17A388B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192babe1f332f85d504aff10a4562aaa3e265788","datavalue":{"value":{"entity-type":"item","numeric-id":5308386,"id":"Q5308386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d802decd100bfc29c7025c42061fc5311a5a41","datavalue":{"value":{"amount":"+0.8314645886421204","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":"Q5747778$31E2C7FE-BF9F-4541-8588-E8E8A9951E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e412e6216b54f0d01b161d965adaae87ffed390b","datavalue":{"value":{"entity-type":"item","numeric-id":2575736,"id":"Q2575736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8157b40d597717f52075c6f9261e9ac3dc4789ec","datavalue":{"value":{"amount":"+0.8305278420448303","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":"Q5747778$D99D173B-6C2C-43DB-A499-C5F63E6A59F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An interpolating sequent calculus for quantifier-free Presburger arithmetic (scientific article; zbMATH DE number 5785464)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_interpolating_sequent_calculus_for_quantifier-free_Presburger_arithmetic_(scientific_article;_zbMATH_DE_number_5785464)"}}}}}