{"entities":{"Q5351961":{"pageid":7381535,"ns":120,"title":"Item:Q5351961","lastrevid":100961372,"modified":"2026-06-05T23:33:19Z","type":"item","id":"Q5351961","labels":{"en":{"language":"en","value":"Reachability analysis of first-order definable pushdown systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767599"}},"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":"Q5351961$018797ED-567A-40F4-8B20-ABAC196BAA04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d4846d5dabbc46a868db1ed614e1d04b597cafb","datavalue":{"value":"1373.68280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351961$5D03682E-5BF7-485D-BDA6-1BE54A9EB9C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01e14a2ab9fc255c6552f3abb28f56fd94b40f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2221810,"id":"Q2221810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351961$02778AA6-6279-4549-B253-961284A64CE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351961$8D44FBCF-E945-4A05-9609-D441DC27371D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-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":"Q5351961$FB70F49E-646D-4418-8933-FBAA6A206D23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a33bb76b8d8d5d853040b37292d28a70157b26cb","datavalue":{"value":"https://arxiv.org/abs/1504.02651","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351961$EBBFCC5C-8DB9-47D1-9267-6AD5A5CB5612","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351961$73B4E1BB-6AA9-4A50-93B9-EDA87676F960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a813b4bdb99e25945b5eea647242a11d10dedf0a","datavalue":{"value":"03C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351961$AD3E13C6-7077-4DED-8498-4FC9AA64515D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351961$FD8638DA-EF55-456E-8347-1BA8755D876C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd6c6d3f86912c5bcdd820688a216052970edc7e","datavalue":{"value":"6767599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351961$B6EB5372-2B5F-4E70-985C-6AE54C58498F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351961$A1591FC4-43F0-4370-AC2F-DAFA8774D237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37f67d7f6c0dd8120babf03358939745eeef16c","datavalue":{"value":"pushdown systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351961$0AA059E6-A562-4485-8B98-27264AF51584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29691458f6a88c3ea6f4232ea52fab7527ce61ff","datavalue":{"value":"sets with atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351961$1C8FC518-67AC-400E-9C57-2A2F1E615A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4439547a482d84aadbb11070fa27e9136fa291f","datavalue":{"value":"saturation technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351961$D5815C56-2D73-4C20-A7C1-66448F8E7078","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":"Q5351961$B5A1D8AC-6463-47B9-B15B-0344404F71DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a744a57f5bd97cda2a98ca4febca2667635621fe","datavalue":{"value":"10.4230/LIPICS.CSL.2015.244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351961$502C4095-71E8-42CF-964B-EF1552EA3315","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7491f18a93b87811c5cb180226e25f4331a7dbbd","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8009c4bbbeb4ab35bfd9d5e10b7c4a6f423c7ac0","datavalue":{"value":{"amount":"+0.7774579524993896","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":"Q5351961$14C9FFDF-5512-4977-9AB5-A4BEC2767E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb492f3a744c276b7ffd4c481bb1baf3a481b0f","datavalue":{"value":{"entity-type":"item","numeric-id":5894957,"id":"Q5894957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"839c70944202d92b32fdf525b086e51a97cc4c21","datavalue":{"value":{"amount":"+0.7534145712852478","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":"Q5351961$E2EA6B72-41CB-44C9-85CE-7E3B73A5A5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4386bb6ca5f40f0cd6b55756c488e0cdeb70a05a","datavalue":{"value":{"entity-type":"item","numeric-id":5891773,"id":"Q5891773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c0fdcd872b2f42fa0d0676ce4df0b746267d59f","datavalue":{"value":{"amount":"+0.7524380087852478","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":"Q5351961$1C3DED67-F64F-46E1-9F63-E3873409E642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"109dfac64b21362e70762aac951c33d36409eac0","datavalue":{"value":{"entity-type":"item","numeric-id":5758055,"id":"Q5758055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c7c2ddff3daab3f32315fead8e984d8761bbf50","datavalue":{"value":{"amount":"+0.7516284584999084","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":"Q5351961$DCC6A252-935E-49F7-A106-D7F95F9A94B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f5d04225cd8119c501c0fe63a8e4d4839ea4ee","datavalue":{"value":{"entity-type":"item","numeric-id":3623010,"id":"Q3623010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"648700d6cb4bb43ed922c2a0fbd57d1945d2d70a","datavalue":{"value":{"amount":"+0.7497574090957642","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":"Q5351961$D4A2C185-2310-46CE-90F6-A9220B6CEA3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reachability analysis of first-order definable pushdown systems","badges":[]}}}}}