{"entities":{"Q3769944":{"pageid":5799850,"ns":120,"title":"Item:Q3769944","lastrevid":52020857,"modified":"2026-01-20T18:45:32Z","type":"item","id":"Q3769944","labels":{"en":{"language":"en","value":"Automating program analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028869"}},"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":"Q3769944$1CC44F48-9F0C-4986-BEE4-C725ABD8430B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf22babb7d933c576bd0eaafccb6cd8139e1e696","datavalue":{"value":{"text":"Automating program analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3769944$E78D283F-E1B8-495C-96A4-E9EA4B5A77D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"301082de904a71dfa7009870a21c377405d98649","datavalue":{"value":"0632.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769944$C6D0464D-4E31-4DD4-BDDB-05FB92718424","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ffccd6464ce7b72501195bb3c552a5c366968516","datavalue":{"value":"10.1145/42267.42275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769944$CD15E148-037E-4A4C-AE41-D0EB06D11D68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"929585aafc3e962a3af2cb6ff64216428c9dce8f","datavalue":{"value":{"entity-type":"item","numeric-id":1971098,"id":"Q1971098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769944$52899627-E459-4FD8-8FB7-0333B6374FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e72fb1874c8ebaeaee2c27d05e1d603994ecba47","datavalue":{"value":{"entity-type":"item","numeric-id":628334,"id":"Q628334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769944$FEAA6551-B00B-4B8A-B4CC-91141D7AEFA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3769944$F53312AD-BA3B-4CCF-AE8D-A31E5CA5B116","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3769944$EDAB0BB3-F5B1-404A-A8EB-F5703175007C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769944$C12B9D77-27F7-453F-9C1D-B599CF390CFC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fdea80746d9ba35b839f3efa5df36001f5373e1b","datavalue":{"value":"4028869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769944$DD48D85F-BA83-4175-8732-0F61E919075F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c36fc07344feb595e8f57a9f1e5305ba399dbb2","datavalue":{"value":"computer-aided program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769944$6720099C-C06E-4CDC-9C2D-10262DD7C886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abb803c6475a042fe06038cc89389e508b9ca513","datavalue":{"value":"probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769944$679C479F-F2F6-424B-AF96-942F4CF11D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cc40c8e301056903dbc345f88c0ae202629d5e5","datavalue":{"value":"symbolic manipulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769944$A526FAA1-6B2F-40C2-AD93-7659CF5F285C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6bf288535a45d85f112273045a0875c1b6c37310","datavalue":{"value":"semantics of probabilistic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769944$5B8B7616-B669-4F4A-97BD-36E40E7C68A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769944$B7368F0E-C2DD-4EA3-950D-022CB0F4E1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e981093abb6386ba20389eb41032dcb8a4b43930","datavalue":{"value":"assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769944$4E3A5B93-C8F9-4451-96DE-C0E4954EB58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a8fc62cce863b373f40a4bc53c7b0b4cb045a5a","datavalue":{"value":"conditionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769944$D0F5C0D4-A3B1-4A84-A926-84F44AD75326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b069937643b327914e4906ee5a83ccdb9325465","datavalue":{"value":"loops","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769944$CFDF02D0-B974-4647-A6AE-E376F07A3029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9580e81438e3dbb0d69a56f9a994ffa107540fcd","datavalue":{"value":"performance compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769944$4321EBD6-09BA-44C3-9001-68D25D1D0A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769944$0CEDB6AD-F8FA-4921-85AB-7F08317FC995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769944$F2BED0D3-EA20-4927-9CD5-DAFA116C48D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d80f3a0cc31223ecae5df3a4e9f5aa3faa15f09","datavalue":{"value":"complex data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769944$287AA296-30C0-4E17-BC7E-2608F46DFC4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4995da0fbc81fe6692fe432f46818fbef8e061cb","datavalue":{"value":"binary tree sort","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769944$C10FE6B9-7B67-46B0-BEEC-0B604CF4029B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f720c5cda0676a52d52ff663abd5aaf1a6f51b9a","datavalue":{"value":"attributed probabilistic grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q3769944$E60B4E0F-2FA8-4AB1-8E8F-2E50A3E2C72C","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":"Q3769944$E51EA53B-1908-4823-B402-82580DDDCEED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21000d901a8136c8b1505b82cf4433126c226623","datavalue":{"value":"https://doi.org/10.1145/42267.42275","type":"string"},"datatype":"url"},"type":"statement","id":"Q3769944$3149DE72-E7D3-4E2E-9623-EDEA4A89F262","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98384f7f9c8873df7c2dcb16f4612b145f9add4c","datavalue":{"value":"W2003398205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3769944$36ACAF24-9038-465B-8A5E-83ABFCECBAD1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69198b8c7695e27d8066c75c43b969e623ee646c","datavalue":{"value":{"entity-type":"item","numeric-id":3460504,"id":"Q3460504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5371c1102c7c174fd88bda51f6d2b57bf0aa5a6","datavalue":{"value":{"amount":"+0.7879468202590942","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":"Q3769944$58A464FD-8CF1-4DDF-A377-9D8BF0F16CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08291d7e6ae5916de0c1989e41839cd2ae5a80ed","datavalue":{"value":{"entity-type":"item","numeric-id":1174718,"id":"Q1174718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"517577f39378ae5a1cf6860561cd12c24c34a066","datavalue":{"value":{"amount":"+0.7803984880447388","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":"Q3769944$E224FC19-7542-412D-9D57-B0DB92CE4741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e9c50d77e53b71e77b857fc782d3bb73786be3","datavalue":{"value":{"entity-type":"item","numeric-id":3323261,"id":"Q3323261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"517577f39378ae5a1cf6860561cd12c24c34a066","datavalue":{"value":{"amount":"+0.7803984880447388","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":"Q3769944$50948AB0-C167-42E4-98BC-D9A1962B9967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6876120d980e455f80bd287d05140891a96a41fe","datavalue":{"value":{"entity-type":"item","numeric-id":4658722,"id":"Q4658722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c4079b1412b43e6f1809636771d1e1fc6c7a416","datavalue":{"value":{"amount":"+0.7584755420684814","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":"Q3769944$BDF03858-BB9F-4428-A7A8-2965A5585C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0c29f8690da10f8174d537dc98661152dca987d","datavalue":{"value":{"entity-type":"item","numeric-id":3833599,"id":"Q3833599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80e12e09f5ee7d8e0d87173b7e3aa05856ba4e97","datavalue":{"value":{"amount":"+0.7492761611938477","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":"Q3769944$350E8657-C7AD-4163-89FD-47643272D4C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3769944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3769944"}}}}}