{"entities":{"Q2973243":{"pageid":2983968,"ns":120,"title":"Item:Q2973243","lastrevid":52772843,"modified":"2026-01-23T11:35:31Z","type":"item","id":"Q2973243","labels":{"en":{"language":"en","value":"Simply typed fixpoint calculus and collapsible pushdown automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6699376"}},"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":"Q2973243$FF2E2CA9-8EFD-41C5-A2CD-EB624AAE6A32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f025630d58787242298754da9c99fe9582ca0a26","datavalue":{"value":{"text":"Simply typed fixpoint calculus and collapsible pushdown automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2973243$B2314B5E-CCCF-4CAD-99BF-8812CA7D193E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecf0bae118bb597ccd227878d20f5d1bf75ac788","datavalue":{"value":"1364.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973243$CED45E3A-64C4-4A60-A781-5341635C9D17","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5693bf14fef2566039249d1af04e5196741c2f71","datavalue":{"value":"10.1017/S0960129514000590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973243$79DFE98B-0A32-4CB7-B2CB-71E2BAF465CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c362ac3b16803115650ca1635e62ab561b04cbac","datavalue":{"value":{"entity-type":"item","numeric-id":476195,"id":"Q476195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973243$2CF0128A-2706-49F3-B7C8-0F6576ABDCCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973243$7322BCF2-8490-47C4-913A-2935C9E49850","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973243$B0CF117F-CD79-4529-9095-ED498E60AF61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04f7a2f550909c716d55bfcdec42733ff339d9d","datavalue":{"value":{"time":"+2017-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2973243$D5F82BB7-629B-40E3-A91B-956D4129A797","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973243$4F8B98A4-03F7-4F52-9AD2-84EE89E23510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973243$14C912EE-5013-4722-9710-191D37587BEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35e3cef41973f507b92610e455c441550bb0ac5a","datavalue":{"value":"6699376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973243$5C6D0CA6-E369-4E86-A441-DC8A6FF5C930","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":"Q2973243$A7E516C5-3322-42C6-BE7A-14733A13B2C8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"91740000742ef4f2fddad29d68366017c1036a9b","datavalue":{"value":{"entity-type":"item","numeric-id":4899139,"id":"Q4899139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973243$32118CB4-82BB-4025-A00B-FEE9EDABBC1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b567cf8cf2023b9bd874b28cb13ae525c4c5e733","datavalue":{"value":{"entity-type":"item","numeric-id":5300902,"id":"Q5300902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973243$64B9EED1-961C-4B88-A637-FECCA552CF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973243$9765BAD7-EB28-4EA9-96E6-53AD05FE1228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973243$6DA823C8-9FCA-4EE5-B377-AA1341806D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fe0ad010f94e5ce6b15bd328037fb0b46059b28","datavalue":{"value":{"entity-type":"item","numeric-id":3765259,"id":"Q3765259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973243$8D76B6EE-C1C4-432D-BE80-5B1D3373AC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46258d6e47b1d66cde2edd84a854af6edeee43f3","datavalue":{"value":{"entity-type":"item","numeric-id":3167009,"id":"Q3167009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973243$7B0A1B08-6EF4-4BF0-8CBA-B730EDCD53CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5a5a548de29292f3076e3c387192aa95b4bb026","datavalue":{"value":{"entity-type":"item","numeric-id":1161273,"id":"Q1161273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973243$5EA5B661-B86D-434E-BFDD-44B6C034AB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4214ab4d69253d5ec7311d4674fb7ec94430c940","datavalue":{"value":{"entity-type":"item","numeric-id":1021568,"id":"Q1021568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973243$F5727222-F351-43C8-9D54-18BF0E8DBE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1de9637af9a8fedcf8ab07e9c2d71e01bf8c23d8","datavalue":{"value":{"entity-type":"item","numeric-id":5565119,"id":"Q5565119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973243$DE5ABC93-A4E1-4E7E-8DA5-1130C7FD9F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"442937e7a92071855338b0012339d681574f358b","datavalue":{"value":{"entity-type":"item","numeric-id":2464723,"id":"Q2464723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973243$55B49108-F3C8-4EC9-87F7-283E7E0815B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cf3563ac3ed27674f0edae713aa63792a6b8330","datavalue":{"value":{"entity-type":"item","numeric-id":3000614,"id":"Q3000614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973243$F5BCEC71-5F7B-423A-81CC-515EA710F25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da64f1cca780954140e34c386764f2e05d1755b8","datavalue":{"value":{"entity-type":"item","numeric-id":3012917,"id":"Q3012917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2973243$556C3C6F-9B15-4A69-9CB3-46BC06652E08","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"14966759c193a7fe23330acfad0fb51fe840e181","datavalue":{"value":"https://doi.org/10.1017/s0960129514000590","type":"string"},"datatype":"url"},"type":"statement","id":"Q2973243$E0D1F4A2-34DD-4FBB-A324-61138415B6CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2e8cb72c7dd43342871d39ea45cdd9f1ae2f4bdf","datavalue":{"value":"W2142927307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2973243$4AFBD5BC-408A-4790-9510-85EA3FE3ECA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46efcde793d6a4798a428a0a0d5ae2133e982970","datavalue":{"value":{"entity-type":"item","numeric-id":4899139,"id":"Q4899139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca22e81e2a4426177d2a19b9c96fd9a3f253e82a","datavalue":{"value":{"amount":"+0.792402446269989","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":"Q2973243$FD327C04-D0E6-47A2-B68D-3C7C0A51BDFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d22003d7673dfd1eba2882cfa6c16aecb210a34","datavalue":{"value":{"entity-type":"item","numeric-id":1886326,"id":"Q1886326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a444329b0943abc47a86d54fb71ebb0e9daade","datavalue":{"value":{"amount":"+0.7672179937362671","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":"Q2973243$EBD32031-E2BD-47ED-800E-B1CBAE3C1E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66ff692f4af674c9d602d0bef00168dba750abb8","datavalue":{"value":{"entity-type":"item","numeric-id":5426067,"id":"Q5426067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b05c2363094a75333328f3d4a55419df2d1c332","datavalue":{"value":{"amount":"+0.7543357610702515","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":"Q2973243$FF128477-C758-4AAF-B280-C6FA3DF86D7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff874242278059df7bb32d66a2041e08307fbf6c","datavalue":{"value":{"entity-type":"item","numeric-id":4922079,"id":"Q4922079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"736d2842fff5e0873a72476185efca8cdc90ccbd","datavalue":{"value":{"amount":"+0.7535104155540466","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":"Q2973243$9B99331D-6B72-4F40-B460-30B8290518D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1baed9d8be44c4fdc43c2e3c2fd092767b20f18","datavalue":{"value":{"entity-type":"item","numeric-id":3638274,"id":"Q3638274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b44d0f46e30c29dad61614b04a3b583853a82f19","datavalue":{"value":{"amount":"+0.7337430715560913","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":"Q2973243$C06E4587-B368-48AE-90A8-F8190E2D7394","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2973243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2973243"}}}}}