{"entities":{"Q3454102":{"pageid":5233502,"ns":120,"title":"Item:Q3454102","lastrevid":52405958,"modified":"2026-01-22T14:06:11Z","type":"item","id":"Q3454102","labels":{"en":{"language":"en","value":"CTL model checking in deduction modulo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515514"}},"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":"Q3454102$CCDB1B27-CBA2-4AFC-97FC-69D98739B2A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b398e0429ee9f9056e961bbb2c1574fad80e088","datavalue":{"value":{"text":"CTL Model Checking in Deduction Modulo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454102$C043261B-A1D5-4163-BEED-5269EBDF90B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b6f00098d12065a86c6cdf0eeca3b3d12ffb7f5","datavalue":{"value":"1465.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454102$13252AB5-F408-4987-85BF-1EDBE8E84D9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"634080e43e96bda0bb2d53ac506a129c3505abd0","datavalue":{"value":"10.1007/978-3-319-21401-6_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454102$79C5C011-5506-4AB7-AD03-6B66ABA5E8C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8d8a94af8132629fb82e400d7364ab62a1388a4","datavalue":{"value":{"entity-type":"item","numeric-id":2164243,"id":"Q2164243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454102$63BD28E2-005E-4389-901D-3F843BCB9D96","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454102$89D84C11-A56C-4B9B-A08D-BEA02D5F157A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454102$D4CA411E-0620-469B-9FC3-7A6E452C16AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"663c66bfb658ab9d2732abf6dd15727865022490","datavalue":{"value":"https://hal.inria.fr/hal-01241132/file/paper_20.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454102$A68CEE73-8725-454E-87E8-6A01AE4605A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454102$2EA6D3CF-7120-470E-B255-6FA9EAEB8979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454102$0B2319B6-451E-4142-BEF6-7E80C1925065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454102$76436D32-49B2-4B1C-AEDA-20F9DF879E84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c61e528b471f400d2085e65478569574ae707b31","datavalue":{"value":"6515514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454102$C1C69262-B4FE-4505-BAF0-0BC93F2C946C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454102$22491563-ECFE-4693-8FD8-0C447C55AFF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908a412ea1d66c8c3e12f690543d47d72647ae57","datavalue":{"value":"deduction modulo","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454102$F0C9309B-805E-48F6-8E50-2728A0D07BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28bfb03c04aa499e302c4fd861d079d8281e5387","datavalue":{"value":"resolution modulo","type":"string"},"datatype":"string"},"type":"statement","id":"Q3454102$283C5BA2-8AD3-4F38-B1F0-DEF256E3C306","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"83e2dec25ea583652d0e07d4393a843812f4b48b","datavalue":{"value":{"entity-type":"item","numeric-id":21686,"id":"Q21686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454102$124639B4-BFB3-41F2-8976-5BD64AFE4814","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":"Q3454102$F762EAEA-912B-4206-B3A4-13F6052AA5F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83f9210cd68ed33c49756579ec019b9b9164e171","datavalue":{"value":"W1455388678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454102$382A42BC-770C-41B1-B981-4E5530F45BA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba11741201ca0ebab49908d01bc6254ac7d2423d","datavalue":{"value":{"entity-type":"item","numeric-id":3586040,"id":"Q3586040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454102$BF6D607D-012A-443F-B006-9A09F8882E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"264a863f41b732822853937c407d70d9da64543d","datavalue":{"value":{"entity-type":"item","numeric-id":5200022,"id":"Q5200022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454102$97D6311E-D749-4834-B86E-F54DA6110592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0007f6e6ddb56daad1917f282410760fb5b79ae6","datavalue":{"value":{"entity-type":"item","numeric-id":2870135,"id":"Q2870135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454102$DB6BD06B-7E05-4C9D-8723-133CD11A6CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ca1cbc94b6fcdbcc40aa9495bb45517f812686","datavalue":{"value":{"entity-type":"item","numeric-id":3163883,"id":"Q3163883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454102$91080F46-95CD-4790-A54A-5D3E784949DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b714ee7bdb70947b555d42ec2db46670455bb12f","datavalue":{"value":{"entity-type":"item","numeric-id":1431339,"id":"Q1431339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454102$E79A5151-D41F-4F22-BB33-B5D2ACE9052E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8268d05e5ca4c257e5447995fdf9928273cd17eb","datavalue":{"value":{"entity-type":"item","numeric-id":3454102,"id":"Q3454102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454102$B1A79A1A-CCCC-48B0-92BF-AB07B1627F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33890b7faad584193275d91a4cd4d3b147aff5a7","datavalue":{"value":{"entity-type":"item","numeric-id":3541709,"id":"Q3541709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454102$670F6F21-6849-4A18-B3C2-90E7D0C7686B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454102$C63EF51D-F1F6-4D58-B293-806186FD0C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6a26ee146647c9cf8255800b1d37f118aaf20e3","datavalue":{"value":{"entity-type":"item","numeric-id":3192192,"id":"Q3192192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454102$13D74E1B-F5CA-4085-AAFE-F7CE3C63FEC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def4e52c6ef17061b38fe53997c56fdb96710c18","datavalue":{"value":{"entity-type":"item","numeric-id":1770366,"id":"Q1770366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d35b77f767aba485d866ec41fa400cb5578d2d92","datavalue":{"value":{"amount":"+0.7782005667686462","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":"Q3454102$E4F2D897-4157-44B0-B27B-08142EF97A4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c084d7aaeb05c8c0b51aacdb26edde7a746b3a5","datavalue":{"value":{"entity-type":"item","numeric-id":5504119,"id":"Q5504119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebcbbb9598e47a3ba3ed32684867816a7c7a2f93","datavalue":{"value":{"amount":"+0.7732890844345093","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":"Q3454102$E2001628-C481-4D21-84E7-55C4C1B13CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49889eaa14e1e79792df2f7fee33e78df0c895da","datavalue":{"value":{"entity-type":"item","numeric-id":4808748,"id":"Q4808748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5807c36194c4045e7a86763d11053024785c9e0a","datavalue":{"value":{"amount":"+0.7708956599235535","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":"Q3454102$F5F9F902-0D4B-438A-87D0-86326CBC78CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b127dff620d3da7cecf0861c40a8f674af02ec2d","datavalue":{"value":{"entity-type":"item","numeric-id":4484475,"id":"Q4484475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a4969ed6190055a37e807da8f8855e3545df1b","datavalue":{"value":{"amount":"+0.7642970085144043","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":"Q3454102$2493FE01-AC4F-4553-B935-EC9B48987AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1291fc8c82bfb271cb723af62c4cddc6117968cd","datavalue":{"value":{"entity-type":"item","numeric-id":518745,"id":"Q518745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f16908ba99b8630835bd201335bf18f5145da2","datavalue":{"value":{"amount":"+0.7565322518348694","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":"Q3454102$446052E9-792A-42D7-A37D-900B0FF144A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454102","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454102"}}}}}