{"entities":{"Q428908":{"pageid":430675,"ns":120,"title":"Item:Q428908","lastrevid":61766412,"modified":"2026-04-11T01:31:32Z","type":"item","id":"Q428908","labels":{"en":{"language":"en","value":"An abstract interpretation framework for genotype elimination algorithms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6049409"}},"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":"Q428908$66230CA7-4238-44B5-B650-D5F7F2400179","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5839928f8449a19994266ba8e9f5e51f3efb66de","datavalue":{"value":{"text":"An abstract interpretation framework for genotype elimination algorithms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q428908$FEFB12FF-A3F9-4465-A291-2BC0203AD254","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b9c76c74d3bb48f4148ab0d795acbbde27e92981","datavalue":{"value":"1242.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428908$C9E174EE-781C-4E18-9E8D-110BD0DA314D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb545dd071ada186081d03f5b04cb64129e05756","datavalue":{"value":{"entity-type":"item","numeric-id":428907,"id":"Q428907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428908$1476D8D8-98B0-4331-A0D4-283565744452","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428908$380609FF-6226-4294-BAD1-FCA56A60FC2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f72164bd681bf7e905e9de5f982349bc17f0310f","datavalue":{"value":{"time":"+2012-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q428908$AD1560B6-6E9E-4334-B75F-C84574D8670D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428908$EB104274-E700-4927-8EFB-1780A38F0DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428908$1D9F9E14-E6BA-4FA6-94F9-4355A48699C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428908$26978A02-EAED-4CF0-982F-7C4D1BF3C56C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c49badc45b1b15831d8989bbec99ac1c512fe01c","datavalue":{"value":"6049409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428908$7D9D073B-63B0-4320-9D4E-E363BC1BB839","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q428908$ACD92090-B744-4B0D-B7E3-14E70CAD16D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39d5ff5888205e3d233824da46eff9dee4b641b0","datavalue":{"value":"pedigrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q428908$4433A3DD-0BDD-4E49-9F47-D7C88B50221C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1bf150ba540aa5ff300826108a1f0b23f52793a","datavalue":{"value":"genotype elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q428908$81FE8AE5-4AED-4C2A-955F-5F2F2925E070","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6f0fbb9649b2a01c79345fa96fbd4a0327e4924f","datavalue":{"value":{"entity-type":"item","numeric-id":20980,"id":"Q20980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428908$AB0BDDCC-4916-4180-B6C5-6EAACD93538E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5892f4e910fbf5d64cf0de0ac3fdc572e298bb8b","datavalue":{"value":{"entity-type":"item","numeric-id":20981,"id":"Q20981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428908$734A516A-6103-4DBA-97D3-2E7D7979C688","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":"Q428908$F2FC3E66-2036-4D0F-948D-16725E44A516","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d12b44a265b7ac804838463be59def944da9b7a8","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.03.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q428908$787F1F21-2DB4-4310-90A7-75BC2070408F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17533d60769b206bbf6b98aa2049bfd3b61b9587","datavalue":{"value":"W1975124142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428908$C536FA0C-1C8F-4FD3-9887-338AD29D8CC1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea995edccac5da0953e656bb0c95a322b8422b8c","datavalue":{"value":{"entity-type":"item","numeric-id":3593074,"id":"Q3593074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428908$177CD891-1646-45F2-8F40-C720651C12C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f2ea812d12ce2adb0254bf62517c7cdc2d1bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":1260047,"id":"Q1260047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428908$72BF0330-BEED-44F8-9644-BE51667CF17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2af1934c8bc6d45849a010a815a5562d5978a029","datavalue":{"value":{"entity-type":"item","numeric-id":5385340,"id":"Q5385340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428908$1AE77B6C-4FAE-4310-8190-4ADD47CBA202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbae321faf4a71fe967b9a5f4f8734e36bcdc6f9","datavalue":{"value":{"entity-type":"item","numeric-id":2479588,"id":"Q2479588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428908$9998039B-F240-43D9-B2F9-2087C2E631E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658c5c3c73fb61a98475438793aed35d957f8a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5452721,"id":"Q5452721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428908$D969A50E-A44C-4BEA-AAEB-3DD4739805BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3349d98487c183203fbd7365efbb609bb808e8","datavalue":{"value":{"entity-type":"item","numeric-id":3437262,"id":"Q3437262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428908$0F328E03-A2D6-427D-9BE6-1C5421B1C192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9fe020af1c063dd5e233b5c6afe6d71543283b2","datavalue":{"value":{"entity-type":"item","numeric-id":924726,"id":"Q924726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428908$9475C7CB-904C-47C1-BF3A-FFABAF51DBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dadc97524ee54d693228dd91732f8e7472236cd","datavalue":{"value":{"entity-type":"item","numeric-id":941662,"id":"Q941662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428908$2EEE9D7C-20F9-4B05-BBC1-87C1BF311FEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76558f5c2df362b62e949a60ca67b4f7bbd75611","datavalue":{"value":{"entity-type":"item","numeric-id":2370452,"id":"Q2370452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q428908$57CECAE4-F7E0-43AF-8A91-8888587004D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08c78efe1facd226f48bf1058ee3b907606c7f19","datavalue":{"value":"10.1016/J.TCS.2012.03.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q428908$64A2367E-9563-4308-8FF7-A9FB8D23A49A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c988226a3506b03cd3d641201eee498ded58e51","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9144226f89afcea082c4b0abbe2a05ac8352185","datavalue":{"value":{"amount":"+0.6938036680221558","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":"Q428908$C5B605C2-B302-49DF-9886-94DE1218AD16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aacf6d8245f297808ba85b2f1dc6e5b75fe1dd62","datavalue":{"value":{"entity-type":"item","numeric-id":3709872,"id":"Q3709872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ffeb1cbab03b31f07b92c0f33fed1472bfc40e","datavalue":{"value":{"amount":"+0.6849401593208313","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":"Q428908$7CE09C24-F3CF-47E1-B86D-1D82FE190436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"681b5f9bf88a34cd72ae85c65c1e6bc0dc90d3e8","datavalue":{"value":{"entity-type":"item","numeric-id":1323307,"id":"Q1323307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937dcc96d3627045e3cd6fed8f26d1dcebbe10b3","datavalue":{"value":{"amount":"+0.6835262775421143","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":"Q428908$0889004A-8E5F-4072-98DF-BDC05254AB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f82ef1d41d04d7cce9d827be36d69775a698c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2934651,"id":"Q2934651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9bfaf385958a3629d24862ae59913c5cf13b64f","datavalue":{"value":{"amount":"+0.6782188415527344","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":"Q428908$52E8192D-D1C8-4745-901A-669BDB749043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e28b31236b86e4f6fd9446e509989f5ef0f7b90d","datavalue":{"value":{"entity-type":"item","numeric-id":5897792,"id":"Q5897792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61040b76ea825863dccc5e9a342075904d970264","datavalue":{"value":{"amount":"+0.6774210929870605","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":"Q428908$448EB9D7-428C-416B-8FC6-3B2E62E191C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An abstract interpretation framework for genotype elimination algorithms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_abstract_interpretation_framework_for_genotype_elimination_algorithms"}}}}}