{"entities":{"Q2946692":{"pageid":2957412,"ns":120,"title":"Item:Q2946692","lastrevid":85390376,"modified":"2026-06-03T07:43:47Z","type":"item","id":"Q2946692","labels":{"en":{"language":"en","value":"First-order logic on higher-order nested pushdown trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483196"}},"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":"Q2946692$3694416B-5422-48DA-8DA6-51286E98CE44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5dc2067b710738898ef478a036f9cc0d3200976e","datavalue":{"value":{"text":"First-Order Logic on Higher-Order Nested Pushdown Trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946692$EE919603-AB24-475B-AEB0-FC35D2A0C241","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0d08877ece61c9361c4bd66bf1d826850b82dfa5","datavalue":{"value":"1353.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946692$9C077C0B-81C9-4FD9-A546-9A95A97D4284","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e16d9363062c4951a77927f8df11f42ed9cd6dfb","datavalue":{"value":"10.1145/2480759.2480760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946692$CF956A0F-0E2D-443E-AE6A-36CE4B897739","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06012f2a57f37290b6cc56ae38272af569718724","datavalue":{"value":{"entity-type":"item","numeric-id":269502,"id":"Q269502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946692$122ED918-5552-4AC1-B40C-D41C40F258B0","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":"Q2946692$8C3D8C09-981F-4B84-8801-E7C3E42641AA","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":"Q2946692$A7BB0820-EB37-4564-AEEB-F064E6981BC8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ae1857746d45e0f49bea9ed8a5d9853f035c5455","datavalue":{"value":"https://arxiv.org/abs/1202.1980","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946692$4923717E-BBC0-4755-A016-AC1CA19220F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946692$BE096DA8-CA5E-4CEF-8CB1-79EF4100A2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946692$67B91381-0625-48DF-BB16-027855732208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946692$1C7AB0DB-3001-48CC-B208-5904DA69FFFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946692$045D2494-8830-46D5-A6D1-6A9121836738","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0be309472569c85bc0908da65597df9d155ed621","datavalue":{"value":"6483196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946692$30602A2E-8284-4D66-A16F-FBC9E211D397","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb06b3c61aaaeefbd9a6ae48efc57ee7c0a288a5","datavalue":{"value":"Ehrenfeucht-Fra\u00efss\u00e9 game","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946692$FC67C558-E35B-4196-A1A6-DD9B8A009C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"863a82f226387594e49a1b436c63d2809127c48d","datavalue":{"value":"higher-order pushdown graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946692$C551A196-F199-42A8-867C-62EA3638FFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946692$F9F3DCD2-E2D4-4BD6-A3C7-1A29EC0BFDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e75d6ce03512ac73959e51d7abbe8efdad86e41a","datavalue":{"value":"first-oder model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946692$7A6B461E-18AC-4E7E-BD3D-3EB57E7D14D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946692$CCA866B0-C391-4985-B9D9-335E8589F130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ab38fc9111f95dc57867a86e7334118761b56a","datavalue":{"value":"higher-order pushdown system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946692$83AA2508-B060-401F-8E9F-DED5ACE127EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9e34b041a85009fd86319bbef2e8d9e22338b1d","datavalue":{"value":"nested pushdown tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946692$E89513C6-BC0B-4657-A3AC-EC551FD761F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d9affffc6b96e2dc41f322b2ae06ab935ecf8ce","datavalue":{"value":"pumping lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946692$0A4E723F-80EB-44C9-820B-175ECD1812A1","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":"Q2946692$EFC88D47-709E-42E7-AB98-86FF90B3FE87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d194f922581d042922090506e89458ee6e0dc52","datavalue":{"value":"W2027482757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946692$1D01107E-ED3E-4F7C-A62D-868C03CC1636","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f2da932dbe594588f6f05dd80eb8d5f10254dced","datavalue":{"value":"Q130867553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946692$7680B843-A6A9-4B3B-A136-E49720C9991F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"984a55dae69a557842426f05980087d198977903","datavalue":{"value":{"entity-type":"item","numeric-id":3225588,"id":"Q3225588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa57532746f0a01d14f2b45b5ccd4f341e1806a2","datavalue":{"value":{"amount":"+0.8927353024482727","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":"Q2946692$850C4BF4-4411-451C-B587-6524A577C828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9d53d8d3d44c478abc97346a470060619146b4","datavalue":{"value":{"entity-type":"item","numeric-id":3182946,"id":"Q3182946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f1c7e8bd975e6452ee82b3c1d2300f8d45163a","datavalue":{"value":{"amount":"+0.8694682717323303","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":"Q2946692$259C6AA3-8675-4CDA-A662-22B4F790B58C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83eed39038c136cd7367ce9a02bc06db956db399","datavalue":{"value":{"entity-type":"item","numeric-id":2254514,"id":"Q2254514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"872f610f7ad912fdab20bbba8faa2170daa9f08d","datavalue":{"value":{"amount":"+0.848316490650177","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":"Q2946692$F01F4409-6DF2-4290-80F6-69F8EABD2934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2989100a0b096564fd71c31602feed2edbad64c1","datavalue":{"value":{"entity-type":"item","numeric-id":2892784,"id":"Q2892784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b256740bec846c31ba1652e2337234e66227fb3","datavalue":{"value":{"amount":"+0.840237021446228","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":"Q2946692$EF2E4906-991C-4B82-9073-BBFE01234CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7572516e4be14dc5003dcbbe4de432859f2b6ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33161645c67e87b9398e56b188964d900c18bc23","datavalue":{"value":{"amount":"+0.8118415474891663","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":"Q2946692$35F92FFC-4F10-4A46-971C-59466B5E33DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order logic on higher-order nested pushdown trees","badges":[]}}}}}