{"entities":{"Q3455083":{"pageid":5234483,"ns":120,"title":"Item:Q3455083","lastrevid":46526259,"modified":"2025-12-24T23:32:50Z","type":"item","id":"Q3455083","labels":{"en":{"language":"en","value":"Model Checking Value-Passing Modal Specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515895"}},"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":"Q3455083$512E6728-7AC0-43EE-B156-01542CE38789","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3449c4ea93a2f4ebbdad14f26b52ee7261685b25","datavalue":{"value":{"text":"Model Checking Value-Passing Modal Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3455083$E6D16AA0-2B14-4A4C-8868-43F8BAF0DEB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"430cb433bc736f6fd2dfd8248e99d769e62ae482","datavalue":{"value":"1434.68303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455083$CD27D6D4-877A-4FC2-98A8-5C6B9D1D7B6F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdadf29283fabdaf7970cb5e614755fc433abe6c","datavalue":{"value":"10.1007/978-3-662-46823-4_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455083$F62A58F5-8CE0-4135-9BF7-5073C621AD1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b4ddb4e18c709d52412f29e118ee0635e94738a","datavalue":{"value":{"entity-type":"item","numeric-id":246443,"id":"Q246443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$FE383577-4291-43ED-A3A9-094669CD0D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdd2984005ce562423e705837ece60ae424b1f13","datavalue":{"value":{"entity-type":"item","numeric-id":246445,"id":"Q246445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$1D3E3550-B5E1-4769-944A-AEC7833D0DC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"45f427b6436d4a2386764ffa0a95f85f7040f647","datavalue":{"value":{"entity-type":"item","numeric-id":246446,"id":"Q246446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$D6E4DBD4-819A-4248-8416-5CD944F83AD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$95DAADBB-5E02-45F7-A8A2-849D29DC6128","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40cf40b0298fbc15063fa57ac2e42e939273e7ad","datavalue":{"value":{"time":"+2015-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3455083$4347EC3B-19E5-46DF-A7F4-E5EB7CFF70F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455083$E32785F0-28FD-4622-91BF-85B3C132B4AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b71bc78e357a2b5ceaaf54e5d375bf63993b1e5","datavalue":{"value":"6515895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455083$3FFCEA38-48B7-4625-B527-B21E230877C9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8bcecac04d5ef8a6cf4455a9c84e30daefb5663b","datavalue":{"value":"Q62047625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455083$048DE843-E509-4E6C-9E74-8C9FBBB50D05","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$FA45F259-91AD-42E5-86C2-11A5C8533546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aa0a015c7ff5550e74185ed9d70b576324c4cc5f","datavalue":{"value":{"entity-type":"item","numeric-id":21724,"id":"Q21724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$6074A04E-E95B-43BE-95A3-5CAB684DC36D","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":"Q3455083$957CA4D6-2C7B-4513-A4B0-A05F53144FF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0d84b52ef0887701d2accb91767ae19c7e6088c2","datavalue":{"value":"https://doi.org/10.1007/978-3-662-46823-4_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3455083$D30E8C15-EF9C-423A-8A06-DA65FB29C786","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f699ff80f99443ad5796b99011e5fca405a89e21","datavalue":{"value":"W968636668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455083$6550D279-BD66-43BB-BC9C-22A6BB4FEDCF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"55f70262b2de3784ad85111ea4ec26a1867cb6dc","datavalue":{"value":{"entity-type":"item","numeric-id":3396636,"id":"Q3396636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$CF2CC61F-E00A-433D-B11B-AC766586F6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$92DC645A-E888-4D18-B226-7AF5B0E36D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab180ced3b47c2b8623bcd604030684fb550dcf8","datavalue":{"value":{"entity-type":"item","numeric-id":617925,"id":"Q617925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$A15ABD26-2758-4947-9B22-443353CDF526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03086d42c9b86e2ad473ee8c3dc642b1e5b52ab5","datavalue":{"value":{"entity-type":"item","numeric-id":3172917,"id":"Q3172917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$2E155593-F3B1-4433-96B4-F525E871F3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cf57a3273310e951bb2d109df68c35d5a2d77b","datavalue":{"value":{"entity-type":"item","numeric-id":4536601,"id":"Q4536601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$A6F69711-5A18-4831-861F-9F0F7760CE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$7100DC7F-FF02-4813-A7B1-2075E5AC9542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$43DAD01F-6830-4886-8579-0F5586AC7B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ed8c406d428f511f7f2fcb0abb354fd8a053516","datavalue":{"value":{"entity-type":"item","numeric-id":4250361,"id":"Q4250361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$81F14E78-4540-40AC-80B6-D3AAF09941AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd44e81af77baad910c4a8b87e7a0a1bfcec8eaa","datavalue":{"value":{"entity-type":"item","numeric-id":912592,"id":"Q912592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$8FE86397-A5BC-4B1C-A39B-FF750A11C400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c522875e67852c200e186a35b758da44ac340","datavalue":{"value":{"entity-type":"item","numeric-id":5756489,"id":"Q5756489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$B9B3AFC0-DD7F-4299-A36E-A64F0D3A157A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c170ff9a2edf66e52cc326a2f7f90fbc587636e","datavalue":{"value":{"entity-type":"item","numeric-id":2476788,"id":"Q2476788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$32D4FF7E-C2EA-450E-9862-9B78E7574B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$B2767FB2-9ADB-4633-83DE-F7C67541ADB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b122e575bc0dbf1a68082c4b290206f9d3ba038a","datavalue":{"value":{"entity-type":"item","numeric-id":5692278,"id":"Q5692278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$75312324-C6EC-4E47-B5ED-4EBFE7EA5107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6061d34af90a7d2ebe1b8a774db1b5790e6ba0dc","datavalue":{"value":{"entity-type":"item","numeric-id":4647857,"id":"Q4647857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3455083$ACE0F145-0978-42A1-AC48-5E0C18E2AEDE","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"7e42381d3bb0190e82d146c8582e1ba0e700fa9e","datavalue":{"value":"conf/ershov/BeekGM14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3455083$E74114F2-56A4-46CF-BA9F-3CDF94FE90BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b12f51fa7508470e8c4ac3504e447c6d1dcdb61","datavalue":{"value":{"entity-type":"item","numeric-id":5466469,"id":"Q5466469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f86160d40bf570e1b6e297ab4dc475540aec24c","datavalue":{"value":{"amount":"+0.91335267","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":"Q3455083$4AE6A089-955E-42AE-9079-47DC6451D298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39abb76b0139ee77e167ce5326405d296ecea277","datavalue":{"value":{"entity-type":"item","numeric-id":5475785,"id":"Q5475785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d1002ae074b4bf5629e93edfd86b13056ab74e4","datavalue":{"value":{"amount":"+0.91176283","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":"Q3455083$33F0734E-20F4-4E1D-9219-39E215F8AA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"962b23d0e59ac120833f97f18ef5ec888a8a7b28","datavalue":{"value":{"entity-type":"item","numeric-id":2763963,"id":"Q2763963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d2d192e5336ef688f8653b6429796cf2fe75967","datavalue":{"value":{"amount":"+0.9084739","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":"Q3455083$9B035C46-6C8E-4E1C-A8F5-713552192198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c11753742197e9a080c8b4505e422225d0862fe","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"187233050d24465cb9ca8c01230a116926717059","datavalue":{"value":{"amount":"+0.9029944","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":"Q3455083$6C04ABC4-8513-4CF0-AAEE-5DF46E6EA9BD","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":"b4b4b46300719a649b1ee04ecf89724970760526","datavalue":{"value":{"amount":"+0.90299433","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":"Q3455083$33F29B36-1EB7-4AF0-833D-AEF02F44AB50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a377eafbcf6abddf5a3b57f95edbc3470df29f4f","datavalue":{"value":{"entity-type":"item","numeric-id":866004,"id":"Q866004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9071a8e12916812a1034683d19e4716832a5899f","datavalue":{"value":{"amount":"+0.89646745","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":"Q3455083$1D0CD4FF-190D-4D81-8FB3-1B1EEFE7029F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db3d1c51400fb674fba00e2228757e6e4183ce34","datavalue":{"value":{"entity-type":"item","numeric-id":1648886,"id":"Q1648886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fc63c694ab9663876611dbbfb35e8912426b587","datavalue":{"value":{"amount":"+0.8933954","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":"Q3455083$198CA786-B6F1-4C33-9C21-BA0E6DA3AAB2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3455083","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3455083"}}}}}