{"entities":{"Q5901616":{"pageid":8009462,"ns":120,"title":"Item:Q5901616","lastrevid":50649620,"modified":"2026-01-14T16:44:09Z","type":"item","id":"Q5901616","labels":{"en":{"language":"en","value":"Integrated Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551745"}},"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":"Q5901616$1CCE4733-CD7B-4C89-AFC1-6E55E67ED131","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":"Q5901616$7F7753BA-9F64-4565-9513-6509BBD60104","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"70793eca1dccf73c0e04fa55672a599ce56b8d28","datavalue":{"value":"1196.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901616$A3AB929C-2709-481E-971C-392360EC3F19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9cf72606d5e33a59b8f2145b396c1e5359ff7df","datavalue":{"value":{"entity-type":"item","numeric-id":3625030,"id":"Q3625030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901616$3EBE3B9D-D37D-4835-93E5-0979699BBBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf7c51d78fec1b8c489cc32c0c92d005318a1112","datavalue":{"value":{"entity-type":"item","numeric-id":557827,"id":"Q557827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901616$3ADF2F43-E03C-4B84-815F-F763F64FE27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d9cdcc9d8e785a3c138557af363711b767e822d","datavalue":{"value":{"entity-type":"item","numeric-id":911321,"id":"Q911321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901616$C98D91A1-0ED2-4EFA-A2A6-E7A5964296A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415e1aad6a37985b7be56fd12352d0f38940dec0","datavalue":{"value":{"entity-type":"item","numeric-id":225081,"id":"Q225081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901616$6AADFF4D-AEBC-4F87-BF74-160FDB2679C9","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":"Q5901616$0ECFA491-1FE9-408E-80E8-FFCA0F9E93C2","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":"Q5901616$3E6F882E-5B85-44B7-B728-B5CE1568471A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901616$1D0A02B7-F78A-4A5F-AF6E-E27C9AEADCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901616$8F9DB160-51E6-4014-9239-DAACC271F6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901616$EA91ED78-0F36-43C0-9586-7A3ADBB45EC4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8657fde418fe398dd1fa878227e33ca5ebdaea8c","datavalue":{"value":"5551745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901616$9E4C3117-6634-48C2-A9A3-B836035C4EB0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"460a99cd3f488d806b7aad7197bbd49003360539","datavalue":{"value":"hardware/software partitioning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901616$54E2349F-F153-439A-BC72-2E1AC7374B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901616$14E0E5F4-CD43-44CF-B868-4646285485BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901616$BAFD74D0-7BB9-4669-AF57-0DFCA873FA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b938dfa52cc4dde211f8bda3d75afd44dc6a9852","datavalue":{"value":"scheduling algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901616$4733CEAF-E74C-4BC3-A46D-90B097C87B55","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901616$33072C38-86EF-4E7B-A60F-4655B65D2D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901616$6E084C7E-72D6-4948-AC8F-3786E9C77631","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":"Q5901616$DC777781-74E9-4895-B0CA-54B556E97C42","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":"Q5901616$A26498E5-5D7A-4DC8-92A9-34063B89E06C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7834f17505de512196794debbaa63da7abf0e2b","datavalue":{"value":"W1531155000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901616$04BF49E2-9566-435F-BE66-ABD4E5F4287F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3267ab4ac3fab364d557efcedb8054fe67b3f56","datavalue":{"value":"10.1007/B96106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901616$E990F22C-AF20-4A76-946B-C2A5619052B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee515c0fac11413e5f387aa5530152d87ed6357","datavalue":{"value":{"entity-type":"item","numeric-id":2432215,"id":"Q2432215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5da69dd40cf569e662cdcdb6eda6802ad829f07a","datavalue":{"value":{"amount":"+0.9725074768066406","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":"Q5901616$D9CD168D-5705-438B-82C0-D6FDE99A9DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73252d81d4a6d344e5d70306ae8950650c72af3","datavalue":{"value":{"entity-type":"item","numeric-id":1878913,"id":"Q1878913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4b4a1669cfe18bcff2a2bb9d819e571bd2f65f8","datavalue":{"value":{"amount":"+0.811068594455719","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":"Q5901616$C4CC8450-B6D1-476B-A08A-84DB63C2C817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fe82d67057d670a9356bbc6c88cfcd26f64c555","datavalue":{"value":{"entity-type":"item","numeric-id":2461561,"id":"Q2461561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a65528e4e91dcf63a7284022fcdb3fa0406d2c70","datavalue":{"value":{"amount":"+0.7899289131164551","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":"Q5901616$C9394979-AC72-485B-8885-DD60D06C83A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba8b89e09d14254f572779467fcfc30430186f40","datavalue":{"value":{"entity-type":"item","numeric-id":4939105,"id":"Q4939105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a7d74b0ef49f05478bebee5bbb53046d1bf503","datavalue":{"value":{"amount":"+0.7763031125068665","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":"Q5901616$3BB68E02-447F-493D-BBFB-96C507010D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2234ceec9d6b6b1e15ad171f0ba117a9c3dca48","datavalue":{"value":{"entity-type":"item","numeric-id":1613267,"id":"Q1613267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1519276d8df48c43f577c9cc65b4ec7fcf41d0","datavalue":{"value":{"amount":"+0.7718631625175476","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":"Q5901616$027F01A2-2920-418A-93F6-487B43FB3175","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901616","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901616"}}}}}