{"entities":{"Q6869936":{"pageid":20716207,"ns":120,"title":"Item:Q6869936","lastrevid":84234143,"modified":"2026-05-14T00:22:59Z","type":"item","id":"Q6869936","labels":{"en":{"language":"en","value":"A theorem prover based approach for SAT-based model checking certification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8149365"}},"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":"Q6869936$F97E4376-6158-4DAC-984F-BB671A67C32D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"319dc90a4a666a49ab8d9c41e32c962c2b5bcf03","datavalue":{"value":{"text":"A theorem prover based approach for SAT-based model checking certification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6869936$8E5CE0B8-5D89-4D48-B26C-7388DC177154","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d7aeebcff7477fd309c30769b74dbcf4a37454d","datavalue":{"value":"10.1007/978-3-031-99984-0_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869936$871E8992-226B-4AB3-9124-2F29B0C9DE58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"872063ff8f90ac3f3e1860c61061b9d2c33d2c9c","datavalue":{"value":{"entity-type":"item","numeric-id":1617811,"id":"Q1617811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$3B9E4A8E-3CF1-4991-8D4F-E678215C62E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08a4f4fd3d505851de5406d9dca499cf8155c2d4","datavalue":{"value":{"entity-type":"item","numeric-id":1186738,"id":"Q1186738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$0F80E7C1-3BF8-46C5-968F-D993EA275324","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ba453704ed3d872eb3c4e12877bf750b115031","datavalue":{"value":{"entity-type":"item","numeric-id":453481,"id":"Q453481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$65E5705E-63DA-4277-9DD7-B7EF4ED8A09F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e81db88b51bcef8ff5a07801e5bbf49e02d72b4","datavalue":{"value":{"entity-type":"item","numeric-id":6869935,"id":"Q6869935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$C526D128-729B-448B-A59B-98BD1560157A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$57288DEE-9A20-4323-A08E-8C7401E831EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d1d57c2907dffa44ca44e78e6d33e08fd559002","datavalue":{"value":{"entity-type":"item","numeric-id":5369544,"id":"Q5369544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$CB1BB8B5-9CBB-47EE-8DBE-D26EE4B216BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d7fa45906cb357c6ff423972530aeccc52e2dcc","datavalue":{"value":{"entity-type":"item","numeric-id":329421,"id":"Q329421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$159A595C-5412-40DA-8C9E-5541E0E1CC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a3a6d65cef09233c3157717e074297efd5d7a8","datavalue":{"value":{"entity-type":"item","numeric-id":479825,"id":"Q479825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$0122F6AF-2FC0-4427-8CC2-A605139A6F8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd0535754d1571e407a6ce2636467dab5aaebc85","datavalue":{"value":{"time":"+2026-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6869936$3F55EF37-6A64-4119-A928-22E0CA5AAC86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869936$F74AB6E6-2B83-4802-B6B4-EB73E0468821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869936$D725DBFC-5760-4A4E-8B44-46DB78304834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869936$9EF85058-0B11-476B-BB6C-0E5F276EEB84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b59dede1f797ba00407c6e2de532772c1e30a7cc","datavalue":{"value":"8149365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6869936$8C43A621-A87F-4AF5-936E-D6995EA214CC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$18283254-E44A-48D0-BADC-152D514AD060","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869936$09A73B10-3C7B-4195-9AAA-265CE1A39628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f42ab1ef68844a89c8a5f8b94dfe3e5110dda50","datavalue":{"value":"certificate","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869936$229FFA42-3AEF-44DA-8941-08B246C42CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869936$359FB43F-3F89-4318-94E0-38672149F492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f08fe6c16b3c26a1a0a83daf5a7e3891341f78","datavalue":{"value":"invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869936$458E9353-69CA-4B99-9133-38B6EC0E762C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a614927b0caf638748bb51c0de92c1b49104311","datavalue":{"value":"proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6869936$00D32EA7-F297-4192-B290-89FC3318D780","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":"Q6869936$553AA0E6-C79F-42E5-BF6C-4D78AD663A3C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"31280cc1d774ea6628420a1ab828f9c591ed6e9c","datavalue":{"value":{"entity-type":"item","numeric-id":1425001,"id":"Q1425001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$1902403B-7ADC-41DF-9C56-25A58E2D2ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1c8184b1acdd789966f20b879062982b68f0185","datavalue":{"value":{"entity-type":"item","numeric-id":526434,"id":"Q526434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$BD7B3496-AB10-4C5D-A60D-A505E4EA5B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f24f2664c89df8ab7a358ce2275232f2ad39b43","datavalue":{"value":{"entity-type":"item","numeric-id":6102162,"id":"Q6102162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$E012581A-C790-4648-A075-C53880F8DEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"066fcf4f0ca79e30da3b6dde4a2b135c7aebd16e","datavalue":{"value":{"entity-type":"item","numeric-id":453484,"id":"Q453484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$9CA2B23A-6DF3-447C-84D5-165D1A85F5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8242928870aab67343ad0152eb7ca8357168f7f3","datavalue":{"value":{"entity-type":"item","numeric-id":3454108,"id":"Q3454108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$6F93B62C-6ADD-40C4-AC64-D69A14A2708F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d39b13d40aed876679738037d6386ab43b2b19","datavalue":{"value":{"entity-type":"item","numeric-id":7034860,"id":"Q7034860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$FEA478CE-135B-4C1D-8ADE-FEB028CF3099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5254fb6cb68e95e9b114ff1452e0ee53f207bf78","datavalue":{"value":{"entity-type":"item","numeric-id":2058379,"id":"Q2058379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$4EAE7481-7F2F-42DF-AC75-B7091E4BDA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7f5135c5ce9e5fab4f02c906a9b2b56f6abaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$56DE6714-6691-4DF4-90EC-3924C08E87C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b71a3a245c4d977a9d74d9fa879f31b524729da","datavalue":{"value":{"entity-type":"item","numeric-id":5305658,"id":"Q5305658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$223712F6-EB5B-4AB6-9263-B8229A32EBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2073f7e8ff73f9c07fe7d7d734391836cd67561e","datavalue":{"value":{"entity-type":"item","numeric-id":832275,"id":"Q832275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6869936$4F14A148-F35A-4DA9-BA98-9D230A3C9014","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theorem prover based approach for SAT-based model checking certification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theorem_prover_based_approach_for_SAT-based_model_checking_certification"}}}}}