{"entities":{"Q2996923":{"pageid":3007647,"ns":120,"title":"Item:Q2996923","lastrevid":85887212,"modified":"2026-06-03T12:20:50Z","type":"item","id":"Q2996923","labels":{"en":{"language":"en","value":"An introduction to practical formal methods using temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5883672"}},"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":"Q2996923$C7EF0CCE-60E9-4218-BB14-FBDEF79FDA0D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa74ff70190316b934bb5418c18aff29485d6a87","datavalue":{"value":{"text":"An Introduction to Practical Formal Methods Using Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996923$5FD96182-0952-43B0-A5D9-546B47E8F436","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5491cd89f92e4122143ecda49cbcbf033dd98a0","datavalue":{"value":"1250.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996923$13A6720A-40FF-4E99-BEDC-F0CB4A361B5B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"028fb93191790d9e1d17ad219f1017eb996f9b90","datavalue":{"value":"10.1002/9781119991472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996923$050CAD83-7316-4924-B9C0-A3AD8BB8C5EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e8cf336a281775d77f65d41085e5a0ff9f89f4f","datavalue":{"value":{"time":"+2011-05-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2996923$2FA9C23F-02EB-4C00-8737-0B8A2ED108E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996923$D7A6EB33-05FA-4310-80D1-7D91B359155D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996923$12F8C352-CF1A-4F2A-8CDF-2A74414D7E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996923$A63167FA-54E6-41FE-A291-929C91EAC765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996923$7B507D1A-77BC-40FB-92F9-C0D18FB6D406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996923$AD23005D-498A-4FC2-AB50-B84B99FFA6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996923$6E242482-4697-4563-97A8-2CAA19CBCDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996923$F2B7F87C-1E7C-435D-97F6-D6CE9E493194","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c28b4e014e77e2eeae45cf8747bcadc7c8f461d1","datavalue":{"value":"5883672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996923$007C7A11-4804-4BD1-92C7-481CA9B7CA94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996923$19D1CF47-AAAD-44B8-AA30-83895961AB08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996923$A6B85DFE-A5F3-4E76-A50E-E3C23F30296B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996923$E357575C-89C5-45A0-94F4-96C99456F1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996923$2D318DE1-DDE5-441E-AD79-E9C2D4305CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bf900b136d2798e9d145d78c6b69aa1c793e46c","datavalue":{"value":"separated normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996923$07A9B0E6-6C24-4EFF-B6E5-47B6C31147B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996923$F45A0FA6-61C7-49CB-873E-D4637AEAB1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109f712339f9c2560e03f931b9d466bfa04e0e31","datavalue":{"value":"TSPASS tool","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996923$BD682463-93D7-4072-A7EA-608136C2FA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb19f4406de7c046c15e75ced2f227f7c02ea393","datavalue":{"value":"automata-based model checking in SPIN","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996923$7F559DC9-AB07-4EFB-A4CF-1892CB7A8004","rank":"normal"}],"P1463":[{"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":"Q2996923$0EBE5DB3-5945-4439-8FFF-89029EE71F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996923$5A415884-8035-4BB3-B644-1A51B0ECD40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"257ad6d8f8a34d3b938ce0839d1288673e8cec10","datavalue":{"value":{"entity-type":"item","numeric-id":18659,"id":"Q18659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996923$CD9881A9-99DF-4617-8305-E5C626D299C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"99667ff6306724dbe63bc589a546934d523de225","datavalue":{"value":{"entity-type":"item","numeric-id":21966,"id":"Q21966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996923$3ADC7C06-80AB-4392-93A2-CA584631DEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"65c5f2bc4e1747adbbdeaa77db7bff22e1616538","datavalue":{"value":{"entity-type":"item","numeric-id":14057,"id":"Q14057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996923$774A65E6-5361-467C-AB64-5771E7DDF251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f70d300d184d2214c5f3fd1a77a24a9291c84ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18660,"id":"Q18660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996923$16603925-9EE1-4462-8492-B270EEFD9B8F","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":"Q2996923$94005AC8-CE2E-4F6F-B860-E0AF2B232994","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1ed8aebba4067540b60606f28c7856dfd131e1c","datavalue":{"value":"https://doi.org/10.1002/9781119991472","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996923$DBA703C9-E8DF-46C9-B9E6-0BB4E56ACC87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"322a2098395ba1630d00dcf8a81e4ecb6f5b7f08","datavalue":{"value":"W1608490958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996923$9191D91D-2D05-426A-BBD2-B49C4A5B4D63","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a98aee0b626cbe716436f876a2de3c230ad41412","datavalue":{"value":"Q98283533","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996923$0D73D77C-F36F-440B-8FFB-3A46972DA1F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cdacd9e7ca0669ca235fd02fb84ce3efaed822","datavalue":{"value":{"entity-type":"item","numeric-id":2517767,"id":"Q2517767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfcad02939fe7d21761351f8ccac3d8a836cdb01","datavalue":{"value":{"amount":"+0.8670495748519897","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":"Q2996923$33DF4D10-F62B-43FF-BFAB-BFD691B512F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0c9f5a3bb7742960aa48fd3613863799efff22","datavalue":{"value":{"entity-type":"item","numeric-id":3176360,"id":"Q3176360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff8f2483edaf1449c3301e91d4610669b344eabb","datavalue":{"value":{"amount":"+0.8350414633750916","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":"Q2996923$9DDD8527-5F8A-48C7-98F3-FEE0A83A9072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf40a6eb611a651bf861eae9f9561109e61a6d15","datavalue":{"value":{"entity-type":"item","numeric-id":3998525,"id":"Q3998525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38932268d6de8c78fcd48604aef0894a71f871b","datavalue":{"value":{"amount":"+0.8342487215995789","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":"Q2996923$B6BAD79F-7101-4AC8-8088-9547B48DC4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"157640a3dc95f22be3775391d69db1ab13ff75aa","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7413a859fbb4de3830b8c5ebf61f0b5f0b2b4b52","datavalue":{"value":{"amount":"+0.825487494468689","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":"Q2996923$6CC8F706-5CE4-4A91-A77C-EF363CBD01ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5994139c9380b8f49568f90b62efb4dc285c425d","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7618e6c5642384601abbc9a19b6fcdcf60fa91af","datavalue":{"value":{"amount":"+0.8233452439308167","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":"Q2996923$4D5337B3-1C59-4A3C-BB16-27B06E4BCCC1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An introduction to practical formal methods using temporal logic","badges":[]}}}}}