{"entities":{"Q2946705":{"pageid":2957425,"ns":120,"title":"Item:Q2946705","lastrevid":58074744,"modified":"2026-04-03T17:08:48Z","type":"item","id":"Q2946705","labels":{"en":{"language":"en","value":"Graph reachability and pebble automata over infinite alphabets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483207"}},"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":"Q2946705$3B92A478-7EED-49F6-B5E4-17C12519E616","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88e981ea1533ae4c150778765f15ea8d988477c9","datavalue":{"value":{"text":"Graph Reachability and Pebble Automata over Infinite Alphabets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946705$C46C348B-BC60-4D97-9E7B-D494C48DF333","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbd6ac188239a828a6e331f961a8d317a9cda92b","datavalue":{"value":"1353.68172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946705$3070B143-D19E-440C-83B2-0921BF4BFB76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4539200a6a8809f64aad35aa40cdc74698c3e588","datavalue":{"value":"10.1145/2499937.2499940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946705$0ED354D7-AD30-40A5-BA78-89234CFBAB39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cda1a609499962c000f6fa846f1384b1eeadb950","datavalue":{"value":{"entity-type":"item","numeric-id":1959426,"id":"Q1959426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946705$91A2325C-B63F-4F40-8A18-18687027E20F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946705$2B2805E6-25B1-4764-BD15-35405AC737B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946705$74C6761B-DEE5-4E68-AF1F-1E2CEF087A73","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c1bce4590b6ce243025ff17cae5f7ea1af79557","datavalue":{"value":"https://arxiv.org/abs/1110.2776","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946705$111BDD74-575C-46BB-A386-99F2A28FA7EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946705$2116B13D-E6C5-4DAC-BA92-51ADA61158EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946705$43A3E61B-DB57-49DA-A8D9-80A235A5A05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"239a4a174af03c82b61364f762873d53ef0a37ef","datavalue":{"value":"05C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946705$0DCEEF9D-80B3-477D-B70A-3C3DEAA959C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f613055061433a7ec085d62074eb6bbc1d3dbce9","datavalue":{"value":"6483207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946705$8754FADB-7C86-40A5-930D-AAFE806D9307","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aff5d89279bcdc72990d01d565b9d60000fd4d1b","datavalue":{"value":"graph reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946705$EA747608-48D3-4D8A-9731-201692916255","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4561d587e504070be053b0022b2bc3a9f1f77417","datavalue":{"value":"infinite alphabets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946705$E3775C63-582D-4ACF-B4C8-B72B2F648EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab585b3625f2756aed7d3b12370f4b3bf613d06b","datavalue":{"value":"pebble automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946705$A35FA78E-1914-435D-8A89-4CB11362151C","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":"Q2946705$370C8138-B31B-4274-8459-148CE7E41F55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74273aa837523c2ca5af187b37e5993aaa9d7785","datavalue":{"value":"W2164433662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946705$CB6A3864-191C-47B2-ACBD-814DACB95591","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9042884e91f07459867658cea03443ff5796677","datavalue":{"value":{"entity-type":"item","numeric-id":3561220,"id":"Q3561220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b0e4fbd70f2efae7862f4bd078ebfe6bd2cd54","datavalue":{"value":{"amount":"+0.8077917098999023","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":"Q2946705$51E875B5-B24C-48F8-9091-56CA443A8A41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed1709b9544a354c9e71567957cd2fff6cd9506","datavalue":{"value":{"entity-type":"item","numeric-id":5277703,"id":"Q5277703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4125d54859083a0244a04cd0536966d87ded41a","datavalue":{"value":{"amount":"+0.7529076337814331","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":"Q2946705$77DA3C50-462D-4B5C-A3A5-8354417A70B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a2f5d4fc3c5cf935c8834cc3c02a173c07b156","datavalue":{"value":{"entity-type":"item","numeric-id":4779173,"id":"Q4779173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0f41d2fe5758d87927089f2ed78d2ab8f540069","datavalue":{"value":{"amount":"+0.7499589920043945","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":"Q2946705$BC5442C5-2027-4A8A-AABA-41AB5FF52118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f640911052f02a18512eb20add6b9d78608ad2","datavalue":{"value":{"entity-type":"item","numeric-id":1362906,"id":"Q1362906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bd0117d104c9b5f733955e4c7f2e4ef5cdd3e7e","datavalue":{"value":{"amount":"+0.742004930973053","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":"Q2946705$B155B1D8-DCDC-4FE5-83EB-33A892F3DEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7cbe714194eed44a3141149b6462ff955fedb0d","datavalue":{"value":{"entity-type":"item","numeric-id":4799366,"id":"Q4799366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd3f0528ff48bad442f81892e86137ea360c01e","datavalue":{"value":{"amount":"+0.7345107197761536","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":"Q2946705$0376ADD0-DD61-4218-97C1-451D8DB98B5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946705"}}}}}