{"entities":{"Q2828291":{"pageid":2839029,"ns":120,"title":"Item:Q2828291","lastrevid":42230590,"modified":"2025-06-02T18:35:04Z","type":"item","id":"Q2828291","labels":{"en":{"language":"en","value":"Symbolic abstract data type inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6642975"}},"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":"Q2828291$9C7E6379-4727-4243-8C7C-A1EC00480918","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2827da3d2475bb6fd4b66c6f88cd75da3ecdc69","datavalue":{"value":{"text":"Symbolic abstract data type inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2828291$23468B1F-CD79-434D-894A-88AD8B0FF03D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a006a04485892af80d924534f8b5fd6068b8785","datavalue":{"value":"1347.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828291$942CF98C-3FCC-4480-8C7E-144CB62C3A24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e99dff4e0246fc41e6c93e20a431d29230cc87e4","datavalue":{"value":"10.1145/2837614.2837645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828291$B1D988A1-5540-4F88-9D2A-30042BFC1BEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b66229959229db7b6e0853a5e80675d257765900","datavalue":{"value":{"entity-type":"item","numeric-id":1641010,"id":"Q1641010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828291$79ECB6F9-7B30-4C83-8146-23DFC4D309C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f25f8c34e12a231b757d629502410dfe3c146a2a","datavalue":{"value":{"entity-type":"item","numeric-id":515661,"id":"Q515661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828291$C9812D6B-AEE0-449D-B393-371D87AACC05","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0a99b403aab07b56f8645942f86d22ab58064aa8","datavalue":{"value":{"entity-type":"item","numeric-id":2828237,"id":"Q2828237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2828291$FB8AC903-AB01-4F05-AD0A-4AEE1CC5AE04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a707999eca047eb3f3f8c2c26743b59dad9c97f","datavalue":{"value":{"time":"+2016-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2828291$13713791-9998-4FA8-BA14-E3CD5958CF90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828291$A043485C-00F2-41E2-8D62-97C9F05856BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47e51c573d1fdf5f0b79aeea68c9acf99ea5c543","datavalue":{"value":"6642975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828291$82BF36DC-AF48-47D5-A284-07559BC3DF12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828291$DDD11286-849A-45B3-B4B5-CC0FD951A895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828291$6F5D2C9F-679F-40BC-809A-DCD67E97852A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2828291$0B6A9054-DBF9-426C-B14E-B5D7E674DC52","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":"Q2828291$19C96CA1-38C2-421B-9EFD-9313BBC6A7FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8dd95c9000459ff116fab90d2304f8a372c76d2c","datavalue":{"value":"https://doi.org/10.1145/2837614.2837645","type":"string"},"datatype":"url"},"type":"statement","id":"Q2828291$86110FCA-E3A7-4812-8EB0-4A2EDB0EC712","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b259aeacecac5379a9dc426b047a5cd4228582b","datavalue":{"value":"W2282334084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828291$B6AC9BFC-AD66-4FE1-8DC5-F4BF0403FF40","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b43f7fa71d46ddb6eb254097133204ef6a873024","datavalue":{"value":"Q131118215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2828291$4941880A-85FE-4BE4-99E2-41EDED71DA94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe83d322ad211062f70bfa17e17d146ea2fbd91","datavalue":{"value":{"entity-type":"item","numeric-id":1314350,"id":"Q1314350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62523cabb719d8133edd11faea1e4aad73f5e509","datavalue":{"value":{"amount":"+0.9148719","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":"Q2828291$93D4C915-185F-460B-8DBB-B709E23AAE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"759e033dfc5901a31f47bfff95313bbfce6046c1","datavalue":{"value":{"entity-type":"item","numeric-id":3687690,"id":"Q3687690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2eb65af411872f9bc799611e73d6e47eb1dd9fa","datavalue":{"value":{"amount":"+0.8956874","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":"Q2828291$BA7B140E-5ACA-49BC-B78B-A567807B8DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1b0f160bbc941ec74ecbc89400d2c491580c66","datavalue":{"value":{"entity-type":"item","numeric-id":1271309,"id":"Q1271309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c85a50a856cea6b47d58f140025d1d3713cebd1","datavalue":{"value":{"amount":"+0.891024","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":"Q2828291$4F670512-94A1-43E8-968E-E27792E9ABE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce3a08a6d629c133ffc12dc11354926d33a92305","datavalue":{"value":{"entity-type":"item","numeric-id":1322480,"id":"Q1322480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a713d386391d4c46c74d4a9d8328418730c9f5e0","datavalue":{"value":{"amount":"+0.8855865","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":"Q2828291$502FD8FA-C84C-4C6A-A9CC-358CB7F29D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052b05f52bce14eca63d5caa03f50876afa12cf9","datavalue":{"value":{"entity-type":"item","numeric-id":1694026,"id":"Q1694026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68248f7c170b9ca4714044a54d07a270f1b63eb2","datavalue":{"value":{"amount":"+0.8847036","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":"Q2828291$79997168-521D-43CD-A595-6FEA21DCD0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4e35522a9db3de84bbf23eb901f6930cfefaa2","datavalue":{"value":{"entity-type":"item","numeric-id":4904162,"id":"Q4904162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44da6dd1f400c7dfa92a114cca42a038c289c9b9","datavalue":{"value":{"amount":"+0.88273555","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":"Q2828291$8A3E6308-38B5-4659-89AA-2280A977AA4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5290c0ccb7aa8018a2f2bf6b931e4236417232f","datavalue":{"value":{"entity-type":"item","numeric-id":5096210,"id":"Q5096210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fdda8b798673c36ecb9095921cf635635141570","datavalue":{"value":{"amount":"+0.88196325","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":"Q2828291$71D0EDA9-688B-4AA5-9F8E-2EF571CA1E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953ffc7eb8657e6462c8e3217812eb9060de6f5c","datavalue":{"value":{"entity-type":"item","numeric-id":3811682,"id":"Q3811682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eec9b3212fd41e5888fa6091b3007e90b24ca7d","datavalue":{"value":{"amount":"+0.8816152","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":"Q2828291$1FA3254C-2AE0-4F1F-8B6D-C04B0AF86B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cd93a17f57c18fd09262e4d9be653bb70f38f9","datavalue":{"value":{"entity-type":"item","numeric-id":3476793,"id":"Q3476793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e88e4aa6bbdc2b3e1482031dc23d14478d68f9","datavalue":{"value":{"amount":"+0.8805425","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":"Q2828291$A6F13AA0-8B6B-4CE2-B622-26684F5ECB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f05cc9808aaf2b3b05d7d8a32555b7fbf344a688","datavalue":{"value":{"entity-type":"item","numeric-id":5756511,"id":"Q5756511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c7a61bbdb115062a91d29d76ef3007df6dffe1","datavalue":{"value":{"amount":"+0.8803834","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":"Q2828291$FC2685F1-4847-40EC-8DBC-F0039EFF7AAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2828291","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2828291"}}}}}