{"entities":{"Q883139":{"pageid":884987,"ns":120,"title":"Item:Q883139","lastrevid":65077635,"modified":"2026-04-12T00:10:13Z","type":"item","id":"Q883139","labels":{"en":{"language":"en","value":"An abstract interpretation toolkit for \\(\\mu\\)CRL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5159781"}},"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":"Q883139$46718DD0-7304-4C49-861E-2561334B9EA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb7949f6bc4ca4df41094b96dc2b989b5a36b278","datavalue":{"value":{"text":"An abstract interpretation toolkit for \\(\\mu\\)CRL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q883139$E600B89B-E903-4AD4-8BAD-6C0A3C172A4E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dbc2695d005369b187df6742ac8e6aaf22c6f14a","datavalue":{"value":"1116.68058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q883139$061D9CA6-ECE8-4709-BD15-69DF499B92C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e294a88736c94f19513e5548eeafd88b875b5f8","datavalue":{"value":{"entity-type":"item","numeric-id":883138,"id":"Q883138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$A4DC572C-33E4-496E-82B7-B85486226F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a469e1856598e76c0542f05574b54b053e1e517a","datavalue":{"value":{"entity-type":"item","numeric-id":507380,"id":"Q507380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$68E8AAA8-4068-4C91-ADD1-1D18A541EAC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$C31A6F2D-3A4F-4A5C-AE5E-C49AEC1318BF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e35f0982f488bc16c2f1473de732103f14c19500","datavalue":{"value":{"time":"+2007-05-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q883139$A5649211-552E-4FF5-A40D-42D220CF8ADA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q883139$9350B44F-DE10-4424-A77C-2D36148B1042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q883139$0A3A54D6-2322-4EC9-93FA-9202F225A61E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6ba811bdb821b4e3352bb471183c921851bf037","datavalue":{"value":"5159781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q883139$926C6CBF-5500-4CEE-B0F1-1A2CA1F66080","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5541349f29c25ba6a0be12f614381c30b7057b17","datavalue":{"value":"Model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q883139$6BA8F7AD-45FC-4C75-846B-D85A7FB410B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c35e59984cabf218dfddcc4cee7fb81eefd5016","datavalue":{"value":"Process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q883139$6713300A-7681-4DCE-8F63-0C00128D13F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26e781a9d6b3c2b95b0237d2dee85851405351c2","datavalue":{"value":"muCRL","type":"string"},"datatype":"string"},"type":"statement","id":"Q883139$4CBCAC3B-72E4-4F0E-97A8-632AEFC05A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d9a271776a9075dc205a70cafdbb0270002d5ac","datavalue":{"value":"Abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q883139$8F20DAD4-D414-4D0E-AEB9-AB2402566BD2","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ff64b55c820dd183da8e91ffa4a13b655bd2efac","datavalue":{"value":"Q62047488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q883139$024FE0FA-75D9-4E3C-8A37-BC0BACC5AAA1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$2717985F-3601-4EFE-B6B8-06C2857EEDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$88460A71-0148-4466-89C8-78237133200B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"75408df2392895bd54a3dc918909e684a1d8539d","datavalue":{"value":{"entity-type":"item","numeric-id":41340,"id":"Q41340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$50D02639-97C3-456C-8A2E-1705B9F18E0B","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":"Q883139$1AC1A5D4-7B09-464E-BA86-3711142BAC8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99e7c33cd5e11e3d8f6c55eb1c5506af282c3717","datavalue":{"value":"https://doi.org/10.1007/s10703-006-0029-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q883139$CEBE58C1-89B6-4BB2-B88F-BF1EB91C4264","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c289ec96979b0721a29b3185442bf39f6787295f","datavalue":{"value":"W2154040094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q883139$B92C66BA-2D7F-4AEC-ABA5-0299D9AB85F8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$C8C1D3DF-A32F-4093-B7BC-EA930EEB14FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd265a9d1e0c930d3261ac5aaae62352f73cdfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4531754,"id":"Q4531754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$F66DBEF5-5BBB-483D-BBD0-4F4E303C391C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$7581DBB2-5E99-47F9-B39E-D55D58C841EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"422e2f2e225999cfe19eb8e3facee4c49fe6d060","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$B759FADC-32F3-4BC8-96BD-73DAA0EE68A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb46b665c4d01cdd72f034cac6c7dac8481fe1b","datavalue":{"value":{"entity-type":"item","numeric-id":4818796,"id":"Q4818796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$F858DCC8-18C8-476E-8FD4-3895FF192898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7f5f3e3d36d2b003d8aa4ba368de341fb20d30","datavalue":{"value":{"entity-type":"item","numeric-id":4884237,"id":"Q4884237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$E6531B39-1D99-40FC-9D7B-57FB4F756DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65d393a21e3877ad0c8bf53175b7120c84c27898","datavalue":{"value":{"entity-type":"item","numeric-id":4738463,"id":"Q4738463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$1CAE89B5-1B5E-437F-AFD4-9AE560F292F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"790c9e27bcafc0824e51713212bd6df55a05c09f","datavalue":{"value":{"entity-type":"item","numeric-id":4223066,"id":"Q4223066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$47D1EB5B-D52B-4251-ADF5-B13D53AC9B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5982617ee0604f968dbeaf3ddf40717834c4ad15","datavalue":{"value":{"entity-type":"item","numeric-id":4804921,"id":"Q4804921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$33EECB6B-0B8F-4748-BF4B-559AE4C93357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b022fe950928f92806f5b429d4f5a3164495555","datavalue":{"value":{"entity-type":"item","numeric-id":4791848,"id":"Q4791848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$2A03A4B4-7347-4E61-BB9A-DFB0D151E858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12773d3f7af80842ad6150da90dfaf1db162137f","datavalue":{"value":{"entity-type":"item","numeric-id":5946027,"id":"Q5946027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$8670C9FF-92B5-4926-9F70-8967340F80E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00bbf018b28a52421913de5984c012e8f2d0d956","datavalue":{"value":{"entity-type":"item","numeric-id":4414730,"id":"Q4414730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$016F227E-958B-4E8F-9CCB-A24F8E5F5E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e07930ce4911f611d084d7578c97cdc8fb3f729","datavalue":{"value":{"entity-type":"item","numeric-id":2763694,"id":"Q2763694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$D0F0B4A0-ECDE-45B7-9BE3-453BDCF19F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58569cfcb63db51abd33ef3dfc3dfca274845b33","datavalue":{"value":{"entity-type":"item","numeric-id":4744245,"id":"Q4744245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$F31FC667-8C5E-4157-8FDF-D8CCF59E44E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e58509c58589e7e9ff957b836ae2fde24359d4","datavalue":{"value":{"entity-type":"item","numeric-id":5834612,"id":"Q5834612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$66371EAF-0FAA-445E-82DA-D67E27D04811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4ca9415409183596e982d9c1bf0f17cce0ed322","datavalue":{"value":{"entity-type":"item","numeric-id":2848146,"id":"Q2848146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$276826BE-7AAA-46E1-A46F-B61F956A1CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e81f1ba690a11e8176634e917feb344e5153c29","datavalue":{"value":{"entity-type":"item","numeric-id":5312997,"id":"Q5312997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$1F885195-68D8-435A-93B2-DEBB47A71AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9b81fdc94421d5dfb99961c57c253917e6a26ce","datavalue":{"value":{"entity-type":"item","numeric-id":4414733,"id":"Q4414733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q883139$2CF81AC5-2753-4CC7-A3DD-E463B3AA441D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3f0b4ee148a3b8a702ffcdceb57489d4a7ae3e8e","datavalue":{"value":"10.1007/S10703-006-0029-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q883139$9F4D0FB9-0913-416E-8007-78EA408E4E8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a99cf25d737fad764ccaba7dd45bc4d5654ecf","datavalue":{"value":{"entity-type":"item","numeric-id":5312997,"id":"Q5312997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db4d5ca650fedde4f6adbefd09a560e799d057c8","datavalue":{"value":{"amount":"+0.8498055934906006","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":"Q883139$0A11B599-86B3-4EF1-AD8D-EB3230B21B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06a4d8e04baf05a0f3dddf960e87d95535dccb50","datavalue":{"value":{"entity-type":"item","numeric-id":4551157,"id":"Q4551157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"634bbca89ad9c636163d6e4b0e7e1c30e4405694","datavalue":{"value":{"amount":"+0.8001114726066589","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":"Q883139$1328B8F1-6907-408E-B96C-494CEE4A47DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a01cf058cee145e1b1427629431d994299d0371d","datavalue":{"value":{"entity-type":"item","numeric-id":5716890,"id":"Q5716890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1466fa96999c20a834868691e6dd60fd7e6f74","datavalue":{"value":{"amount":"+0.7996092438697815","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":"Q883139$466B388C-BE16-48AA-A638-249E17E077D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fde53ae633408acb3736433b145ea145b3e5d845","datavalue":{"value":{"entity-type":"item","numeric-id":3066089,"id":"Q3066089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89b09bc5bc75825d8ae0f57e522bb4370c364bb2","datavalue":{"value":{"amount":"+0.7493236064910889","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":"Q883139$64EE4186-5A3D-4DD4-88D0-A8DACC20C7C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f5a2734d06b7fce815b9ad42a494e3cb25021c3","datavalue":{"value":{"entity-type":"item","numeric-id":3522068,"id":"Q3522068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cabcff3312b79eb422b4f9ca64e3bb5951ab472","datavalue":{"value":{"amount":"+0.739592969417572","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":"Q883139$8631AC81-136D-4C42-8CE6-3352FF3B5735","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An abstract interpretation toolkit for \\(\\mu\\)CRL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_abstract_interpretation_toolkit_for_%5C(%5Cmu%5C)CRL"}}}}}