{"entities":{"Q2849558":{"pageid":2860278,"ns":120,"title":"Item:Q2849558","lastrevid":83513645,"modified":"2026-05-07T08:35:37Z","type":"item","id":"Q2849558","labels":{"en":{"language":"en","value":"Equational abstractions for model checking Erlang programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6210210"}},"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":"Q2849558$811C758A-E1BD-45ED-B9F3-5BAB4AB18F9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3cd9d523c5e77e92c41f27e704fb438e239bd291","datavalue":{"value":"1272.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849558$D136DC05-81DC-48D4-A7C9-A0F97AACC625","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3dcb12e53a075f2a49b79b16a6317b340847e43","datavalue":{"value":{"time":"+2013-09-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849558$E7804D6E-3CAC-4F4A-BBF6-DF1E748EE06D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"637d6aebbad1439f196b7495c82ebd0c029be3b6","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104053290","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849558$79D83EF1-CB31-4641-BE7C-5BEF331E2A6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849558$9D7822CE-7C6B-42D4-B27B-21C2C0335A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849558$87590AEE-F150-485E-87D3-6BE4D60EEED8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c375c6e412d501fc9c8938a702a85a92b634297","datavalue":{"value":"6210210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849558$B6020E04-F8C8-4E1E-A3F9-A10AE094AE00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfefc6645ccc3c48ab5b5b8291d687a047c3f014","datavalue":{"value":{"entity-type":"item","numeric-id":544877,"id":"Q544877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849558$B68DC447-29AA-4D4E-AA5D-EE95DFFEC41F","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":"Q2849558$75194E79-A340-489A-ABC8-F8D7E1C4B9FE","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":"Q2849558$578B5F49-A784-4C60-A8D8-6B7D922D2D87","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9078a45f6aaad5cdea62b072ac2ba2f054dd2f32","datavalue":{"value":{"text":"Equational abstractions for model checking Erlang programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849558$5402C051-959C-44B4-8A02-7ACEDF1110CD","rank":"normal"}],"P1643":[{"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":"40619c6b3e987554331d45cac5c0cdae818bb961","datavalue":{"value":{"amount":"+0.944907546043396","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":"Q2849558$119CB732-749F-4627-A60B-FB657381DED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2d35295038f2df360c593926d2672609d0f9bf","datavalue":{"value":{"entity-type":"item","numeric-id":5179134,"id":"Q5179134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6d04d6445a094341a3c8bde2de68eaa865adb61","datavalue":{"value":{"amount":"+0.8017435669898987","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":"Q2849558$F8735361-906D-4FB1-A51D-6D4D30DC2F4A","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":"9f35b3fb912f7deebad1a2e699512a437c7aa55c","datavalue":{"value":{"amount":"+0.8010317087173462","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":"Q2849558$F74A0CA2-46A0-4FCE-83DF-DD1E31AD18AC","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":"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":"Q2849558$9AFF878A-4CFF-43F9-A3CA-5BBB6FDE0C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"517291b40fe166e5c4e0b9d0a106e79d310eeda0","datavalue":{"value":{"entity-type":"item","numeric-id":2841292,"id":"Q2841292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7390440f1590dac89f66e76f524f1429e62b1c34","datavalue":{"value":{"amount":"+0.7716050744056702","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":"Q2849558$549D7922-D379-4C03-832E-553F53D53CB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational abstractions for model checking Erlang programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_abstractions_for_model_checking_Erlang_programs"}}}}}