{"entities":{"Q6160751":{"pageid":13295632,"ns":120,"title":"Item:Q6160751","lastrevid":55453219,"modified":"2026-02-17T16:42:59Z","type":"item","id":"Q6160751","labels":{"en":{"language":"en","value":"Presburger B\u00fcchi tree automata with applications to logics with expressive counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691330"}},"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":"Q6160751$E73AE81A-F731-4A93-9225-88A17CA4BB97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"507b28eeecae7df78780db55b8eae11e550a067f","datavalue":{"value":{"text":"Presburger B\u00fcchi tree automata with applications to logics with expressive counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160751$A542D5D8-83B9-4404-B345-A64089910692","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5da0e4486ba042f23feda248f1ff071500a8d961","datavalue":{"value":"10.1007/978-3-031-15298-6_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160751$52326DAA-BAA9-4560-95A2-7E333DF9E925","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fd1e780c6b9d32de1062017625c6e21a121a467","datavalue":{"value":{"entity-type":"item","numeric-id":2007733,"id":"Q2007733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$A34A754C-A8B3-433A-893A-1F3E2BAF819E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc66923e6ce3db3406e75452a7ab358251569968","datavalue":{"value":{"entity-type":"item","numeric-id":6160750,"id":"Q6160750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$DA9219E2-4E63-4B0A-AA06-21108B02C4A6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$E7B9FDF4-31DD-448F-B9F3-80306D7FD7C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160751$956534DE-6D97-4B82-AAEA-CE97E772AA57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160751$81853563-720D-4EAF-A534-74C7E870E076","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"506a27252c94ef72bb7617f531cbca609be0738d","datavalue":{"value":"7691330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160751$A3A4E9F7-92AE-4829-BFC3-A3035E9A8537","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":"Q6160751$AF786943-1FC8-43D0-887C-87B16CD96953","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0146a1761890fbbc4b8093c994e54ae21467bfb4","datavalue":{"value":"https://doi.org/10.1007/978-3-031-15298-6_19","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160751$92D1FB72-EC2B-4CC1-809F-950F837F3C36","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1eebf39f70a0e16990507f17907100c5b42dde60","datavalue":{"value":"W4297809211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160751$4C971C9E-2E49-487A-9F1E-7D143628E406","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ce6e0c9ca8a16586175ee8d929b1475e6be3093","datavalue":{"value":{"entity-type":"item","numeric-id":1687537,"id":"Q1687537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$1469EA97-9AB6-4331-BFF3-D2E53BD4F5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42e85f3a9a7559091d86669bc4fc274698f8c179","datavalue":{"value":{"entity-type":"item","numeric-id":948069,"id":"Q948069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$28C31829-5DDE-4210-9579-52505E15DB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5c6b44534452799ea8958ee898dc513ef598501","datavalue":{"value":{"entity-type":"item","numeric-id":2974769,"id":"Q2974769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$C683BA10-591D-48E6-A47C-A183EDD5A192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e6ddd1b76a32b174521fb23baada37fc067560d","datavalue":{"value":{"entity-type":"item","numeric-id":2007734,"id":"Q2007734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$9E0018B7-0B68-42F1-9F10-5F1E8DD5B1DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb9472b35853a6b5d169e86f14b6225e48ff90c9","datavalue":{"value":{"entity-type":"item","numeric-id":515668,"id":"Q515668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$E8855439-A69F-45A3-8010-F47B0628E33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee5b7c0defa7c4d809acf17623b292068d61366","datavalue":{"value":{"entity-type":"item","numeric-id":2424682,"id":"Q2424682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$620346D5-C314-4483-96E2-63C8E8875953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bed1d5d70e3773d446e8bb2fa68e0db6b1a2ebc6","datavalue":{"value":{"entity-type":"item","numeric-id":3535618,"id":"Q3535618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$EBAD7E16-1680-4A7F-9541-304C68C6928E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bb20fb46da003081f0ca99446a76fc65fe418e","datavalue":{"value":{"entity-type":"item","numeric-id":5703872,"id":"Q5703872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$1611BC91-AECA-4220-A286-6AED2AAB7271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e876ff67df10cc936cb792ccdfd3dbe5b282dff","datavalue":{"value":{"entity-type":"item","numeric-id":1074620,"id":"Q1074620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$3D057BAE-D289-432F-B621-0D9BBF6A280A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"238c7824ad6c085a15f97d595a032b05ded62ac5","datavalue":{"value":{"entity-type":"item","numeric-id":2252521,"id":"Q2252521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$E5D10563-DFAD-4C54-810E-FB7CB3DC756C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95476e9979912a43de064ff1992e45b3ccac7ad1","datavalue":{"value":{"entity-type":"item","numeric-id":2638188,"id":"Q2638188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$7AE12064-1BB5-4F67-B0F2-BA6AFD0BD0E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5262823b0f5f002719e39075b00d039bff7e2e7","datavalue":{"value":{"entity-type":"item","numeric-id":2480055,"id":"Q2480055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$FA96A39F-1AE8-42E8-915C-701A7D25E559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d25193b6710c306783691d70b01f842e6c0e1412","datavalue":{"value":{"entity-type":"item","numeric-id":2904057,"id":"Q2904057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$F5957C00-CF77-46C9-BE08-DC277AD632B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$ED1D7C0F-E943-4320-8F7E-3342D0F2AF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99b4eae7493d8f6c982d7549031f59a2b3902483","datavalue":{"value":{"entity-type":"item","numeric-id":3922169,"id":"Q3922169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$9194D5A3-A8DF-4A36-83B3-CC18FAE4D6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac7edbb9a8bc5dbb13b1b5a27b5c86f49c39c1a9","datavalue":{"value":{"entity-type":"item","numeric-id":3086934,"id":"Q3086934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160751$E21D7FD0-DF03-414B-B02A-0C02DD1CE696","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fef48ec3065f264ada8ee9e0786c872885653eb","datavalue":{"value":{"entity-type":"item","numeric-id":5466544,"id":"Q5466544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dae9d51a048b34b2e4ff08da15a3492ebd584d8","datavalue":{"value":{"amount":"+0.834194540977478","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":"Q6160751$EA3C52DF-B120-4284-9A3B-28C4F1576A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddeadf5e42950da4923ac269e7a98fe4531c001","datavalue":{"value":{"entity-type":"item","numeric-id":3086934,"id":"Q3086934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4370726db6e8d7b5141c533ca8d79ce62ade5ed","datavalue":{"value":{"amount":"+0.8315405249595642","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":"Q6160751$97474D5F-6B71-455D-810E-98C91B0EDA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edd5f2c25d43b6be52833c6f18150181ed72da30","datavalue":{"value":{"entity-type":"item","numeric-id":3656780,"id":"Q3656780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1a75b3c446ad689592640e02687edbeb0d48e0c","datavalue":{"value":{"amount":"+0.7738662958145142","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":"Q6160751$4BBFC825-17AA-4EC7-8B8A-185B30700850","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91417597007b274944b4e720e2d70c63eab031ff","datavalue":{"value":{"entity-type":"item","numeric-id":5094127,"id":"Q5094127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1537803174ea33f5b0c96364a04f44d1d31e0e6c","datavalue":{"value":{"amount":"+0.7736917734146118","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":"Q6160751$CA1E39B7-02D2-4566-AC91-C600D1B271D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c79178ae34945f7c2ae9b21efca298d988e63c0b","datavalue":{"value":{"entity-type":"item","numeric-id":5145687,"id":"Q5145687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0cba2b18425783942be823458be55ba7a0277da","datavalue":{"value":{"amount":"+0.7736915946006775","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":"Q6160751$BF2B2C1C-8BA9-48B5-AE15-E68E42652936","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160751","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160751"}}}}}