{"entities":{"Q3522025":{"pageid":5551929,"ns":120,"title":"Item:Q3522025","lastrevid":50438786,"modified":"2026-01-14T01:36:28Z","type":"item","id":"Q3522025","labels":{"en":{"language":"en","value":"Tree Automata for Non-linear Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5317338"}},"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":"Q3522025$A4D31152-65A7-4016-8E70-D4EC265802D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79bc459ef47b5803fa07a509296268221d6cad63","datavalue":{"value":{"text":"Tree Automata for Non-linear Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3522025$04A3DE37-8C2F-4FCE-A84F-AF96CEACD122","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72f1ac2b6b5801c982637b68222560da37858cb5","datavalue":{"value":"1155.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522025$9378420F-BA1A-421A-A08D-A331AD3D39DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73615aa11318d94a37029e2cdc3693506714d3a1","datavalue":{"value":"10.1007/978-3-540-70590-1_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522025$EA7931CA-C297-43DB-93F7-AFBDEDA2D08B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$FD473334-1833-410B-96C6-5A75256E09DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67d02725bc9041065bd07fac024cde6b82c3e648","datavalue":{"value":{"entity-type":"item","numeric-id":736826,"id":"Q736826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$7304EDD6-3E6A-4710-96FB-2674D9C4F2C0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4580600c65d33f1ab219084d83b64440a1c4781d","datavalue":{"value":{"entity-type":"item","numeric-id":3522004,"id":"Q3522004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$C9FBEAE7-B394-4498-850A-DF62A2E1A751","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a6f30c96b939eda7f5ad6004e94c006250dd509","datavalue":{"value":{"time":"+2008-08-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3522025$76F71549-A362-45F3-9FBD-8653BC8B544A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522025$6824472A-A541-447F-A493-10EF54E71EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522025$B96380D5-10CE-436F-AC8C-5D7F1E46E89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522025$2C59A5E7-BA1F-46F3-AB82-8BD48CFA55D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522025$31E3FBF8-647F-42CF-A896-4B5941E8AB69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c94d714179e1b9d5ae31c54296b9df18f0540638","datavalue":{"value":"5317338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522025$DFC3BBE2-7283-4C72-B7F2-61B57317F40C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522025$39857FEF-4374-4E8E-8643-6284AF5FE6FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1a2bad4593dfa53b9bdf6d73901a5fbf0b67c8a","datavalue":{"value":"tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522025$B4E337D3-02A4-4514-AF4E-DD0C223B9306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5b254458756c762a3c0b6456809cdd9e6538d9b","datavalue":{"value":"AC tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522025$D23139B5-9163-4D31-8E7F-CC4ED8813A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522025$2357C743-5990-4E4C-B15C-ACBBFFA4C606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522025$0D024CFB-967B-4DC5-8250-D3B80DB00242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ccb2eb8de67eef0eb9f67b6d00636c3ae20707d","datavalue":{"value":"arithmetic relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522025$F922BF23-CE2F-4B65-831A-10C719A47966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3522025$72D50C44-6005-4C97-9374-6C260A5DD5F0","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":"Q3522025$EAABB87E-FB2F-4D97-91AA-CA1097742AE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b72d05f7abdd702ec70558c510baa509c250bb5","datavalue":{"value":"https://doi.org/10.1007/978-3-540-70590-1_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3522025$A4BE7713-EDC5-4BC3-99DD-880977912E2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fce2fecb8e3f73b35f9925d6958af932810d873d","datavalue":{"value":"W1586171360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3522025$ED52BD0F-0EDF-42BC-AE61-3CBABC72D7FE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"87bda3cc16d6520cddf8929909091a44ce9f718a","datavalue":{"value":{"entity-type":"item","numeric-id":862561,"id":"Q862561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$3D4563BA-4FDA-42D9-AF81-A3419B1533A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$9EE6DD44-2A3A-46BF-BF5A-97D95594C3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fd1e28e0e6c158c9409c70c379bfcc7c9840573","datavalue":{"value":{"entity-type":"item","numeric-id":5576254,"id":"Q5576254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$CEAD9F56-161B-4A0C-8E63-2374036962EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c7e8394e4b9685fcdbe819e19be7a3da091cb5","datavalue":{"value":{"entity-type":"item","numeric-id":5707890,"id":"Q5707890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$8885BB94-6802-4DB2-9681-DC299FA8ECBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2b60aa98d522ecc41ed29cfaaabe8a705dd12f","datavalue":{"value":{"entity-type":"item","numeric-id":3522025,"id":"Q3522025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$B7942D27-12D3-4E0B-ABBB-6A7EFAF57685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3380875492ea726f0b1d9c7ce884b3d88e62539","datavalue":{"value":{"entity-type":"item","numeric-id":4474010,"id":"Q4474010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$470CACC5-42BA-45E4-9687-50F01DE76297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f0214a0fa4331151ff4967ea5f34ce798b048f","datavalue":{"value":{"entity-type":"item","numeric-id":1770418,"id":"Q1770418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$AED8B8A4-8621-42FE-BFAB-6CD5F9F6BE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"377ed731f07311f288ac913a00f1999b3f92d3b1","datavalue":{"value":{"entity-type":"item","numeric-id":4286756,"id":"Q4286756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$42B300DC-5E40-4FF1-B6F0-7115C0C521B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40a530b6a6143711e56ee3b43eb85fe1ebc496b6","datavalue":{"value":{"entity-type":"item","numeric-id":5387849,"id":"Q5387849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$60D43079-A84F-44C8-AE83-4C5758E0F4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9316d9136544b03dca7f1ef0d69632e0b15be3d","datavalue":{"value":{"entity-type":"item","numeric-id":4447253,"id":"Q4447253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$420D5DFC-5EE3-4543-86D7-DE8E8860B3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa2ea8cc60ed953e0f39a76480fda2908167358","datavalue":{"value":{"entity-type":"item","numeric-id":4783330,"id":"Q4783330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$C70BBFD0-6FD9-43FA-8B69-CDA8198C98A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$A01A539A-0FC6-4513-96EA-D6630DB7646E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1d9bb800b743b77d57462b11935076cb25beb4","datavalue":{"value":{"entity-type":"item","numeric-id":2526960,"id":"Q2526960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$19D335BD-92CE-4683-B7EA-E19EB3062A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099f903d754597f75cfa502f7dd5dbe5ef103411","datavalue":{"value":{"entity-type":"item","numeric-id":2373699,"id":"Q2373699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3522025$A6FE32FF-7E98-4356-A42C-0D1AA673557F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88b9dc1d7b4d56e035a107b9321e74242b8dcc1f","datavalue":{"value":{"entity-type":"item","numeric-id":5387849,"id":"Q5387849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4f2ccd6f0677f697cc74340413c98ecc2fee78c","datavalue":{"value":{"amount":"+0.8123213052749634","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":"Q3522025$3DE53717-55CE-43C5-9824-FDC532721DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c290ab9f2cb67f33d7fd879afd217abdb9fa3c7d","datavalue":{"value":{"entity-type":"item","numeric-id":1892141,"id":"Q1892141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e40e029ebec252978a383472cae727e50ebad8b","datavalue":{"value":{"amount":"+0.8099666833877563","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":"Q3522025$74D69C53-5142-4A8B-B65A-4DDB5D95FD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5338686497e7feff3f1457965b5fd6b912982f39","datavalue":{"value":{"entity-type":"item","numeric-id":483051,"id":"Q483051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0523097699794609d3d656afe13c720e06e6b4d7","datavalue":{"value":{"amount":"+0.809463381767273","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":"Q3522025$2EF36DDA-D74B-44D9-9088-3CA046263250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"319754a6c9c1e73083d366e6e25c2ece48ff4f3f","datavalue":{"value":{"entity-type":"item","numeric-id":5096779,"id":"Q5096779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5b73d0e121fd52e7a1bae1c6bfb3d57998b313","datavalue":{"value":{"amount":"+0.7801547646522522","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":"Q3522025$2334DDCF-AD62-4BF3-8944-B76F4C9478F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1307cd91b0fa6cdd3616b721a8cb38edfff5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2426520,"id":"Q2426520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dc26087630bdae0e91753253499c7507f8f7a75","datavalue":{"value":{"amount":"+0.7697147130966187","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":"Q3522025$8993C00E-74A6-4BF8-A0FB-5043EB2B0C7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3522025","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3522025"}}}}}