{"entities":{"Q3542780":{"pageid":5572684,"ns":120,"title":"Item:Q3542780","lastrevid":49488499,"modified":"2026-01-07T07:05:14Z","type":"item","id":"Q3542780","labels":{"en":{"language":"en","value":"ACVisualizer: A visualization tool for APi-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5375606"}},"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":"Q3542780$66EEA6E3-8FF6-401F-AE5E-B5B4DDA76461","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d4aa748028a0a1dd42d5525998b9987f3ab704f","datavalue":{"value":{"text":"ACVisualizer: A visualization tool for APi-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3542780$E6521110-B8CF-4500-B62F-9D31651B5672","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aebbe75f91c0fe771376939201ccfc9193b1195f","datavalue":{"value":"1175.68267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542780$6AC6FD23-E4AA-48B5-9867-A9FBF06E95FD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95370c188c9ba30bc24231a225adf0e33e8bd1d1","datavalue":{"value":"10.3233/MGS-2008-4303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542780$36937EDA-9467-460B-8A43-C232051A30A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"994e07a287c1d51454d75074870733df2cf56954","datavalue":{"value":{"entity-type":"item","numeric-id":3542779,"id":"Q3542779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542780$07771D70-4BB7-4B3A-8B72-A7092ACDC34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b06078e8cf77118165246fa08513a3cb2177ad16","datavalue":{"value":{"entity-type":"item","numeric-id":2490747,"id":"Q2490747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542780$67AA20BD-D1C5-4841-89A4-FBE1F0AF7884","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"53e04bf0038215bb4c675fe516430be7ccba742b","datavalue":{"value":{"entity-type":"item","numeric-id":3078298,"id":"Q3078298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542780$80899791-6652-4602-A851-C64402334034","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"27d08a931c6ec000c775800f49a87bb8d8c405fb","datavalue":{"value":{"time":"+2008-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3542780$9E0A4867-D253-4A86-AF77-860EA2FABA1B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542780$90DF5174-3D1E-40C0-A7FA-6B79C4B53CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542780$3158AF38-4525-4884-84EF-BDBE76FF77C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f5a513b236857ef772155b1e561481be5c8f9f9","datavalue":{"value":"5375606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542780$CE34A760-1DF9-40CE-B1A6-6314FFD92EF8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3542780$98498DE1-4753-4880-A13B-2C99D0A4B88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3542780$115B8A04-67B2-4AE5-BCE2-1469A56266E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5695e21cf495232197d60548899518919e1dbd9","datavalue":{"value":"APi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3542780$1508388E-16E3-42C9-84FB-615F65E3CFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca9d60d50169bd84cf3c1815c7d637b9d3ca8895","datavalue":{"value":"software agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q3542780$2D687A6E-AC09-42E3-AF93-0F26EB8FDFE3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"749836226ec3fd95c35ad2efdd5e2cdd3401c18d","datavalue":{"value":{"entity-type":"item","numeric-id":16571,"id":"Q16571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542780$10D9D388-1419-4447-96CB-692D8F935CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"94ff9ef5b8ae6b6a1b8a58993d59fc90a641e302","datavalue":{"value":{"entity-type":"item","numeric-id":19065,"id":"Q19065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3542780$D7E4F619-2927-48CE-9B13-FC300D86678B","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":"Q3542780$2F9E3F03-88BE-412B-BA7E-740AC9274491","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3d02bbfdf008f0395d8f389728dc1f1ab7ed84b9","datavalue":{"value":"https://doi.org/10.3233/mgs-2008-4303","type":"string"},"datatype":"url"},"type":"statement","id":"Q3542780$69CA6A4A-3F84-4E8E-B759-A3FD469D87EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"831b7f433f976fc00f6df132c199df747a5f7853","datavalue":{"value":"W1894733579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3542780$D909BBA6-5394-4893-8C22-E02F7FDB9B43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70bed2fe610b10bb3b6921bb852601931e9df43","datavalue":{"value":{"entity-type":"item","numeric-id":4209638,"id":"Q4209638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad0237e97e3879918821bde68b21e678b0febef","datavalue":{"value":{"amount":"+0.80268157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3542780$A4DA7B9A-09C1-42CB-8F31-35623102AF4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8926c7862bf3b61861c36e34b40986f4e31db59e","datavalue":{"value":{"entity-type":"item","numeric-id":5389073,"id":"Q5389073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17898726a7a648a0a729abe5599d2005372f5158","datavalue":{"value":{"amount":"+0.7962076","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3542780$51B2E7C7-0F42-4D70-9A1F-AB524E676750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9160ac6dcc7ac90147336c6d1fbb5c34bcd4054d","datavalue":{"value":{"entity-type":"item","numeric-id":5709504,"id":"Q5709504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6e7df61dcedd1bd9d1d1ad2d0dd80b2ae5565c7","datavalue":{"value":{"amount":"+0.7947614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3542780$D75CDB74-8B44-4DC6-8FAA-4CB591F3E59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d33238e747e0f5b3ac601700c3325bd6b2c85c","datavalue":{"value":{"entity-type":"item","numeric-id":2844057,"id":"Q2844057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b59eefc8552b97c1c0d7d86ab81b110095248f1a","datavalue":{"value":{"amount":"+0.7923115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3542780$D62E5095-A2B9-4D5D-85BE-BB44DDD9CBF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3542780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3542780"}}}}}