{"entities":{"Q5178972":{"pageid":7208544,"ns":120,"title":"Item:Q5178972","lastrevid":100424063,"modified":"2026-06-05T22:06:03Z","type":"item","id":"Q5178972","labels":{"en":{"language":"en","value":"Automated Verification of Signalling Principles in Railway Interlocking Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416532"}},"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":"Q5178972$165B3746-E187-4247-B9A3-4B5A59335EC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92da23383c146086863cbea3faf10921bd75bfe2","datavalue":{"value":{"text":"Automated Verification of Signalling Principles in Railway Interlocking Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5178972$79B5F954-7CED-46AA-92D7-BF02FD9442E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5bcc78ac26686839ce3766ed01b96486bfb4882","datavalue":{"value":"1335.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178972$994519F9-0174-4140-B6B2-C436D00FD743","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b835f7012590722dffc1e957cc656b1036d775d","datavalue":{"value":{"entity-type":"item","numeric-id":5178971,"id":"Q5178971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178972$65FFB8A0-8B0A-4B52-B1AD-8B3FB44905A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178972$7560C955-783E-4E92-BE6B-59114273DF8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce4c06e761dc26b3e41ce19450af68b5cc9744a2","datavalue":{"value":{"entity-type":"item","numeric-id":355064,"id":"Q355064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178972$A36EEF9D-D564-4725-A9FC-D5AB5C43995C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178972$4377BB65-399D-4242-B44F-B608EAF99547","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e3ae1d772ce191deb207c0bad17ca1d39804476a","datavalue":{"value":{"time":"+2015-03-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5178972$7F5FD16B-9898-4F58-AAE8-387B236F4DE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178972$0370EA2C-C54D-4F84-8568-7B23406FD4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178972$2A71D73F-0308-4309-A915-0D828926FBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178972$7D97C137-A921-454B-9605-269545316E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6594fb8580241c64ce14f9f29fc602ba2f0f06fe","datavalue":{"value":"93A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178972$5F3EDA87-A426-485B-A0D7-ECD286CBD3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4621ee6da9f1d0767cb7f99b0b9ecc8ac86abaee","datavalue":{"value":"93C83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178972$405300E9-D7E7-4A63-82D3-5FE732526B68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"187a96ca1edf2d0e5eb89bbd32113f3fa045ebfe","datavalue":{"value":"6416532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178972$136AC982-341C-43C6-813E-95D1CCC7FDEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d38e9757a23100336c2608b510352a7a3ca2e8d","datavalue":{"value":"ladder logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178972$96AE8C9E-787C-4EBC-BB06-9E1E42E3E876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bb48f00f2fb4f498d31feb8783cc3641a35bc38","datavalue":{"value":"railway interlocking systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178972$C5734641-77D0-4A3F-9F68-7945C86BAF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543c7d0ffd0c52aa92a423848e3694a5bcbfca1e","datavalue":{"value":"SAT solvers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178972$41C56EA5-4904-454B-BDC4-8709201DD922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178972$54BB1C50-1A60-40EB-8B1D-FF4F0618CCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178972$3316FFD6-801E-4EA1-96B8-098EE1531BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a5fd26b591a886c5110adc4df816ed917f798c","datavalue":{"value":"signalling principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178972$340CCA3A-65ED-4C17-BB9D-BA9E6AD8DCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e07787a1cd26c789140f5c3150ac09bb65f07f7","datavalue":{"value":"safety properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5178972$983261F4-EF4B-4820-A12E-D06F7C9470D0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bb5f8127b31434f9cbd3928a9b503c8a95006345","datavalue":{"value":"Q59556946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178972$2A472E3C-77EF-4E55-A7BB-025576E5D01C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e42475b9abaf1d634a4e10fcb665c6bbb8279a17","datavalue":{"value":{"entity-type":"item","numeric-id":40330,"id":"Q40330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178972$87B5FC3C-C9CF-4C3D-A03B-CEF04C74E067","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":"Q5178972$FD0A458D-C89E-41CA-828E-03B3CC6E6129","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b64a3e19f61e3e94fe67647517ce27da5a30ad6a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.08.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q5178972$8A3D57F8-7623-4DC1-84AA-83F5C68F13B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85d8147c1bb5c4259074d33634c1340bfdf0e34c","datavalue":{"value":"W2160974783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178972$B3ACFACD-1122-4D8D-A146-0238F6C2AF84","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178972$B99BC672-7BCA-4525-A520-7C9088831533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178972$593191AA-1DCF-4919-9168-C305EF307154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f932d436cda4d1aa0ea3214280649420771cd148","datavalue":{"value":{"entity-type":"item","numeric-id":5504707,"id":"Q5504707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5178972$168259EB-A8E8-45AE-99D0-22C22EF9A8C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6c4535be842923d0908662cd2c4e96da3886de9","datavalue":{"value":"10.1016/J.ENTCS.2009.08.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5178972$9ED46E34-2F19-40E7-A5BD-352325D5831F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f7f50be53f20c9052f63f0dcf8a21415908ba26","datavalue":{"value":{"entity-type":"item","numeric-id":1295868,"id":"Q1295868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3eee234681c8dd78146cca6afadee914436f89","datavalue":{"value":{"amount":"+0.8987906","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":"Q5178972$694D02F4-0E3E-4133-B9C6-5E4E971E2AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ce1e9994f61ac9b44ab36f04e03c03ab34ef00","datavalue":{"value":{"entity-type":"item","numeric-id":4737117,"id":"Q4737117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e66644c975a761f9a14651502d9fcc1188de722","datavalue":{"value":{"amount":"+0.87880445","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":"Q5178972$AF2094BF-F418-4A4B-B2D9-954B3652E1AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39464ac185958a2e3987dfc7f77bd82cac535281","datavalue":{"value":{"entity-type":"item","numeric-id":3521179,"id":"Q3521179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"457a3c1833290a19e431be1daa9af530bed4a04f","datavalue":{"value":{"amount":"+0.87636626","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":"Q5178972$9F3EDA4D-D462-43E2-B983-2800EF06ED33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ecfebebe87c2c9ba803c6fef6901294be6cc60","datavalue":{"value":{"entity-type":"item","numeric-id":4808830,"id":"Q4808830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abfcf35759ec74e907c7b594ee89826af4455b36","datavalue":{"value":{"amount":"+0.8741692","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":"Q5178972$721307D0-E5AA-47F7-9D56-30182039EBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d88f8aa60c0afa864cdfb453827388efb2f16ef","datavalue":{"value":{"entity-type":"item","numeric-id":539161,"id":"Q539161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2700c6a5b9993df5591d2e460fcd12d3ebf11dda","datavalue":{"value":{"amount":"+0.87309635","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":"Q5178972$76942842-6CED-46F3-8AD8-5CF328CECEC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automated Verification of Signalling Principles in Railway Interlocking Systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automated_Verification_of_Signalling_Principles_in_Railway_Interlocking_Systems"}}}}}