{"entities":{"Q2864522":{"pageid":2875242,"ns":120,"title":"Item:Q2864522","lastrevid":42327334,"modified":"2025-06-08T22:43:50Z","type":"item","id":"Q2864522","labels":{"en":{"language":"en","value":"An abstract decision procedure for satisfiability in the theory of recursive data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236519"}},"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":"Q2864522$2F464B42-290F-4322-8AEB-8006716A588B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82a8fe51ccd4214c24eaa5d02f677843784c19dd","datavalue":{"value":"1277.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864522$7050E421-F64B-4353-B02E-0E76543EB1EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$B44EC43E-4E60-4C38-958A-36FC871BF31B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"019cee295f168ae5eb9f2e97c6cf6edbb02778e1","datavalue":{"value":{"entity-type":"item","numeric-id":2848052,"id":"Q2848052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$D134C91E-7F3A-4C72-A02A-B118A75C8BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$6B9A5011-BB28-4E04-B410-FFAEFAE749FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$59079871-D695-42EE-8B04-31DF2276319A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864522$9EEA7D9D-53F0-40CA-A052-6D75C215F72A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864522$A668513B-A2A8-4C03-AAD5-CA1E8A602E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864522$6EF3E663-E9B5-422D-AFEF-5497468F5849","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b123000eb5f7427690abd6637a6b5bc66021526","datavalue":{"value":"6236519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864522$BE86F834-D3E9-4CFC-A9CD-E5A35610E07E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c875ed50027fca39fa952fe3217c224ba92b55b","datavalue":{"value":"recursive data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864522$51A393FE-7100-4B10-9764-1CB1889E11E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864522$55840544-F0FA-4C84-80EB-32E73DF4D8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7102eb4b168b2e4c7843b96c7dfd3079fb5d3583","datavalue":{"value":"term algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864522$2D07ED52-C78C-4A9D-8C5B-1B18F46793D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864522$FBD0D82B-B297-479D-9C46-FC5B7AFD1408","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd543fd49199b1838ba332ea5e7b335fbe6c5a58","datavalue":{"value":{"entity-type":"item","numeric-id":19608,"id":"Q19608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$C6246B9A-5BBA-47C7-913B-A074E1B1A446","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":"Q2864522$84551BA1-27E8-4A94-9FC8-3FA31861A1A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"92539da29c9b0c9ba079341b46ee1fb8c88d2b24","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2006.11.037","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864522$BEE8787A-53AA-41D6-828C-56790A905304","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c1e40f3ee75556ef3748acb896579c04a667d81","datavalue":{"value":"W2056554620","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864522$DE8C8310-6973-4AB9-8233-A52B6EDE308C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f2eefad08f445d5828ca880db484eaddd20fc85","datavalue":{"value":{"entity-type":"item","numeric-id":1425161,"id":"Q1425161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$B0A50C4B-2167-4485-8650-0D6917E5FBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be67f799ffc5b3fd133657f657d0609a463820d","datavalue":{"value":{"entity-type":"item","numeric-id":5312942,"id":"Q5312942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$2F7AF0B6-B749-467F-ACE1-4A689A38681D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14bd97e9dec390545916db4e89e737371beca26b","datavalue":{"value":{"entity-type":"item","numeric-id":5387916,"id":"Q5387916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$27C11A1A-221B-406B-BADE-1A304A4CCC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed02573663da68744c881b10967b1f1f843cd08","datavalue":{"value":{"entity-type":"item","numeric-id":2864522,"id":"Q2864522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$D6F7D960-38A3-4855-A1DD-2060DB40F144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbf516d618c4e40e5cc45192848e3901d56db66","datavalue":{"value":{"entity-type":"item","numeric-id":2848053,"id":"Q2848053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$1131C23F-82BF-440A-A0FC-49FDCF8459C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$6A84D4D9-94E9-4A34-B24C-D68B99C0C794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$BFE86766-2987-43A5-B0C4-25B27B6C8773","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$DDB772C6-7BE4-47CD-8EE9-53E193321543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$2034F8A4-64F8-4579-BF31-851298AD03AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"975126c2667d6964e52988e556bf8223ff836bfd","datavalue":{"value":{"entity-type":"item","numeric-id":3883564,"id":"Q3883564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$B9CCBF44-799A-4551-8B2D-5FA9795D856A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b84948bf7400d8867265f975f297f2e1fae503e4","datavalue":{"value":{"entity-type":"item","numeric-id":3935457,"id":"Q3935457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$35970EE8-127E-4662-834E-49F4DD3DA5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28039a446a03faca9d112ce464bbb91b9adbe1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5394160,"id":"Q5394160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$27A8EF6B-6B8E-4440-9352-87E11271FB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9449c19c7b5c1f51949e3ece7e9c1d43e3d4ef1d","datavalue":{"value":{"entity-type":"item","numeric-id":5307055,"id":"Q5307055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$64578E50-35B0-4BAD-81BE-E8250E982044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396af626fe8faab46e5d220f7434279aff40bfbe","datavalue":{"value":{"entity-type":"item","numeric-id":5464659,"id":"Q5464659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864522$EC61FCAC-C591-4A1E-9BBA-67B78A2D3706","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b2fe23f41b271669795ae56b61877db14489636","datavalue":{"value":"10.1016/J.ENTCS.2006.11.037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864522$2FDAA122-FF2B-42D3-91C8-F8AD5EC3C41E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e7c0bf4dfbc1752f4a51097e56384e068b46526","datavalue":{"value":{"entity-type":"item","numeric-id":5309032,"id":"Q5309032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21aeadd84b1741cde6ecb4c4f37f2f9e6e5f518c","datavalue":{"value":{"amount":"+0.9116274","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":"Q2864522$72BF2F70-E230-4F44-8E0C-C41CA19EF721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f951d8f9e4dca86608cf14ef2ff8c919896ab86a","datavalue":{"value":{"entity-type":"item","numeric-id":5255074,"id":"Q5255074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4e20e7d5244211535cc14d25688b1526cc0407a","datavalue":{"value":{"amount":"+0.9064273","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":"Q2864522$F34C3DCD-E4CA-4399-8135-030E0CC4E71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2736b661563708670c0260aac3786ab930b183d","datavalue":{"value":{"entity-type":"item","numeric-id":2360873,"id":"Q2360873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c885d5542a0c662bacb2be77081c402619ac503b","datavalue":{"value":{"amount":"+0.9012357","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":"Q2864522$D321FAA6-A66C-48DD-A5E8-755F226858B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b5192e189433aa3c67746a2f4880b6830d9d2b3","datavalue":{"value":{"entity-type":"item","numeric-id":3454092,"id":"Q3454092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c885d5542a0c662bacb2be77081c402619ac503b","datavalue":{"value":{"amount":"+0.9012357","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":"Q2864522$5229BEB9-7FDC-4B83-9B8C-FDA75979E316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5c58ba094084c62addce8231789deff838749d2","datavalue":{"value":{"entity-type":"item","numeric-id":2864524,"id":"Q2864524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29dec9a1f4db13bd97cc23bef1f1ef7e008afbf","datavalue":{"value":{"amount":"+0.8947776","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":"Q2864522$F0DD19B9-DFE9-4B08-91BC-184746B93739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb93c461fcf87a6649fbea436d5dde7eb868529c","datavalue":{"value":{"entity-type":"item","numeric-id":4016523,"id":"Q4016523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95bc5635ed49c3538dd93df76a80c1fba425545f","datavalue":{"value":{"amount":"+0.879838","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":"Q2864522$9955319C-FEC8-40A2-A76A-7EF272AF38E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dac79f3b2c343082efd0018d47de61eeb890a8aa","datavalue":{"value":{"entity-type":"item","numeric-id":5897364,"id":"Q5897364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"469b167c2cda88b6017c8c26a4b607fef210f652","datavalue":{"value":{"amount":"+0.8762183","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":"Q2864522$7A5671C2-A34A-404A-AD36-7D7C09C93883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4daec74211a0539c46024ad6cb6e3335426fbd0c","datavalue":{"value":{"entity-type":"item","numeric-id":1923102,"id":"Q1923102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aac3014d043d0bad8002ae32ea1fe4f87bb7958a","datavalue":{"value":{"amount":"+0.87540555","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":"Q2864522$9364523A-83AA-4E69-A972-E57B697212B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79960c67441c0801e9a93b87e74062f60af9e0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3992226,"id":"Q3992226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4b852a5e880d476b40726abb5e025af2260a9d","datavalue":{"value":{"amount":"+0.8750243","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":"Q2864522$0A7534B2-3E20-41C0-9EC2-94F5AAE141D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a5528e39978c0857b136e99ff5dcf025263b6d","datavalue":{"value":{"entity-type":"item","numeric-id":3707378,"id":"Q3707378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89869cbe7691aea54780aa54a1874ef5744ffa36","datavalue":{"value":{"amount":"+0.87498987","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":"Q2864522$94E7F0BA-170F-4AE6-9B9B-A32BDDFCA748","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44cda178138f1cc7feada70d4d7dcb2f5b0c6845","datavalue":{"value":{"text":"An abstract decision procedure for satisfiability in the theory of recursive data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864522$EEEAEFBB-8064-40EF-BBE9-FBFAF3B42DCB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2864522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2864522"}}}}}