{"entities":{"Q470000":{"pageid":471767,"ns":120,"title":"Item:Q470000","lastrevid":52132775,"modified":"2026-01-21T00:19:33Z","type":"item","id":"Q470000","labels":{"en":{"language":"en","value":"Model checking RAISE applicative specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6368384"}},"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":"Q470000$7C61F1DA-A670-4AE3-9EF0-C52D3590A0D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42326e38d913900f16c5925c0f22ad96a886c41a","datavalue":{"value":{"text":"Model checking RAISE applicative specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q470000$42B12517-3FCD-442A-8E66-45CE3F5FD11F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2007d945feee972c391bc772b27148a22c9ce72","datavalue":{"value":"1298.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470000$C3E29025-C134-498D-84F5-E4F286FEBB00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f791fa51bbe74236b4f6fe4d26120ef723136fc","datavalue":{"value":{"entity-type":"item","numeric-id":469999,"id":"Q469999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$95D3FFE1-45A4-406E-BD54-DB8F46606F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"54077b1904367429d569be0be97dd786280777c3","datavalue":{"value":{"entity-type":"item","numeric-id":592816,"id":"Q592816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$12A48A1F-3B8B-42A1-8725-1FDDDABC110E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$9D1989B7-C92F-4081-AC16-2D4ADCB27045","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a32b5676dba90d5d597031616e8aef006585815","datavalue":{"value":{"time":"+2014-11-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q470000$06620339-125F-4443-AA1C-E29D3E5A4F44","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e331cc2bb7cee9774e6ead5024e343c17ab121f6","datavalue":{"value":"http://hdl.handle.net/10915/22134","type":"string"},"datatype":"url"},"type":"statement","id":"Q470000$CD75A701-C607-46A4-90CE-6F6C313D7657","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470000$7549701D-C1E5-47F1-AF4C-0F9824C1C663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470000$F8C614D2-2CEF-4EDA-8D91-728507A1BEE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93500c77c1dc5c25a4238e3af205af8401fae017","datavalue":{"value":"6368384","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470000$CECB8738-E3BD-40AF-8928-8DF8BC5AC9DA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b025775e53ab950535af5f78a8c16527c02ffe2c","datavalue":{"value":"RAISE","type":"string"},"datatype":"string"},"type":"statement","id":"Q470000$ED0C4AC8-C3DF-481B-BBE0-697CC5E6B6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q470000$F9E1F992-F76E-4192-B5FE-2C8E8821AF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97b8494eb72dca889b2045f30593883ac099b461","datavalue":{"value":"applicative specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q470000$A5C09991-AD20-443A-9D73-E3501C2BFE77","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cae8739186f915dcdf22aade1969a1b064b021cc","datavalue":{"value":{"entity-type":"item","numeric-id":15781,"id":"Q15781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$6BF73576-E276-4AB9-8F12-78932AD10BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"07c77124a102677321b49e780d83d2e468dd9d6a","datavalue":{"value":{"entity-type":"item","numeric-id":19657,"id":"Q19657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$E9209C22-D77C-45EE-A7CE-B53FEA7E3A6C","rank":"normal"},{"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":"Q470000$504E15A7-5607-4C22-883D-4BAB634E0FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$6CC77127-FE19-41D9-A785-BB5E9D2DBDDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$58072900-C086-4BCF-B62B-43CF7C59D681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$285C500E-2F87-42FC-9659-AA74FA15C7FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$05BAF7E0-2DC2-464D-8FBD-4CD0F144D4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$6DB15650-6A1C-4195-AA82-2836166EFE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$08BA7BED-33B2-4B72-A30C-56696446F480","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":"Q470000$D05DD86C-E67A-4324-BC53-E1A2B3863A0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38566477adc055c0c3f33db677e9303c4bb9e9de","datavalue":{"value":"W2011856183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470000$C0630A7B-BA97-49F9-8BD4-48412927A199","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"097beafc05a97f0c4e666d19252acf96b5d4d7e6","datavalue":{"value":{"entity-type":"item","numeric-id":4417801,"id":"Q4417801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$526CB8EA-8D32-45CF-90F4-D75938A414BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$EFC8A303-09EE-491E-8B6C-E1BAFF88F94F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6c65b0378ba4e575d0f710131146d59e647cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$C5B5AA99-3F3A-4B73-880A-DB695373874B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$455E5F93-DAAE-4BBA-80B6-DC0B8D053595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"502986d65454a1e754c2e5f910580c65ee017d89","datavalue":{"value":{"entity-type":"item","numeric-id":1012835,"id":"Q1012835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$4572AB10-BF68-4988-A87C-A282B3658BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc18c9e2ac644564fdcbd6dbaf23e45f320cce72","datavalue":{"value":{"entity-type":"item","numeric-id":4818818,"id":"Q4818818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$6B73A173-37DF-484E-AF1E-141C59B7BD88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$509434F0-D356-4463-AB1B-EB4BFF38DC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41fef66f961724b2c109d231d90a6cd1704764e5","datavalue":{"value":{"entity-type":"item","numeric-id":5312938,"id":"Q5312938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$2328832A-5D6D-451E-93EE-A459CC79B51E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9500c52b82211c30e7e53c9ebce092e43e61718","datavalue":{"value":{"entity-type":"item","numeric-id":5716879,"id":"Q5716879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$7210DF9A-FA3B-45D3-8B4B-1999C4BC8A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0e6af0d9aa6736e1cf612eb20680aaee6f85e69","datavalue":{"value":{"entity-type":"item","numeric-id":4680192,"id":"Q4680192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$A92CEA06-E115-4497-B32B-89A596B60078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$2241DA46-A273-4B8D-A2F0-E21DD605F509","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9190f2695b12f030089d23b2122c380b15a33137","datavalue":{"value":{"entity-type":"item","numeric-id":5900548,"id":"Q5900548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$0A60CF47-8F12-4AF8-A477-4A029CAA20DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f263b8bf498fecf5651f8f916cf8441fe6cb5e5","datavalue":{"value":{"entity-type":"item","numeric-id":470000,"id":"Q470000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$280FB687-B35B-4894-9784-600A2586CDA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be61ea9abc8270253f436870a1a205794f76258f","datavalue":{"value":{"entity-type":"item","numeric-id":2715820,"id":"Q2715820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$B494CD63-8DFB-4FA1-B9AC-AF5E8F4E09B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$A94073A6-2533-4425-A278-6D75E8E74F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dabaf51b56a39ab5e77ecceb8bdbacd5e63a1e93","datavalue":{"value":{"entity-type":"item","numeric-id":5703821,"id":"Q5703821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$E6FCFFE2-031B-40D4-831B-03BCED44B390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef12c87c2b98cb11e550bef1216784d7a74d3ec3","datavalue":{"value":{"entity-type":"item","numeric-id":3605469,"id":"Q3605469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$4492D272-7B50-4252-B0C4-718A11B076F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q470000$9DE2C432-B6AA-423A-BD7B-0851F34BDC6E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4136721add7747596815c33d58948040ec1408f0","datavalue":{"value":"10.1007/S00165-011-0217-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q470000$12F026B5-D401-4E15-BE30-28D8ACB4F84B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cf0363004b1687b7ce10e5b324f6507c9ffda38","datavalue":{"value":{"entity-type":"item","numeric-id":3525018,"id":"Q3525018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4726440e7533ae2a6441e16f6f99c20455fc6481","datavalue":{"value":{"amount":"+0.8030833601951599","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":"Q470000$7190C30C-C14D-4931-BD83-811F0EB8B28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38338de8aa3f6eb94fff76fe2f343afcc7b42ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3605469,"id":"Q3605469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1e887100eeb1ac8f4f048e7e7d0c2e7d242a2d","datavalue":{"value":{"amount":"+0.7664953470230103","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":"Q470000$25ECBA65-E685-4CD4-9F83-BFD51E2BD703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d3f140e56d093502c355c663252673480b2e81","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcf3095bad811d568bc1563ed3de5d415379d3c8","datavalue":{"value":{"amount":"+0.744307816028595","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":"Q470000$FFC52DC9-1A0E-4FA9-AD75-79CCA6B44D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49161caaa7eaf39f629db1a92ad320d38e825cea","datavalue":{"value":{"entity-type":"item","numeric-id":4472430,"id":"Q4472430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4022a5b8813dd087ece09b021e319c8e84dc7a6a","datavalue":{"value":{"amount":"+0.734137773513794","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":"Q470000$6BD7A561-93A8-406A-B822-43EF0B3820B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebfb906a9656037721472a56ba99dbe61d2c330","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3302e62f96b9612dea77a6623d51e0c3e0c3f4e","datavalue":{"value":{"amount":"+0.7305848598480225","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":"Q470000$27AF5F0A-0D54-4DB6-B1BC-1920A6A52E14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:470000","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:470000"}}}}}