{"entities":{"Q3569873":{"pageid":5599777,"ns":120,"title":"Item:Q3569873","lastrevid":49587670,"modified":"2026-01-08T02:50:07Z","type":"item","id":"Q3569873","labels":{"en":{"language":"en","value":"AlPiNA: A Symbolic Model Checker"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5724297"}},"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":"Q3569873$2E526EC6-353D-4CFB-8810-EE69742B0B16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b9337d9da6d0b42429376acd88706640f6db2d15","datavalue":{"value":{"text":"AlPiNA: A Symbolic Model Checker","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3569873$F280A896-E472-4009-9BA6-EF3BC5B6806B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1dee434b00c8cda6338d589d758521f7554d0040","datavalue":{"value":"1233.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569873$6CDF342C-1A69-4A9F-891A-A19051A46A0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67a2cea011e3c06a7b4ec2c34be7bf807cc7ac09","datavalue":{"value":"10.1007/978-3-642-13675-7_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569873$336511D4-2E87-432D-BCCC-5B95ADBC90A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77619e4bd99d9402e6c20f20a050c9af76f51257","datavalue":{"value":{"entity-type":"item","numeric-id":2761705,"id":"Q2761705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569873$6F90DCBA-CA7A-45CF-9760-E62986182E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"68717351d53824a27a149fcd1c93a9212c063a8d","datavalue":{"value":{"entity-type":"item","numeric-id":3569872,"id":"Q3569872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569873$F74E68DF-4A3A-403F-BC9F-E700DEA1D42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b55d6702de84445fcba7fa1c1a17b137208bdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":2805420,"id":"Q2805420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569873$914269F2-223E-4EC3-9FE6-355619269F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"338878765912f69869238de7e0054e9634114470","datavalue":{"value":{"entity-type":"item","numeric-id":3225717,"id":"Q3225717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569873$D1B3E4BF-89B3-4355-AD78-3941DB8F2C22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fed0ee404adfbd97dd01b078802384497e926f4","datavalue":{"value":{"entity-type":"item","numeric-id":3011877,"id":"Q3011877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569873$EDCE9D3C-E5E8-4F87-A4CA-2E4428390A4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac94dd57b5c65400291c38d5f09a7ad8c1a5f3db","datavalue":{"value":{"time":"+2010-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569873$F5E02BA5-6FF9-43A3-B76B-D3758891E44B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9d34c0dd280c024ce6bd1527ab318c4eb6808b5","datavalue":{"value":"https://archive-ouverte.unige.ch/unige:10786","type":"string"},"datatype":"url"},"type":"statement","id":"Q3569873$1CF8D6BA-2FFE-4ABD-93E0-6AF53543DF8F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569873$6FED0D5C-54D4-4E55-882F-8BB2D8EEF73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569873$3CAEEFD1-C345-4400-8568-17A0E54FF0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569873$AD978495-D167-454D-8E70-92C2CC3685D7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbf72d711af6a16d25e9ac5f9f6db4f76d8e1866","datavalue":{"value":"5724297","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569873$B2E49297-C136-4D51-8FDA-9429E010F133","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7cddb115386e98425b212f23fff7ef16d4325f4","datavalue":{"value":"system design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569873$8DBF185D-C16A-4112-886F-BFC789B48791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db158fb26b109c799e33bf311226359880ee7a54","datavalue":{"value":"system verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569873$946F57A9-C0EC-45CF-A7FD-A88910A854C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7575924c7fb8952dc6b265f0f1117d841162118","datavalue":{"value":"higher-level nets models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569873$01BB1919-3FF6-4CD0-8EFA-96EA79997F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65e019a32cee89a7f9b6013afbdde8fffb2cd5ed","datavalue":{"value":"algebraic Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569873$3BACCBFF-668C-4063-912C-FFBD3E3E8C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf7d5745970751dfe5e1719f69572b4dbdde51d6","datavalue":{"value":"state-space generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569873$8A36A544-32DD-4BFF-8906-F5A7CE76908A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dec12cb14b22b0225bdf53a14b1bd1d618561b9c","datavalue":{"value":"computer tools for nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569873$44798538-A13A-4946-8698-18FA7B1C3091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569873$400F7850-5803-400C-886B-A0DFE3B14C90","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6f09808eb3d7f143f9deeaf12110f51f488260c9","datavalue":{"value":{"entity-type":"item","numeric-id":14614,"id":"Q14614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569873$6A9BDA30-5B6E-40A6-B47E-9A6E11D2C37E","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":"Q3569873$9FF4AB73-7428-462B-ADAC-27F4EBE0960A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"158d201faa207fd312077e507afd4559515cb3d6","datavalue":{"value":"W1588089883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569873$2E0D3302-4F7B-4895-8A28-B26030E6ABE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b3a0b21b2030d1061358c2cd262fca5f8ef0fc","datavalue":{"value":{"entity-type":"item","numeric-id":3225718,"id":"Q3225718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be5c30aa07704c84ec494ba00e714ac0a425eb62","datavalue":{"value":{"amount":"+0.8911021","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":"Q3569873$8398A654-3FC7-424B-AD58-14417F2698F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f28c0621007c2097d5f63f6c3da1e1597e5b97","datavalue":{"value":{"entity-type":"item","numeric-id":4737589,"id":"Q4737589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df73a2f364af725283c5679087e466f729f06734","datavalue":{"value":{"amount":"+0.88333416","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":"Q3569873$9BB63020-38D8-4924-9320-63C400B12242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5651a3859cd5370e6d57a0e9f77719e4a21ded3","datavalue":{"value":{"entity-type":"item","numeric-id":5754533,"id":"Q5754533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d9ecf0c89b03dc0b381ea353044c14d966f304c","datavalue":{"value":{"amount":"+0.88251984","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":"Q3569873$F3C5A5C3-D8EC-4983-82F3-0F2FC58B0059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145ad8e54eeb28c2f310e860dac5ad16d8c98e59","datavalue":{"value":{"entity-type":"item","numeric-id":1600653,"id":"Q1600653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79a2842d88cf025a95b94dc977645da6ecb66680","datavalue":{"value":{"amount":"+0.8820125","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":"Q3569873$16DB2687-3B56-4EA6-A02D-826066BCFB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c69faafc396cc37ce56ba7f317e1689803b3e471","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5fd297627e68f3ccd45ed22134b459ef5be97c5","datavalue":{"value":{"amount":"+0.8698307","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":"Q3569873$0BD12E26-B073-4E79-B463-793A12A2D4DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a315a7a1d636d01cfb11c2ae0b8d4ef634e0c41d","datavalue":{"value":{"entity-type":"item","numeric-id":1758688,"id":"Q1758688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5488414068753b62908ea3613522a6135240d5","datavalue":{"value":{"amount":"+0.8673334","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":"Q3569873$4680DD72-7895-43B7-A5F8-9F4C3D2A828F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18426171ee096c57ba711811f44202b69bc28e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4503923,"id":"Q4503923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5194bdf114f6a32e1043d8d0c3bd4b7e2124b43","datavalue":{"value":{"amount":"+0.8659194","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":"Q3569873$2B006378-6DFD-4347-99FE-33A65890D79B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3569873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3569873"}}}}}