{"entities":{"Q5941753":{"pageid":8118555,"ns":120,"title":"Item:Q5941753","lastrevid":47660218,"modified":"2026-01-02T09:02:09Z","type":"item","id":"Q5941753","labels":{"en":{"language":"en","value":"Verification of Erlang processes by dependency pairs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1637070"}},"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":"Q5941753$B1DEAA94-DF6F-4D82-8047-7AB38DCE70FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0ad16e7c91463db6929d36895364d1bd1f4e4f7","datavalue":{"value":{"text":"Verification of Erlang processes by dependency pairs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941753$20B39B6B-DA37-4C59-B56C-26DB06D06D18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc55f97fb6eba70630d92229e2fdf9ff0dfb489f","datavalue":{"value":"0973.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941753$30ACF844-A564-49B0-AB41-AEDE15997727","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"987fb5700652e430e8831c9401c3861ad6aebb91","datavalue":{"value":{"entity-type":"item","numeric-id":199242,"id":"Q199242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941753$1F71C2F7-A21C-48AB-A1BE-CA432D989DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51f94ba22225b6d50496a9f2a9bb0a0e2b3b9a1a","datavalue":{"value":{"entity-type":"item","numeric-id":199243,"id":"Q199243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941753$8726F69A-9BE7-406C-8B67-32DDFED37F4E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941753$83E7B9B7-A0F2-4A52-94FF-C5ED7DD066DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e42f77e6bc23737c831f0dab74893fd923637345","datavalue":{"value":{"time":"+2001-08-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941753$3A0B680B-01BD-4B11-9EC4-F19691A816AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941753$89722178-90DB-4A61-BD11-84FAEBE54877","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0ccca6fc19befa17cfc0e0d46c2981a6709fa39","datavalue":{"value":"1637070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941753$A79BE500-D915-4709-B13F-385E2D529AC4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40119052f3f3d9c0011b2219c60ece7472002e1f","datavalue":{"value":"Erlang","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941753$BC11178C-0C97-4005-B816-2EEC96D2E707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"112c87e8a580dbf5f66ce64e708fa657330da5ae","datavalue":{"value":"functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941753$5557AACE-0D6A-4F1C-B876-C56ABC39C554","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b687213a8375e65a3248834735a16b100440644","datavalue":{"value":{"entity-type":"item","numeric-id":19254,"id":"Q19254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941753$B64FEE0C-5643-49F3-AFFE-100FC3732447","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":"Q5941753$20C60EA8-1378-47D6-97A2-4E3C7C53241B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd869d77efef950dc4d8f718d7e3c442d107e0c8","datavalue":{"value":"https://doi.org/10.1007/s002000100063","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941753$58706D41-4023-4851-86FE-BC2FB7C15E41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be0d2ffefd864703ade75b916c1942ab700896a5","datavalue":{"value":"W2000826973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941753$D01E3FEC-66B4-4844-9CFB-5AE66F065673","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ccff64092094aba51813d0fd7775e88fbcf10b3","datavalue":{"value":"10.1007/S002000100063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941753$F04FD6CD-5885-474B-A759-98A420C74AC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c253f14bbe090f94c2109115768ee05dab1ea7e7","datavalue":{"value":{"entity-type":"item","numeric-id":3453650,"id":"Q3453650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe341229db699433ac2eef381e42e8c9698a8e85","datavalue":{"value":{"amount":"+0.8126956224441528","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":"Q5941753$D4A035C1-02CD-4A6D-A4CB-E53DC755E0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0245c41ff55e3359cbb4e4959dbf45e9198789d","datavalue":{"value":{"entity-type":"item","numeric-id":2873779,"id":"Q2873779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82d157d6d9f7b82dd22840fbe2d99dcd139bc78d","datavalue":{"value":{"amount":"+0.7662263512611389","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":"Q5941753$9E34D0AC-296A-4E40-8E2F-A98707242DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5b971e51432af326f44adf1253fdf168b6a2bca","datavalue":{"value":{"entity-type":"item","numeric-id":2849558,"id":"Q2849558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d671e6da509e5d6353e5bfb34822703dd7c83f1","datavalue":{"value":{"amount":"+0.7575822472572327","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":"Q5941753$B361472A-01DF-4F95-9E51-CE9DE5C18CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a97777171cf0f3411795186b252dc4c0640eaea6","datavalue":{"value":{"entity-type":"item","numeric-id":2817727,"id":"Q2817727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fd145e9adfbfa8e7e0bfc741bef623c9bac725","datavalue":{"value":{"amount":"+0.7281790971755981","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":"Q5941753$0B7E2718-2293-4574-89E3-EA07E64DC45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32c7667881ab6622c04be5a567e18ece6e1fa37b","datavalue":{"value":{"entity-type":"item","numeric-id":347382,"id":"Q347382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8bef790f3ac30ca9db060492c7fd81a46150240","datavalue":{"value":{"amount":"+0.7250889539718628","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":"Q5941753$0C85A5D7-E656-4EB8-BA9C-A63AB18ECE5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941753","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941753"}}}}}