{"entities":{"Q438556":{"pageid":440323,"ns":120,"title":"Item:Q438556","lastrevid":61924590,"modified":"2026-04-11T02:35:14Z","type":"item","id":"Q438556","labels":{"en":{"language":"en","value":"An interpolating sequent calculus for quantifier-free Presburger arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6062055"}},"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":"Q438556$9F9DFC03-CC34-49F1-AC4B-6E8817D6CA72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"29ccfb200f9494553485742309af35ab24fcd613","datavalue":{"value":{"text":"An interpolating sequent calculus for quantifier-free Presburger arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q438556$661A15F8-7E46-4111-B5DA-DD8C7BEF694E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58e49f5f5047be0a36961977e6c9f8008ac03c9f","datavalue":{"value":"1259.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438556$653D6289-35C3-4D42-B4A9-D217EEEC11F6","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":"Q438556$A2517AB1-BE53-4B0E-9162-3509B5FEB0D3","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":"Q438556$EB9E55BC-8939-42F8-9FDE-18DD4CB6F346","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":"Q438556$8867F879-4709-4B10-A929-439870F0E426","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":"Q438556$FA41C41E-550A-4544-8CAF-E6EAD1C5ED42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438556$C5267858-9BFB-4AFD-9D9B-3626532139D9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c7ad691786690cf86127845d28cf47311748286","datavalue":{"value":{"time":"+2012-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q438556$0B4B4A18-4DD4-44C6-91DD-5BB5B60E4F12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438556$91C24B9C-7642-40BB-9786-751E13D63A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438556$8CE4B438-764C-47AC-9C38-FA6560BFBB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438556$1C82AA0A-24E0-43BB-B3BD-7E6CB4A98E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438556$F44C6601-76C4-4308-88B4-20691262442B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438556$72F15508-9E3A-4894-859C-E22E94366E6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438556$54D3A040-1439-4677-9CFC-DD6322F76C79","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e89ae5031ff4c3aca994b39224cd35870aa32ef5","datavalue":{"value":"6062055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438556$6323F6AA-6A42-43B2-A525-6041DCC09821","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q438556$5FB96309-4C8D-44D5-80E7-4F217A761DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q438556$9A6A4B89-719F-4423-B70D-3D001C56D171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q438556$19BEDA19-9EFC-43CB-9C03-DB7C88121172","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"776ec61ea9403d0c48a81eefe331d6bd9e850b8f","datavalue":{"value":{"entity-type":"item","numeric-id":20435,"id":"Q20435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438556$68E74F79-381D-43B3-86F4-F9BAAB75F72F","rank":"normal"},{"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":"Q438556$84956ECD-F210-4C5B-9CB4-30BFEC933111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"84555c80f390a6027108910a1237246dadca1460","datavalue":{"value":{"entity-type":"item","numeric-id":23352,"id":"Q23352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438556$E0BB8E5A-0428-4AB5-8FF8-054E3E00A462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c46d83f8225e8e4d789b6fc74144d78a1809470","datavalue":{"value":{"entity-type":"item","numeric-id":24792,"id":"Q24792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438556$14E26DE3-71E6-4CA9-A92B-67B9A176720E","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":"Q438556$D3BBFDFE-5E3A-46CD-8B8F-69D715B5D393","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"023ca5da4b59fcf088b8ce27ec59e551375ea147","datavalue":{"value":"https://doi.org/10.1007/s10817-011-9237-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q438556$FC20F096-B81F-4C71-8D31-3BE8A4D89961","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1771b04cb3653c66826837832eb9d357a556c2c","datavalue":{"value":"W2071365289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438556$9C6DA085-9157-4D03-AC24-0FEACB7C7875","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d02295b918ee0afc1f76dac5b90054e0bd92879","datavalue":{"value":{"entity-type":"item","numeric-id":5747778,"id":"Q5747778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438556$25AF2DFE-1B32-40A3-9975-9716FB590D71","rank":"normal"},{"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":"Q438556$5ADF8999-03B1-41EE-9093-0A680660907F","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":"Q438556$D8FE1BD1-6540-4903-A484-7FF4BA3D906D","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":"Q438556$BB76AB45-F7F8-4B7E-9D14-0D52316F3291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01736af2e14df3e91b1b2514d23a748d35079308","datavalue":{"value":{"entity-type":"item","numeric-id":5892495,"id":"Q5892495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438556$D627595C-61A6-4112-9ED5-C1A0D7EE85A2","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":"Q438556$A0B9B953-8B94-4EEC-A5D5-02A2D5C0B583","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":"Q438556$4870A230-DCF2-4979-8B34-3AA6D725F966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1967c60e7b61b6ce8e2c82cd75f7909be1cdf0","datavalue":{"value":{"entity-type":"item","numeric-id":4933327,"id":"Q4933327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q438556$E92666A5-2572-43D5-A711-BC52E992B4DF","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":"Q438556$F712B6E1-9CAE-41CC-B9D9-B3FC7443F05F","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":"Q438556$2AE27D8E-66DF-4845-8AED-830DDA86D77A","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":"Q438556$050183B2-2390-4FC9-BAAB-5ED2A5573599","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":"Q438556$BB65B4B8-2FA4-4207-8138-107C1FAEDBD2","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":"Q438556$87CE33BF-9165-4F27-A35C-F62966A5E7DD","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":"Q438556$2424FF77-C52D-4112-9003-7003512320A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"df03dc2d159a51015109f7415e8485968f3d55fe","datavalue":{"value":"10.1007/S10817-011-9237-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q438556$4B604C51-36D8-437E-8627-9353BD1471EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9431cbab61d866d4fa0af21733b3d4eefd8fc797","datavalue":{"value":{"entity-type":"item","numeric-id":5747778,"id":"Q5747778"},"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":"Q438556$EC4B0080-4A05-430F-B88D-50510D4DB0B6","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":"fb766aea3a777575b3a90965366c6f81b8db0494","datavalue":{"value":{"amount":"+0.8884596228599548","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":"Q438556$D59D0CAA-EBB3-4F72-826C-49D00D3BF32A","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":"21788ac7d8d443ca1cc28486d5f2894476d5a157","datavalue":{"value":{"amount":"+0.8777478337287903","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":"Q438556$FD9BA9E6-FC5D-494B-9CBD-D4051AFD6780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71603ccd1954a0efcfb58cfda946799b5f3dfc76","datavalue":{"value":{"entity-type":"item","numeric-id":5457276,"id":"Q5457276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f980f7fbad76f116f2c2f14652e152c053fcc612","datavalue":{"value":{"amount":"+0.8235165476799011","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":"Q438556$2354DA16-7B16-4A14-A474-EBFC4C99E9F9","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":"621f6a7ddf48ddcc7d73081d01190e64dbe23412","datavalue":{"value":{"amount":"+0.8217735886573792","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":"Q438556$894AC77A-2F5F-46B9-BB51-DECA4C556201","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An interpolating sequent calculus for quantifier-free Presburger arithmetic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_interpolating_sequent_calculus_for_quantifier-free_Presburger_arithmetic"}}}}}