{"entities":{"Q5901609":{"pageid":8009445,"ns":120,"title":"Item:Q5901609","lastrevid":50649611,"modified":"2026-01-14T16:44:08Z","type":"item","id":"Q5901609","labels":{"en":{"language":"en","value":"Integrated Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551732"}},"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":"Q5901609$3A5462F9-9294-4C8E-8641-DB1A3BC52547","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":"Q5901609$C925C03C-738D-4745-B069-8B6DF05F7F76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed43c4991567ebea96d3f1a9b17f01f7c633488d","datavalue":{"value":"1196.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901609$A600C783-C362-441A-B10A-E8CB5FB8A653","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"262941dda189ef17db405fbd95aa5c87ce771f20","datavalue":{"value":{"entity-type":"item","numeric-id":3625028,"id":"Q3625028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901609$7410FB50-4BCE-4DD8-A674-0338F0AD591C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7adeca81e015c1557520dffe4e77927ba591c4c6","datavalue":{"value":{"entity-type":"item","numeric-id":175411,"id":"Q175411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901609$1832E4B7-67C6-424F-B3E7-88F965B17985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f98a6fdc4ebcefbbd3979701deb01ce817be9a62","datavalue":{"value":{"entity-type":"item","numeric-id":175412,"id":"Q175412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901609$3ADC7FD2-27CD-4987-8A2B-409460CDFD5B","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":"Q5901609$6023EB0B-DD93-4379-A1A6-BEA9360994B0","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":"Q5901609$F578DD76-12B7-477F-A103-038B9BCA6658","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901609$19D503FB-96FA-46F5-A640-9404416A525A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901609$4BA3FBD9-D61B-4081-99FF-36E503CE9E97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"644390d64d4b62b3be9dc3fde2f707a32d571f64","datavalue":{"value":"5551732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901609$E6D59BD7-8A9A-4FFC-BE1B-B6418F5C1493","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f51ae30d033b46d4643bfe8169d26f31c753f6f9","datavalue":{"value":"integrated formalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901609$BEC4E019-DFD4-48DC-B447-13A7C23F2E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4d0f36e94197dcaa2e0b917d53e89abe653b10b","datavalue":{"value":"CSP\\(_{Z }\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901609$B1AE58D1-9FBB-46D7-A0A7-990AF169E5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901609$2A2F8D8A-C5D3-40B5-9053-BF71D02B6374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901609$F22F7FC5-250B-4B25-A03F-437ECB51213C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901609$2BD73DB7-7FDA-4231-B549-0F4BC7529E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302a42c8a61d3660ede2f3a51c558b802f2a3aae","datavalue":{"value":"data abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901609$12EE67DA-1EBC-49C6-8E60-341A2E3659F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19bbbdcf1c701541c2a3103ebcd643f1515606d8","datavalue":{"value":"tool support","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901609$D6734BE1-B76B-4924-8EAD-8D71215E655D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901609$2E5138BF-A891-4D27-B78A-765CE8073B75","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":"Q5901609$EC4DBC60-8DF9-4F8F-99EB-B87295EA1102","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":"Q5901609$9DE76CCB-A151-41E5-AF48-85276474C1D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7834f17505de512196794debbaa63da7abf0e2b","datavalue":{"value":"W1531155000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901609$2080AC76-8BF0-4EF6-B5B7-5B10F6B76E9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3267ab4ac3fab364d557efcedb8054fe67b3f56","datavalue":{"value":"10.1007/B96106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901609$487D6CA9-D03E-4BE4-8BE0-96F4AB193875","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9848a8705e3baf92ddf5a77132061d5bd14e249","datavalue":{"value":{"entity-type":"item","numeric-id":4808828,"id":"Q4808828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dedffac2c576efdf8395110b8fdcfe3ad54808b2","datavalue":{"value":{"amount":"+0.8750338554382324","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":"Q5901609$59969D7F-AF67-41E1-BA51-70E71CEA72C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f95c2032deba558021f0fa34f0d173e2b7aa75","datavalue":{"value":{"entity-type":"item","numeric-id":3651280,"id":"Q3651280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60fd07227666d07d775f7ec81993d73717dfa68a","datavalue":{"value":{"amount":"+0.8164311051368713","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":"Q5901609$D72517BE-D738-48B2-A167-0137939DA95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3624450704b15f49e29822b2d23bb0f5f947adb3","datavalue":{"value":{"entity-type":"item","numeric-id":5926768,"id":"Q5926768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46740e913cc60172674aa2bd62560995bd89ac72","datavalue":{"value":{"amount":"+0.77692049741745","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":"Q5901609$B384BD5E-0E26-4FA4-8D1E-949C190318E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ae6214dfe2246e95631454730d4191066edb51b","datavalue":{"value":{"entity-type":"item","numeric-id":2810979,"id":"Q2810979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d99bebad05446dc00ad994640c3724e8f82e2d7","datavalue":{"value":{"amount":"+0.7621673345565796","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":"Q5901609$6BF98203-FA5C-4B9C-A83F-86FC45D79D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72643f302fc6e37e706388125bae33c6a4c94f14","datavalue":{"value":{"entity-type":"item","numeric-id":4536723,"id":"Q4536723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c477001cf4b56a3c13cdeefc00f0393125872f","datavalue":{"value":{"amount":"+0.7470300793647766","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":"Q5901609$619CE210-ED7C-484D-B59E-8F8C9F066775","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901609","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901609"}}}}}