{"entities":{"Q3455085":{"pageid":5234485,"ns":120,"title":"Item:Q3455085","lastrevid":88252187,"modified":"2026-06-04T14:02:12Z","type":"item","id":"Q3455085","labels":{"en":{"language":"en","value":"Towards symbolic execution in Erlang"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515898"}},"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":"Q3455085$0BB53D47-6674-4306-948A-145E54E1A8F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3932582dc4ecc4513ee3a04fec56b7e2d21aa4e0","datavalue":{"value":{"text":"Towards Symbolic Execution in Erlang","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455085$DE747A1C-2F81-44BB-986C-30104D153780","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3569eb2b322da02e70b12fa141acbeafd26cf67","datavalue":{"value":"1434.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455085$58704B62-11D7-40DC-A9CA-53F7763F89EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7168ca69035391bbfe092c2033c23bab06ab8507","datavalue":{"value":"10.1007/978-3-662-46823-4_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455085$7C889B7D-8375-4CA5-954A-6BAB00A94C25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"018a45413fbb8c9259001dc9c55f052d2b61eb8d","datavalue":{"value":{"entity-type":"item","numeric-id":232929,"id":"Q232929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455085$DFA9A59F-4618-4454-9B14-1D24208DE860","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455085$2D76A666-56C8-4F3C-ADEC-3D4A09C698B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cf40b0298fbc15063fa57ac2e42e939273e7ad","datavalue":{"value":{"time":"+2015-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455085$E8460686-B83E-4596-AFE3-49A2E5F430CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aae4b0dfac3774bbc9df0da7b5d474b4cbb633c0","datavalue":{"value":"http://hdl.handle.net/10251/66304","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455085$6FF099DD-0DA6-4665-B1DB-4D97879B7F58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455085$F7C6E71D-1A18-4AC1-A661-EEE532DCD9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455085$0290C668-A413-4536-B866-851D3BB456C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455085$74975714-4565-477C-9D9C-6F295BEA6FD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e2fd9740e72445df0405a06e1c815f041fedaa93","datavalue":{"value":"6515898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455085$4BDD8CA0-4D4A-4FA3-AE7B-AA9C3B622F6E","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":"Q3455085$113A2088-22DF-41A4-B86D-A47521BF3FB5","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":"Q3455085$2EDD189B-EBC1-420C-B39E-19CF40B642F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d58d4c31c7ad7d442085b32b0712d3a92674047","datavalue":{"value":"W1164717351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455085$53C5DF50-B169-4D8B-A1F3-502702FF2703","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de30e5cc1edba06ce95165bb2729e1beadcc123d","datavalue":{"value":{"entity-type":"item","numeric-id":4293514,"id":"Q4293514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5ae1ebe1440ad72bf206f80d56ccbf0fc61291b","datavalue":{"value":{"amount":"+0.7253319621086121","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":"Q3455085$A2382512-C974-4E61-A95A-7D0DEB554100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3c64bba23b6f9a91d501ba8e15e1c34d7e044eb","datavalue":{"value":{"entity-type":"item","numeric-id":5394419,"id":"Q5394419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16220b2c38971e7948bf275556b7b25e15571517","datavalue":{"value":{"amount":"+0.7207409739494324","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":"Q3455085$F9FB123A-439F-4998-9CE6-91C6654B97BE","rank":"normal"},{"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":"d702461b84b879d6c2a857ef7ae8edfc3ae9bf8c","datavalue":{"value":{"amount":"+0.7185946702957153","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":"Q3455085$4FE31CB6-1176-42B5-B10D-259DBB221AC2","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":"a57c9d365c73bbf07c4db7d28f984d6bf5d53489","datavalue":{"value":{"amount":"+0.7158375978469849","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":"Q3455085$7CAA078F-BEA8-4E2A-A264-A7AFB2580F15","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":"1f8d3fc7227fbd9bdfe421cc47d5b7a0e8418c91","datavalue":{"value":{"amount":"+0.7086507678031921","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":"Q3455085$72C1F83E-C98A-45FC-88DA-CE845F51F7B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards symbolic execution in Erlang","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Towards_symbolic_execution_in_Erlang"}}}}}