{"entities":{"Q3617759":{"pageid":5647665,"ns":120,"title":"Item:Q3617759","lastrevid":90387572,"modified":"2026-06-04T20:03:10Z","type":"item","id":"Q3617759","labels":{"en":{"language":"en","value":"TaPAS: The Talence Presburger Arithmetic Suite"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535633"}},"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":"Q3617759$E7095E0E-B711-4811-94D6-1F6087EFA58A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c061c8018d205cbc690b0a1781ece3a7e38d1a44","datavalue":{"value":{"text":"TaPAS: The Talence Presburger Arithmetic Suite","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617759$6B93BC07-F03A-4207-891E-A53C2403BFB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bca2a5a775500fd22a89cbab0ca47fc686f48ca","datavalue":{"value":"1234.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617759$6C38258F-64DD-4FA7-BE9D-30709A317981","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f882871805df86c8dc56b5d08a4aa1eb13bd7d0a","datavalue":{"value":"10.1007/978-3-642-00768-2_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617759$F49F300B-6499-47CA-BF1B-CC690B6FDB55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617759$0FBEB214-A921-48FE-8A9C-DF65170C5230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c94946f2166501dee51006d84403b50d194dc583","datavalue":{"value":{"entity-type":"item","numeric-id":3617758,"id":"Q3617758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617759$F2A5E57D-E6B5-49F5-BA83-3BBB4F3E864F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617759$51FE5691-0CF9-4184-8B99-A0E631E82FD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-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":"Q3617759$0D06EDD6-5281-4987-98E1-6135BE70F32B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617759$86681D28-EC89-4507-9E2E-576F977E3BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617759$ADB6EA57-09F8-4E74-AFB4-A21DF20BF31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617759$B9BAB5B1-77CA-4AD5-9366-5768D7E33BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617759$D13B6828-3816-4ABD-9AB8-D72B0A6C72B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ed516ea94691e1cf752e4189446e11010c59303","datavalue":{"value":"5535633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617759$9F45C3ED-C77E-4E0F-BAE1-707AE99F0770","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"50d946d9145f3178c9a299dc3d3af0478c3d017f","datavalue":{"value":{"entity-type":"item","numeric-id":33080,"id":"Q33080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617759$F97CE01C-7792-4B61-A02A-F84BBF5680B4","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":"Q3617759$652AFE7D-E7B4-4374-8A7D-C0D3AB64BC55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b39533fda0823dfe77bed8ee176b0cf488ccd19e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00768-2_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617759$7FEDF6FF-8E29-431B-B990-FDC116CC24A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dd506ac035c611e85b8381d9654405bcb99751d","datavalue":{"value":"W2163945092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617759$676E1EE2-5C6E-4F12-A04D-47F370A4B693","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7538d4e19fdbfcbfe076cbd2c635ea89e5545a","datavalue":{"value":{"entity-type":"item","numeric-id":5463994,"id":"Q5463994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617759$C9077503-0343-44B9-81AD-C586E5C6ACBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f4e6ebfa1e70192a844c78c3c46c7dff577c39","datavalue":{"value":{"entity-type":"item","numeric-id":861705,"id":"Q861705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478658dc02333ecedfc479978f8282cb597fc177","datavalue":{"value":{"amount":"+0.7229045629501343","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":"Q3617759$D6D00BEC-58F2-4CE6-90BB-DEF83D6A070F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56333c01f72340c60a9d60cd9f1e0709b308d580","datavalue":{"value":{"entity-type":"item","numeric-id":5394619,"id":"Q5394619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f06305b680df635ff0d7ea17badf34960bc62a2","datavalue":{"value":{"amount":"+0.713649332523346","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":"Q3617759$959A0677-ACF6-409A-A189-949079424BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e60bc3c769daab1ffe80c2487a23dfe700335fd","datavalue":{"value":{"entity-type":"item","numeric-id":5312909,"id":"Q5312909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2ad666abc920f67c563079b379be15d528eef8","datavalue":{"value":{"amount":"+0.70887690782547","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":"Q3617759$9A0BC3DF-93EF-493D-A9CF-AD7C734CBA45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d390c82453e2e9cfbb25eaa53aada5cc5da852","datavalue":{"value":{"entity-type":"item","numeric-id":5308733,"id":"Q5308733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54ddb861f8836fb1b6d9190f4be2b3bad4eb3553","datavalue":{"value":{"amount":"+0.7088152766227722","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":"Q3617759$B451AB5B-5E06-4F73-A774-CF9DB0B9A127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a35061c49fe86768ac6809375def1e460496b858","datavalue":{"value":{"entity-type":"item","numeric-id":4427903,"id":"Q4427903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f82f427a7f798aa2318d4a3c08961af57dd0d6","datavalue":{"value":{"amount":"+0.7006986141204834","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":"Q3617759$4E7D995E-D948-48EB-B4A4-3E7367E1011C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"TaPAS: The Talence Presburger Arithmetic Suite","badges":[]}}}}}