{"entities":{"Q672042":{"pageid":673891,"ns":120,"title":"Item:Q672042","lastrevid":63452430,"modified":"2026-04-11T13:15:48Z","type":"item","id":"Q672042","labels":{"en":{"language":"en","value":"Confluence for process verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984746"}},"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":"Q672042$17CD2AF4-5F93-4DBE-AFD6-944F04DAB0E5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e638a351aee84a39993fb3276a9cc3bf5fc3327","datavalue":{"value":{"text":"Confluence for process verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q672042$754849D8-5DFB-4D96-80BC-A18F9EE77DA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e65e894e7a57a6293bcbf1d5a2c121784330a89","datavalue":{"value":"0874.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672042$664D3C3B-2005-4AD5-9E1E-BBB1C7189F5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"85da36bc075e5ead0a6d57dcf0d4afa78251b347","datavalue":{"value":"10.1016/S0304-3975(96)80702-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672042$A494A611-7D0D-4166-AF13-6EA7CBD3D60E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd26c060f9fec47585ecde4b8274da2be27a287a","datavalue":{"value":{"entity-type":"item","numeric-id":672041,"id":"Q672041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672042$70D405B0-ABD4-408A-9FAA-EB78F28763F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4d54284fa63e7ffb6f80344c0baa18d8a9790f7","datavalue":{"value":{"entity-type":"item","numeric-id":169680,"id":"Q169680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672042$E09F024A-32EF-485F-91D6-AB378608C15E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672042$9CC01DAB-1534-440E-85AB-350787F65B4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q672042$AA245B44-C060-4716-805C-3C4D32EF0DB9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672042$04E2B528-7EEA-4268-9FBB-43C7C31332FC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e4eb071ba3ec7cff0503d9200523b261f17fbbb","datavalue":{"value":"984746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672042$FBAB6559-535E-4B8D-B05C-0D2038391139","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4318a74e737093c36725bbea9d80d679c3d5ee66","datavalue":{"value":"process verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q672042$0AFA0B05-F060-42A6-8902-DAF49D800A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q672042$898D23D1-3D49-46AD-8715-C62C5469AEDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"283797909d911695771e0603991e1c033124273c","datavalue":{"value":"\\(\\tau\\)-inertness","type":"string"},"datatype":"string"},"type":"statement","id":"Q672042$0350E25C-0F6D-4F07-B7FA-55E3BCA9AC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q672042$847123E8-C11C-4147-BD53-5A62836BA861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c86cd4de291b774c7f6e20003297cb8318a904b","datavalue":{"value":"linear processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q672042$E5A1F2FA-4AFC-4222-8AFA-BD2B9A88FBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c736379fa328dd527c485e6778d8aa2292378f5f","datavalue":{"value":"state space reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q672042$EF1786A6-E4D8-4D18-A659-2A337418FE90","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":"Q672042$343A06FC-A3BA-4469-9620-C4D8D83DAF9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03db63d2c3a06d64b67c9127f5d7543fde09947","datavalue":{"value":{"entity-type":"item","numeric-id":1822989,"id":"Q1822989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672042$9D3B3BBC-2337-4A96-A1F9-75B3828370CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10e04f048d4b81a314de290e4814684536f028c","datavalue":{"value":{"entity-type":"item","numeric-id":1188866,"id":"Q1188866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672042$917C4454-01DC-4B08-8AE8-5FA9570B0DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672042$1FFE3191-32D3-42B6-A090-54AA8FBD81C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba1b054f3fedabfcc7b28f42f5e01f5ce7cf6b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5186720,"id":"Q5186720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672042$CB24058E-52C6-46FE-86BD-876846DC7888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5e3e4fe96435b17b55d9b31d1a0b25e8e859bf","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672042$8C3374A5-5527-4009-B4CF-4576178265DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e24fb73f0334e94937043851c5cd1e51e395fccb","datavalue":{"value":{"entity-type":"item","numeric-id":4312484,"id":"Q4312484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672042$D34C1F57-9EA4-43DF-89A1-D3B8649D9014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5a35c7856f8200429b3fd978a4da3e74e4ac06","datavalue":{"value":{"entity-type":"item","numeric-id":4490726,"id":"Q4490726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672042$42B0DAE6-B76D-4D01-A626-8593C496D28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672042$28600AD4-0560-406F-88B0-E9064CEA8E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b5751b45cbfb1649dca4cccb063f8ab1d3aa550","datavalue":{"value":{"entity-type":"item","numeric-id":4312490,"id":"Q4312490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q672042$B507A17A-56C4-47FE-8133-9A92415F0404","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9177b5a8c4320a1f9639b78b8f6b8edfcc9a5170","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(96)80702-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q672042$4632B0DA-F608-4E7D-A168-B3DD8B18A9CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"216b5615d1652246fd481953979751e1ecddfecf","datavalue":{"value":"W2911867855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q672042$D1353A1E-39C5-4F9D-83D5-B0AB4A77246C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc057516d4ac00b279a38e2471fdd5456d114238","datavalue":{"value":{"entity-type":"item","numeric-id":272169,"id":"Q272169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4792990abffc118d0187fd94d254454764dab2d3","datavalue":{"value":{"amount":"+0.81128037","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":"Q672042$C0880B6E-6385-44A9-BB32-5D37F58CB855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddbd6f082f25a856240577b553f8af61915ec7d6","datavalue":{"value":{"entity-type":"item","numeric-id":5415302,"id":"Q5415302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a12a1e1426821d6673976127b4ebc61a4b43f39","datavalue":{"value":{"amount":"+0.80595124","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":"Q672042$3C5D2551-EAA7-4021-8B36-F9FA83A95C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48f5dc8d4ab46c42ab5743094e174b7e96cd7515","datavalue":{"value":{"entity-type":"item","numeric-id":4397074,"id":"Q4397074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e228da1b70ff43959061a5ad49cfcd90afafee69","datavalue":{"value":{"amount":"+0.80182594","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":"Q672042$38C62B87-6D4D-4836-96B8-EE91167305C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81e02598fbc782eaa3794b34ac22d5104707647b","datavalue":{"value":{"entity-type":"item","numeric-id":5013816,"id":"Q5013816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8b59dc60716d2ed81bf514e8e1c774d06f92617","datavalue":{"value":{"amount":"+0.80041593","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":"Q672042$7BD525A8-413F-4AEE-B60D-C2E696677141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc4b99d402032667d565d74b4d6118fd5a1d1cf","datavalue":{"value":{"entity-type":"item","numeric-id":4645279,"id":"Q4645279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cedbad86787bb8f27b2a07eff89cd34f1b385f","datavalue":{"value":{"amount":"+0.7914536","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":"Q672042$60EFAFE9-C40B-4705-A42A-B94E1D89C613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"145be1fb57774c9df63c4913335b2fbec085ceb3","datavalue":{"value":{"entity-type":"item","numeric-id":6485727,"id":"Q6485727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87fc18590633ee938df5af1ab3f769bb8d60911d","datavalue":{"value":{"amount":"+0.7871286","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":"Q672042$47248E71-4D55-45CF-9FD1-1DEED72C0B5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Confluence for process verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Confluence_for_process_verification"}}}}}