{"entities":{"Q434444":{"pageid":436211,"ns":120,"title":"Item:Q434444","lastrevid":51507440,"modified":"2026-01-18T13:39:27Z","type":"item","id":"Q434444","labels":{"en":{"language":"en","value":"Formal testing for separation assurance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054180"}},"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":"Q434444$D523688C-A8FA-4DD3-BC36-40A048787719","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7fb2845c7816a4556acfb429678ceb7899ffa0a","datavalue":{"value":{"text":"Formal testing for separation assurance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q434444$9EB70DE9-5513-4D07-99A3-B93F3C609CB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47fec91d34615ff4323dabc147b9f13851b35114","datavalue":{"value":"1242.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434444$125C59DC-CB87-47B3-8BC0-F9D153466B42","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a415f4068ebdf29fb12de5f461ea754e84058156","datavalue":{"value":{"entity-type":"item","numeric-id":434439,"id":"Q434439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$55588AB5-6E12-4BA9-BCAB-D6F88552DEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6547373721236d28edd10e01fff1655512d9cb44","datavalue":{"value":{"entity-type":"item","numeric-id":434440,"id":"Q434440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$60DE8F14-CFAE-4A94-8F15-8BCD8F97CBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8112127c0d8cfe8be19516662fa2ba3c423248b1","datavalue":{"value":{"entity-type":"item","numeric-id":434441,"id":"Q434441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$4432F1EA-666E-4A12-B30C-01C44FB0B751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce2431e146b241f4b6bdb83a92d67474088b3f7","datavalue":{"value":{"entity-type":"item","numeric-id":434442,"id":"Q434442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$90F588E1-55D7-4E44-AE2D-8BFFD9C93485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e370471ca719bbcfabc734d424ddaad71698c8ef","datavalue":{"value":{"entity-type":"item","numeric-id":434443,"id":"Q434443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$AE926536-9133-4F05-BEFE-142F2A353DC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$A68287AE-001E-4CF7-ABB3-897FB7105DE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49b2f35c9a8cbc0d3bc23bbd70851d4c3ff3498","datavalue":{"value":{"time":"+2012-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q434444$0C50F536-0139-4ABF-92EE-8252AEAB67CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434444$83CC5617-3B2C-444E-81C9-20811D05CA1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"724047ba3b906a5e7a06dc0cbdbe379366f38b69","datavalue":{"value":"6054180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434444$F781EA6A-2202-439C-9AFA-7982EDCCC49B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"091410f2307a085653a772439be9d718e836ed8c","datavalue":{"value":"software testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q434444$22E4C78A-18B8-453B-ADDC-D2969D060A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q434444$EF96F1B2-3195-4757-A54D-423F724262B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q434444$45EF7818-8C46-4D8E-8851-509379B1D867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01851e83fb7689da167c3d2c366b68e765fd2a5c","datavalue":{"value":"automatic test generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q434444$B2488FD2-EF6B-492F-B6B4-0E4F6D160B12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9c4e650abc856b5f51d0b5123c5930fad01c53f","datavalue":{"value":"clustering","type":"string"},"datatype":"string"},"type":"statement","id":"Q434444$4F84A94F-F03D-463A-9491-E10C17DBB7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ff0502d80a0df5bb9272c055b36dd0cba7db3b","datavalue":{"value":"separation assurance","type":"string"},"datatype":"string"},"type":"statement","id":"Q434444$D0069CB3-C4BE-4B99-B8FC-0C2F9F06D17D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c5c42e79cb7383302f6d7c73b17310ca25ed14e","datavalue":{"value":"air-traffic control","type":"string"},"datatype":"string"},"type":"statement","id":"Q434444$08C98233-6B69-412A-81A0-F664156AE0F6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"949824462ad75642ee7793400532e555fbc697cc","datavalue":{"value":{"entity-type":"item","numeric-id":1352844,"id":"Q1352844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$250BE984-7481-485B-9986-F3D991B3A6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"918bd25b1f54065cfb9f7871341b0cfd6fd2a81b","datavalue":{"value":{"entity-type":"item","numeric-id":37825,"id":"Q37825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$8C3D5054-3C61-4EF9-856E-C96011D07F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"80eea1ed90a1a156489af434c921fb240a48ae8d","datavalue":{"value":{"entity-type":"item","numeric-id":19308,"id":"Q19308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$BF38F3F8-E9E2-46F7-958F-CFFA45045CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa4449ab7bf67e29a698d10746ae548bc1980e05","datavalue":{"value":{"entity-type":"item","numeric-id":19309,"id":"Q19309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$15071420-B919-4A07-A04B-2F02FFF240BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cc47147a404ecf949cf86c4e92d2dcc5a8bfafcc","datavalue":{"value":{"entity-type":"item","numeric-id":19680,"id":"Q19680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$65C81648-458A-450D-B221-67E782DFE7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f73b220ba5587942b20819a10a7828507204c03c","datavalue":{"value":{"entity-type":"item","numeric-id":46504,"id":"Q46504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$2176C3A9-4B7E-4A8F-BB1E-671EB452F55F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"24704cf2d59453ced71ad27e7959334508d37331","datavalue":{"value":{"entity-type":"item","numeric-id":12944,"id":"Q12944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$1A705121-D198-443E-8A14-D138A0978D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29eeb68acac67e9b2a2e3e14a2982c63934cc1d0","datavalue":{"value":{"entity-type":"item","numeric-id":20202,"id":"Q20202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$40556F4F-6360-4AFE-89C1-BC271F97E043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d471d5d035c355bcfe713d46cce3269b52b2825","datavalue":{"value":{"entity-type":"item","numeric-id":13318,"id":"Q13318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$2E672DA0-87A4-4324-A36A-444625BEE5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f5b1fca09e81c020a0772858aceb3a175c9768","datavalue":{"value":{"entity-type":"item","numeric-id":19312,"id":"Q19312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$0915B7E1-DC9A-4BE6-B346-AA7644CB0146","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":"Q434444$EAB390D7-8F04-425A-ACBD-5FA5E6F3EA15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cd2d3c4d0d9f970c6ce0718a419f1273fac575a","datavalue":{"value":"https://doi.org/10.1007/s10472-011-9224-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q434444$A45DBEDA-9A46-4FCD-9991-29FC5C0D1086","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0bbe427c1fb50f5bda52731f2fcc586d50235c7","datavalue":{"value":"W2153702331","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434444$59E49322-50ED-4403-8F97-B51C82EC0610","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1567a09831badd078143bff84c1a31067ac56c49","datavalue":{"value":{"entity-type":"item","numeric-id":5483032,"id":"Q5483032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$54D0F33F-0DA8-4BC2-AE26-8E24AC179AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f07818b634e459fdfbede08defa40c8e8ef26894","datavalue":{"value":{"entity-type":"item","numeric-id":4139463,"id":"Q4139463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$A6073A81-9F82-4AC5-8A61-999EA4EB3E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9392b322a2178698fdd6868cdc85a5f346322b8","datavalue":{"value":{"entity-type":"item","numeric-id":4408678,"id":"Q4408678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$DE32F57F-0AB6-4C43-B41F-CFFDA15089C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3174d9caf40de9f8eab8c5348f5778d1e331b49e","datavalue":{"value":{"entity-type":"item","numeric-id":4468412,"id":"Q4468412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$5FF4BFE4-8FB0-44BB-B566-983212F56259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec836a3fc271e588c302d19e3fc45042d720ac9c","datavalue":{"value":{"entity-type":"item","numeric-id":5255061,"id":"Q5255061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$340A94BB-1126-4FC7-A48F-6A7E37AFDB1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83fa1aea41b23b77e49c2e6c48c1b67f2ce6b255","datavalue":{"value":{"entity-type":"item","numeric-id":4095837,"id":"Q4095837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q434444$E6594916-EDEF-4037-85F9-5D00CA8FDF95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6b220871b5a07054c46e8672e90967a4aad7ce4","datavalue":{"value":"10.1007/S10472-011-9224-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q434444$D9069224-C25C-4EBE-8AED-7223AFC6D5F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21a6cf38ead5bd319ef94545b4a6d35e78e43cd","datavalue":{"value":{"entity-type":"item","numeric-id":4787249,"id":"Q4787249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b70d63d234b1f3b2b3fde8dc23da1ee9ec5dd8e3","datavalue":{"value":{"amount":"+0.7562755346298218","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":"Q434444$F7C3F1E7-6B9E-45D6-AC26-9FFB17816117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da8f7325a563d20583682c539f6621514e7f598","datavalue":{"value":{"entity-type":"item","numeric-id":3612661,"id":"Q3612661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0211098ce68cbe9db12535a9e327d5089b4aff00","datavalue":{"value":{"amount":"+0.736723005771637","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":"Q434444$F6904BB6-AFBB-4059-9FD7-C1F4BAF72E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2a3d6a3184b45b2ae5460273c3ab3225227b4fa","datavalue":{"value":{"entity-type":"item","numeric-id":2263856,"id":"Q2263856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"397ddf9b898b6ccdc7a90df19013e6c1af5531d7","datavalue":{"value":{"amount":"+0.6887754201889038","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":"Q434444$AA907E4A-69EE-41FE-8A9F-B7D089620DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e878d3b002415cbee0bf5dfa53986e12846aa779","datavalue":{"value":{"entity-type":"item","numeric-id":436402,"id":"Q436402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49d4c47fe0578c0e7e95ed62617f4bb16ed3309d","datavalue":{"value":{"amount":"+0.6708070635795593","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":"Q434444$17EA10FF-67F4-4856-9CF7-01F3FA479F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4d2984dc88a119f765be3cf44633e3aa2591159","datavalue":{"value":{"entity-type":"item","numeric-id":1697094,"id":"Q1697094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c753fc0b1bb18a1d8214af9463d381e2ecaed3d","datavalue":{"value":{"amount":"+0.6654455065727234","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":"Q434444$2244D75C-AD0E-4275-80BB-1717DBC1A5EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:434444","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:434444"}}}}}