{"entities":{"Q1039842":{"pageid":1041690,"ns":120,"title":"Item:Q1039842","lastrevid":66010620,"modified":"2026-04-12T06:55:40Z","type":"item","id":"Q1039842","labels":{"en":{"language":"en","value":"Local proofs for global safety properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5637098"}},"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":"Q1039842$FF4A2F6F-AF9F-4915-BD3E-9DA66A83FFB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"432625b6938d46f9d6964752376736cf42657b9c","datavalue":{"value":{"text":"Local proofs for global safety properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1039842$881D9A1E-A723-46CD-A37E-D6F3BAC34395","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bbeec1e58db7e2856efcc2d3cc533a4a5e75152","datavalue":{"value":"1176.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1039842$7D29D490-A7CA-4E94-9D3B-AFE9BD51363E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27b4e49c274969915c032526e9907d2ac1e77574","datavalue":{"value":{"entity-type":"item","numeric-id":792194,"id":"Q792194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$1A9FFA7E-C251-4118-8650-30CEEE54F302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6d395f9c3d46709760217670affc69e5e3a2383","datavalue":{"value":{"entity-type":"item","numeric-id":784102,"id":"Q784102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$F709510C-F458-41E2-950F-9862D50DD3FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$52310098-70C1-4339-A9D4-B2BFAB421FCD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"207cc819f2c1c2e9f32725ea6312fe2f99e880f4","datavalue":{"value":{"time":"+2009-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1039842$0DF9F364-307A-42BB-B8D6-5FA22E1D0E8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1039842$40A46DC6-5F6D-4FDF-A6C1-FCA2B6CF3E98","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19173efb262239e67226506b5c1f2d879f577032","datavalue":{"value":"5637098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1039842$234EE4C4-434F-4E78-B897-B69D39A5ED3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1039842$1C11107E-823B-4B30-9887-0D86EF88D422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"220be66d53432dc869c25d91d86959700bdb130c","datavalue":{"value":"local reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1039842$B66F3150-F04D-4FE4-B4C6-1D51B4E9792C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dfba264ed923dd13e3004a251bcdab07ddaa86e","datavalue":{"value":"compositionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1039842$EAFBDA67-BDB0-4111-8CAB-8AB4A1A98FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f739e8261879d55b3aa2a63882538277361ef15","datavalue":{"value":"local proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1039842$9E64347F-F506-4110-8C0E-CEB86BE35D27","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$B740916A-9DA8-49DA-9EE2-446C918744CF","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":"Q1039842$82959999-D7EE-4D21-A16B-8962F6EEB91B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dba2186b18413b13907f22721e06ba692057678c","datavalue":{"value":"https://doi.org/10.1007/s10703-008-0063-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q1039842$4B4579DD-91E2-4E98-A58A-4A1505D4F7CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d9a0f111a4d2d80389cfd91c9f6d8f29fab421d3","datavalue":{"value":"W2086460553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1039842$7DE2B2CE-510B-43CE-98D1-C3D80DD21567","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd0c7340e2ac997ff40c028ac68665f2134ad9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5716581,"id":"Q5716581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$7EA27018-F970-44A3-9CFA-F60909909026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5d2a3258c7534111c1afe7f95a33b1202d115d","datavalue":{"value":{"entity-type":"item","numeric-id":5716595,"id":"Q5716595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$E5CD1F4E-DAC5-4A64-9CBC-B5FD28F432EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$B744008B-A3A0-4674-8E3E-5CEC2AABBD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"352f08b3803da79158a493aea49ce66912a5444c","datavalue":{"value":{"entity-type":"item","numeric-id":3512490,"id":"Q3512490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$56B89BE7-B903-487F-8213-2B31E10E4BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e4059e3e3788a873388fc3b6237dcbc3b49d09","datavalue":{"value":{"entity-type":"item","numeric-id":2768503,"id":"Q2768503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$7F9DE2C5-7184-423D-B3D1-918C6D2B4027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$79D1D90E-47B5-4EB2-B498-54DEE10D3953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$8770E538-6386-4121-8D90-EDCAEDB43FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ead91ff7a07f35c49fd705f503338ca209cd49","datavalue":{"value":{"entity-type":"item","numeric-id":557795,"id":"Q557795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$00F5F265-BC3B-4E62-960E-9C89D4E11187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4bcf149a82f4ecdacc08e753743e430f121760d","datavalue":{"value":{"entity-type":"item","numeric-id":4426384,"id":"Q4426384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$9C810C72-F26B-4FD8-A9D7-17F3079D2573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd78d251166de965701d0b707e5b374a2655b2d0","datavalue":{"value":{"entity-type":"item","numeric-id":5900683,"id":"Q5900683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$A03209F5-EF95-440F-848C-5888A2054DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b552adcf80e4aa8e31ef60bbc2d14fe0a33928d","datavalue":{"value":{"entity-type":"item","numeric-id":4551174,"id":"Q4551174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$139D660C-7944-40F8-8414-6938A68CBFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82cd6e1ca13f99ce5140266f2da3094f7b31e753","datavalue":{"value":{"entity-type":"item","numeric-id":3612004,"id":"Q3612004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$BF950334-3E66-4FA7-B932-247FFC29F39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff97ecf0898a4a7a0193ba7b942ac810914cc27","datavalue":{"value":{"entity-type":"item","numeric-id":5452616,"id":"Q5452616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$24192852-4DC5-4AC1-B631-410FBB031D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4a9238fc49995a79f8c006683b1a9c42fafe2bd","datavalue":{"value":{"entity-type":"item","numeric-id":4085221,"id":"Q4085221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$07D7081D-3D63-4CE3-B6DE-62B635921160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff9a0e3f0f2bb5379481e2506c1ed09265b0350","datavalue":{"value":{"entity-type":"item","numeric-id":3700812,"id":"Q3700812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$591ABF93-0C06-4C5C-9798-4E21A555B88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d97d0e39fff4eb32f474a84cfc3cf8ba9ad1d378","datavalue":{"value":{"entity-type":"item","numeric-id":2769579,"id":"Q2769579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$0797D5CB-CBDE-41C5-9DE5-C6475092498C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$133C74B7-E78A-4507-A4A1-8EAA7F09DD20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1179c9525ccb192ef3d618b71a524f88852fd82e","datavalue":{"value":{"entity-type":"item","numeric-id":3611995,"id":"Q3611995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1039842$2D447441-1BC2-474C-BEC1-56EB87675A16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"28cc64c6206561832193dc475f749eef16dab944","datavalue":{"value":"10.1007/S10703-008-0063-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1039842$9E98B145-8070-4B35-AE77-808CAB30C647","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2c2d6dc9f42286033aad22fa2b0c5e3f35840a1","datavalue":{"value":{"entity-type":"item","numeric-id":5429316,"id":"Q5429316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f265c67310a7bb28194449aae448e4c8d313272","datavalue":{"value":{"amount":"+0.9345295429229736","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":"Q1039842$51CBA844-5E4B-4CA2-A49B-837374EB2B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f270854a1a96951b29fcbb9bc761aca7dd4d2d29","datavalue":{"value":{"entity-type":"item","numeric-id":3512490,"id":"Q3512490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78931b5e8879274629244c6e6f048135f9c1dd72","datavalue":{"value":{"amount":"+0.8488606214523315","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":"Q1039842$2878588F-4BA1-48F6-9564-D2CF58F010A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50fc362216f99d485df6121ae67e12cabfc9ae91","datavalue":{"value":{"entity-type":"item","numeric-id":2891426,"id":"Q2891426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"127f15264e3da46612f900496c3ae8797457ff10","datavalue":{"value":{"amount":"+0.7357290387153625","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":"Q1039842$AB19A9E5-F74F-4D6F-8755-50808E290282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ceac4dc8767d8f2cb625fd51ac7eadfd3d66c1c8","datavalue":{"value":{"entity-type":"item","numeric-id":432134,"id":"Q432134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56d413e9dadbe78c8b6a1f8916df43d8559f858a","datavalue":{"value":{"amount":"+0.729756236076355","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":"Q1039842$7181F1DF-2ADD-4E4A-BEBD-62524D3A340C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d85da01ce5c8c2828ef73396ab04705487b850c","datavalue":{"value":{"entity-type":"item","numeric-id":5178035,"id":"Q5178035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3483c3330d99eef526d9e163da1f373decca5d5c","datavalue":{"value":{"amount":"+0.713729202747345","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":"Q1039842$2D2847D3-4302-4F65-B3CF-3618848E05F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local proofs for global safety properties","badges":[]}}}}}