{"entities":{"Q5901612":{"pageid":8009452,"ns":120,"title":"Item:Q5901612","lastrevid":41678382,"modified":"2025-05-07T03:14:35Z","type":"item","id":"Q5901612","labels":{"en":{"language":"en","value":"Integrated Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551739"}},"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":"Q5901612$2AD18D36-847E-4E7A-9C70-E6787E0FFB7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d74728269e5e1f0a6023587eb4648768bbcfeee","datavalue":{"value":{"text":"Integrated Formal Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5901612$A2F1941B-9982-4591-8D7A-5A91F7BE9EB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f71f09131caa2a824ef8604c898a397413849f02","datavalue":{"value":"1196.68145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901612$0E25A679-0D4E-483A-8351-FC7FBD464192","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ba413d292f7b6fa375ce4205d55ab082f005f","datavalue":{"value":{"entity-type":"item","numeric-id":1708706,"id":"Q1708706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901612$FF4A1747-D44B-4898-95AA-13E4BA7BB1B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"80461d6d9d7339257b40c85e88b219a6425c5ace","datavalue":{"value":{"entity-type":"item","numeric-id":333321,"id":"Q333321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901612$321DD758-6756-4F50-A300-EFD73C8DEEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c54c268bae98d66282a065bf8c72963533a2de78","datavalue":{"value":{"entity-type":"item","numeric-id":3625029,"id":"Q3625029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901612$1B538164-CBEF-47B9-95A4-8FDAF0516A30","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901612$D40DEA84-0507-41BA-A98C-3968DD6B763E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"99ce649c36f33c69e9f26f8f3ed476026a86e4e9","datavalue":{"value":{"time":"+2009-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5901612$CC5688C0-9A77-47AA-A3D2-851BABAFA319","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901612$141F0FFD-C9A4-457B-9A75-FDB1B8509220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901612$F9E0ADBA-319F-4B54-904D-CA85633D2CC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901612$34CDEA96-14B7-4536-B7A4-3F0F41834FD3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"51422485c907d196018f9f74640145c645823ae5","datavalue":{"value":"5551739","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901612$14DA0D5E-FAC5-4AFC-A8BA-845E6A35DA49","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901612$FBB0CA10-6928-4C3F-914A-84243436D48F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79d891fa3e5d3a685d4417bf83c59786e9fbc0cf","datavalue":{"value":"data independence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901612$A6F44468-7079-4839-91FA-48ADF4DA55BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe388160b571b7802ce497aa59d9b819f18efa15","datavalue":{"value":"trace refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901612$C5FA6D00-2161-4899-9F7F-B16C10DF00A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901612$29CDDDD6-73E0-43C2-B5C3-48B6660759B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901612$4B93482F-EDA8-4FC1-B19B-4B6D8680CAD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f98b054f0f1d80c4d5f81acc12a80f93a378f42","datavalue":{"value":"array","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901612$C3B0A768-19A0-4B3E-88AB-73A5BC6019C1","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":"Q5901612$D8C53CF8-C7EB-4B16-95C5-2D189789EEE4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a1b0561588b9897b69e8c3c34dd8dab8759eb1b","datavalue":{"value":"https://doi.org/10.1007/b96106","type":"string"},"datatype":"url"},"type":"statement","id":"Q5901612$FA98816B-34BE-453B-B72C-3512B6493C77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7834f17505de512196794debbaa63da7abf0e2b","datavalue":{"value":"W1531155000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901612$C155B21B-C95D-48AD-9C99-A0F36C35A16B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3267ab4ac3fab364d557efcedb8054fe67b3f56","datavalue":{"value":"10.1007/B96106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901612$C6110A1C-2BAC-441D-AFB4-312F5DD9DF1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e38522ff8cdf76d7719b70356af9990f09a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":5178982,"id":"Q5178982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab6a0bbbbe3957b62479b0fe1379a0b41bedecd","datavalue":{"value":{"amount":"+0.8549789","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":"Q5901612$4842A34D-6255-43F5-8F25-E758B0F1B39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"377045c49e5653288d9cb7d8d4deb07cbbb343ba","datavalue":{"value":{"entity-type":"item","numeric-id":5178998,"id":"Q5178998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a97a34554391ccaeefb5250b7a0f9ebc8943f4","datavalue":{"value":{"amount":"+0.83905554","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":"Q5901612$450878E9-1F71-4509-B067-3661AD636D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbc1caad17acbfbeb8a02ca0ea1f6d01194f8c2","datavalue":{"value":{"entity-type":"item","numeric-id":1040778,"id":"Q1040778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54a97a34554391ccaeefb5250b7a0f9ebc8943f4","datavalue":{"value":{"amount":"+0.83905554","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":"Q5901612$4E2A5A63-BE28-4274-8FB3-6033456C982C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50dd0939824a2bf3e37fea19f1b873eaf30decd8","datavalue":{"value":{"entity-type":"item","numeric-id":1941896,"id":"Q1941896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8192165789f522a85c36916dff7836da3601e3b0","datavalue":{"value":{"amount":"+0.82581705","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":"Q5901612$776F9538-A1F1-47D3-8CF5-38DA7E7A26EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b5429619a613a953de1940074e8b4366f53e1d","datavalue":{"value":{"entity-type":"item","numeric-id":2993207,"id":"Q2993207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db57a79b2c33bd507f35f9dce3fdcdec8d6a253","datavalue":{"value":{"amount":"+0.8222938","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":"Q5901612$581D9751-CD73-46A8-8493-DB3500D2E017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a375a9028884bca82d55545cbc5f5a504d58991e","datavalue":{"value":{"entity-type":"item","numeric-id":436423,"id":"Q436423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f6ce6ca5f1febe4b8a94379b608987c14bb552a","datavalue":{"value":{"amount":"+0.8193338","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":"Q5901612$208AB565-69F7-4701-8C88-F24CAEC222F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901612"}}}}}