{"entities":{"Q3060985":{"pageid":3071701,"ns":120,"title":"Item:Q3060985","lastrevid":45364648,"modified":"2025-12-06T08:34:04Z","type":"item","id":"Q3060985","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5825969"}},"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":"Q3060985$1059789F-E6E6-4A80-9733-7CB128A4ACBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"495d414a461865e0bc99c38bbdcfffbbb7b83cfb","datavalue":{"value":"1214.68160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060985$476DFA46-0CF5-418D-90B1-4E10F87FDCF1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42cc1219b3caa6a5a3954f00527f605769aebe07","datavalue":{"value":"10.3233/978-1-60750-100-8-263","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060985$94343F72-B38B-448B-9C20-81FB2AFA9818","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a148a0f7f88b9e1cbbef4b920e7c605d6b8ccf5","datavalue":{"value":{"time":"+2010-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3060985$CBB3FC33-E771-46B3-A8DE-A49C8F6741EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060985$8BBE8E03-E6AF-489A-89AF-D5345C1C896A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060985$E73AD273-3FDD-4719-AE04-85D69F8146B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060985$A5071C24-D370-49F4-862A-3D11B6F6BBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060985$8794D3C6-1511-4732-B0F0-607F8EAF91F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2a0fd3bf5c8fda7890bc028c800941ae5bd83900","datavalue":{"value":"5825969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3060985$066C4DA9-8754-4336-839B-3205BCA6C07F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84e59d92f7ca5a4a9bfe2976dadd042ab8bd1ed","datavalue":{"value":"higher-order computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060985$7768FD6B-8032-4504-8471-4D2356374BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"456c672ca15cab74651e643baa7549046be81ae8","datavalue":{"value":"pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060985$7653A006-55E3-4A02-9300-BF6A29C57C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5180cec501387dd96d6203b519d03a8089032ef3","datavalue":{"value":"survey article","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060985$676B5C91-5170-4E32-9155-7B69705D1C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060985$6839C893-1EBD-42C0-9E25-569D7F598013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e1b10ce39bfce710d3a1d1c36e1ea4ab25cf78","datavalue":{"value":"recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060985$84BB29F0-4044-4DCD-97C9-2B9E94170B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4663cfe18d85bddd388a9f24267464b0bd8316da","datavalue":{"value":"higher-order collapsible pushdown automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060985$4B35713C-6A90-4C33-8BCA-71ACBB12A5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d382bda2e2f6ac5660c2f01187826eb1f0e7ce31","datavalue":{"value":"game semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060985$78C83241-E0B5-4F0C-9A58-D74FB5C92AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q3060985$F21E5591-D7C1-4D07-B68F-0E03009CFCD4","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":"Q3060985$7113E4A6-3D52-46DA-8EED-95C0A341DCBC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d9449b2432e897788e8b68da1effd88f4c93eb6","datavalue":{"value":{"entity-type":"item","numeric-id":4910438,"id":"Q4910438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af21f630db317a146438be7a5fb3aed3002d5b2","datavalue":{"value":{"amount":"+0.9587127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060985$736F7ADA-D454-4552-B01E-F97575BD9ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f336f6b05b1c852daafdb4e9e56c03527c9f5c","datavalue":{"value":{"entity-type":"item","numeric-id":2244830,"id":"Q2244830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6360242882ae2a603da04d89c4786d569c359f85","datavalue":{"value":{"amount":"+0.9440404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060985$28FE4B04-DA24-45F9-A065-67B2F9873CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aadaba022955398c649765841c263b14ee7ae57d","datavalue":{"value":{"entity-type":"item","numeric-id":5369241,"id":"Q5369241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"457af80503cf7cde680aa6580a7433054f386fd5","datavalue":{"value":{"amount":"+0.9121204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060985$D0A3E268-180F-4B54-A173-034AAED82095","rank":"normal"},{"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":"d26a2d9f0ed56457dd8179f81405c3ccda25e106","datavalue":{"value":{"amount":"+0.90060616","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060985$D46025E0-2809-4F8F-9F2F-04DB32AF2FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1f09a3907a84212a77018b6f8a853384657c0af","datavalue":{"value":{"entity-type":"item","numeric-id":2908852,"id":"Q2908852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3704cd2bed31c1b588bc6cfb7cb2a88c880cc6","datavalue":{"value":{"amount":"+0.88349754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060985$5E7FE61D-C131-4F4F-8C96-CBFFCF74B3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a41382b6d00d6ae3f2fc640f4d8895ff35cc02cd","datavalue":{"value":{"entity-type":"item","numeric-id":1817112,"id":"Q1817112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62a8786a15173522b690186b0027448a52ecdfdb","datavalue":{"value":{"amount":"+0.879375","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060985$43A1C070-F246-4004-8CDA-97DAE46E2006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8848cff7d1cd43c8c5b9c0047dd396bec7d74f4","datavalue":{"value":{"entity-type":"item","numeric-id":5111330,"id":"Q5111330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f11f23f5d2f3791fb980f0440e0a79f8218cd0e0","datavalue":{"value":{"amount":"+0.8751411","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060985$9D7162CA-4CF5-4C63-836C-12A6D6491B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"946930d63b7416ae266d793700e63fd268e865e5","datavalue":{"value":{"entity-type":"item","numeric-id":4941897,"id":"Q4941897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d12e67c98d65e037fc8f2ee55b8fe1c756f480cd","datavalue":{"value":{"amount":"+0.87277424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060985$42E76F5F-2778-49F9-8469-7082F2AB0EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ff44003f033addd97fe67bb4dd90f015a34080a","datavalue":{"value":{"entity-type":"item","numeric-id":2949142,"id":"Q2949142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f66ec2f6639f85627ca431a5d3c02d198c41860a","datavalue":{"value":{"amount":"+0.86724746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3060985$99CB4B83-0F30-4203-B6C7-2C4202A6EE9E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3060985","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3060985"}}}}}