{"entities":{"Q3453650":{"pageid":5233050,"ns":120,"title":"Item:Q3453650","lastrevid":87243080,"modified":"2026-06-04T11:11:22Z","type":"item","id":"Q3453650","labels":{"en":{"language":"en","value":"Towards Erlang verification by term rewriting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6514622"}},"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":"Q3453650$13DC16A7-AFAB-481A-B665-F8C0BB98F6A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8729f31a406043993eb15db926b01364285622c4","datavalue":{"value":{"text":"Towards Erlang Verification by Term Rewriting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453650$B9C7494F-3ED9-4B94-9F1B-7CEFE2759B4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39ebbb4593203961c7b2f76635bf5ca9527c7799","datavalue":{"value":"1453.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453650$8AAE94DC-45CD-418F-971A-FF508615E9C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8366da6d6f84abb2d48b1a2f496c91a3fa528bf2","datavalue":{"value":"10.1007/978-3-319-14125-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453650$FC05B43A-79C5-429E-8A63-8103F7A1603E","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":"Q3453650$08C13165-16C7-495C-B99D-6D21A4D2BA68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$20507E5C-40C4-45C9-8D79-D77D9142482F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f261325ffd8a7002c41f97c89cfd5db2b7a922a9","datavalue":{"value":{"time":"+2015-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453650$1E0A6B21-8911-49D7-B0FD-FA569F36090F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"644c5489f35c97e9c2ffc3b105cc154225696cab","datavalue":{"value":"http://hdl.handle.net/10251/72831","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453650$BD7B3BCB-ADD0-422A-A0F9-018CE45CF1A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453650$29BA2EC8-21F9-4FF3-882B-AFFAC570CCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453650$9A062351-D82F-49A7-BCED-6C06F17FA9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453650$58FABC8D-EA5C-4370-9D78-C0848F5B5A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453650$2A36F07A-65A2-4D8A-8FED-A94D32E0BA10","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cec4554eb152f4ed25561a8197ddf0ea1cd3fb7","datavalue":{"value":"6514622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453650$C31525A2-85D4-49D1-9903-94ADA0DCBC1E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5bf433b9f93fe032d18ae2a3cd758050f0f5246c","datavalue":{"value":{"entity-type":"item","numeric-id":21695,"id":"Q21695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$322F7E24-B449-453C-808A-CCD9D6AD79E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4443c48263c15dcde9442a6613e16da1041f4bd9","datavalue":{"value":{"entity-type":"item","numeric-id":21784,"id":"Q21784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$EE2D8BB8-6F6B-4809-9A6B-1549422F768A","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":"Q3453650$D900C991-0050-4530-B88D-053214F0460A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"26bca6adb66896cb23534469282f12307608fe9e","datavalue":{"value":"W571601680","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453650$F112DCCC-AC80-4F0E-B1B1-E4F549D70BDC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"657027be469db18e4d5129ac2351e8c978dd911d","datavalue":{"value":{"entity-type":"item","numeric-id":5957056,"id":"Q5957056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$D45480C2-37C2-461A-8796-DB60052ABCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b9d00cba77d354f32acf6c49ed6fe44a7bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":4293514,"id":"Q4293514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$1E9DDB62-F6F6-46FE-8313-1689A4B8AD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$784ACF8D-DC46-4001-9A5C-043250406C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$10693AF2-1D8E-4093-B598-E8DD7F1D6AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7de155c624c0fcd2ab88abd76298f9dd081129f3","datavalue":{"value":{"entity-type":"item","numeric-id":5941753,"id":"Q5941753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$8CD2C65C-5E1F-4D53-B429-E4307A0F2369","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25678cb27c02593209e86264062dbc0f843332ac","datavalue":{"value":{"entity-type":"item","numeric-id":2817727,"id":"Q2817727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$F586518F-BCE8-4B25-9EC1-0016C48C031E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9acb750b5a1fcf5fe08b591fc6df182dd9e5e0","datavalue":{"value":{"entity-type":"item","numeric-id":3883561,"id":"Q3883561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$4E40F33A-6B39-4695-B0C4-24C1372C6867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6eb089e7e1a15e6b948dc884f5a17b51e06a4ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2703694,"id":"Q2703694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$C9EE9E8A-4F39-4155-B000-D2BB3F3E1036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$A77E5501-E901-4BA3-88C0-25541CE35457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d66ddfbdcff9769d947d25dd1850066d3bb8a","datavalue":{"value":{"entity-type":"item","numeric-id":2873779,"id":"Q2873779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$882BC34F-9B80-4FBE-9B6C-4D65028A582C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa94a0e4d7155dc7a5aeb7fdbc7f85518dcf23f","datavalue":{"value":{"entity-type":"item","numeric-id":2849558,"id":"Q2849558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$43C41832-6EF6-4FB8-8F0B-851BD486AF9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704743e29df44a64171d2e9a479dd2089b106063","datavalue":{"value":{"entity-type":"item","numeric-id":2769620,"id":"Q2769620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$F2C37CEE-0DA3-4A24-AE34-45231AAFDFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d93ba0f0d59696b935bd9707e0c0dc3b5aa4f","datavalue":{"value":{"entity-type":"item","numeric-id":4050191,"id":"Q4050191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453650$72E23947-57DA-4C01-8E5C-41CBB6985F24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dfcdffbfe2f95acc91b48384f95442080803a37","datavalue":{"value":{"entity-type":"item","numeric-id":5941753,"id":"Q5941753"},"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":"Q3453650$458AFBDA-5666-44FA-8A95-6F23DC14D797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3888d5e70b905cf08495644b34dd62b917512037","datavalue":{"value":{"entity-type":"item","numeric-id":3455085,"id":"Q3455085"},"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":"Q3453650$3A2B80E6-98D4-4889-93C5-FB16E0BBE1C5","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":"e475c16d7fa4dd03eff9b591ef3274e65b7d8ff1","datavalue":{"value":{"amount":"+0.8072300553321838","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":"Q3453650$86A08F5E-4765-44C8-AA54-30F913D01F0B","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":"61acaa64491f72206d112799b35ffb3fc064e825","datavalue":{"value":{"amount":"+0.79054194688797","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":"Q3453650$FDF0B04C-0AA9-409A-8119-5F7071DD7519","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":"3da8e64346de0d017a99865d1a08f2f2ef9b5936","datavalue":{"value":{"amount":"+0.7828924059867859","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":"Q3453650$9D2140F9-7CA4-47E3-8755-E6B358D6C558","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards Erlang verification by term rewriting","badges":[]}}}}}