{"entities":{"Q2487874":{"pageid":2498617,"ns":120,"title":"Item:Q2487874","lastrevid":48527413,"modified":"2026-01-05T03:00:44Z","type":"item","id":"Q2487874","labels":{"en":{"language":"en","value":"Formal methods of analysis of system properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2194315"}},"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":"Q2487874$E53DC59D-324B-4FB5-ACF2-9BCE1F4E2B89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f369ef20d755573a26c64cfb03e3e6d5f3124a1b","datavalue":{"value":{"text":"Formal methods of analysis of system properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2487874$1EA0AF19-DCC0-4626-ACB1-DBCA892EC762","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"428438e344f0399d94819ee0416bf18c6010f254","datavalue":{"value":"1099.68658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487874$EA1FA4D8-7E62-441E-9533-5C85822D6389","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51a3270bff139c8dcd3aaaf0065660f4c7a5ad57","datavalue":{"value":"10.1023/A:1024783021463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487874$81628758-4321-4567-86D3-64A6B9924A89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d21d9bec4d91c73cdf3bfdf72f8f7722535fc5e","datavalue":{"value":{"entity-type":"item","numeric-id":2487873,"id":"Q2487873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487874$9944A8B6-2741-4038-A25B-C1C77EE4FF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"120e3e50e701634c5f67d1b809f1b56410aed24e","datavalue":{"value":{"entity-type":"item","numeric-id":269157,"id":"Q269157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487874$995C39DD-0287-4339-8C28-70A96EAA9CBB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2487874$872F8A59-A555-40AA-9137-0700443F4246","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a7095fa1c9ffea3736e3139afc1eece023f1745","datavalue":{"value":{"time":"+2005-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2487874$6F8193F7-541F-40F1-958D-9ADEB5D9DBFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487874$9E92C61B-B9A4-4E15-AAA2-2F20F2903C71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487874$9C251DDA-8F7E-41A2-A21E-A90828BF0686","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6338c5d8040331f58b36b6a73208277d3b88f159","datavalue":{"value":"2194315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487874$E1EB7BAB-4FAD-443F-978A-FA859B5C64D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9408546ecb33d5fe54dbb1dbe82b7a513b60f62","datavalue":{"value":"transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487874$54D6388C-2F05-4F0F-A6F3-62CEE59B5644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77a2334df3bf6d3e1f4f86dff28df8564bc1f0d","datavalue":{"value":"formal method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487874$34DD969B-8C90-41E8-9557-A42C52856973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487874$70EC11C6-DD74-4C70-876D-1FE92D195DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487874$98254414-5E5C-4712-B5F2-A93479F7948A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb76e657b2cd4aecdecee0500b416355cbbf7beb","datavalue":{"value":"feature interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487874$82650381-8BAE-4A14-B9E3-24AF05394E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q2487874$9472BFD5-2895-4CA5-8FDE-08B80800E046","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":"Q2487874$171A857D-BC85-4322-8054-557B9B10FD49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e5a1c2475b74115507cecac856cf26c81595cda","datavalue":{"value":"https://doi.org/10.1023/a:1024783021463","type":"string"},"datatype":"url"},"type":"statement","id":"Q2487874$76199DC9-81C6-4215-9B63-F6070B6DC357","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0414f4e4b999f8501544b6dcb4fe6e4af442d543","datavalue":{"value":"W1495911618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2487874$2F295AC9-43E7-4982-AC79-E88823175406","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb74eb51fc4e08f9ff2236d0723886d6f837b04","datavalue":{"value":{"entity-type":"item","numeric-id":5196885,"id":"Q5196885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ebc2eac4f186c86f970106c8b840dcb7d1eb7fe","datavalue":{"value":{"amount":"+0.7729939222335815","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":"Q2487874$17396B49-248F-4F9A-8686-CABFA693F169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86329c6c4b5094e0be9173963abba6152563b9bc","datavalue":{"value":{"entity-type":"item","numeric-id":3423380,"id":"Q3423380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ed5f7489b2f88c73fdbd6a5eb2c97ea38e701e","datavalue":{"value":{"amount":"+0.7729246616363525","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":"Q2487874$D86AF457-61DC-4E96-9197-B4B0FCBCFD51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599ee9c57ed0947f51d0323412fb81903d9e6161","datavalue":{"value":{"entity-type":"item","numeric-id":5472939,"id":"Q5472939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30cab3db1e891ff723d0fc84ab8cb47cfd4cca1","datavalue":{"value":{"amount":"+0.7667325139045715","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":"Q2487874$4EB7DD31-59CB-4CB1-B3F8-3159A4511742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca28f103fd8236af971716c21415eb2e12e9bfcc","datavalue":{"value":{"entity-type":"item","numeric-id":625100,"id":"Q625100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529e975620919d172019fe04a5f36cf6ee1ac771","datavalue":{"value":{"amount":"+0.7519355416297913","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":"Q2487874$2CC8E5FC-529E-4DB1-9EB9-F7EC2E1022BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b45fc735c0a84871240051e9d100a34e025117","datavalue":{"value":{"entity-type":"item","numeric-id":4364532,"id":"Q4364532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45c481fa57cb0372a436d549018ccf6b709d0db4","datavalue":{"value":{"amount":"+0.7511585354804993","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":"Q2487874$A422246A-8291-4478-BF0B-EEAA581AFCC0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2487874","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2487874"}}}}}