{"entities":{"Q5901618":{"pageid":8009467,"ns":120,"title":"Item:Q5901618","lastrevid":50649626,"modified":"2026-01-14T16:44:09Z","type":"item","id":"Q5901618","labels":{"en":{"language":"en","value":"Integrated Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551747"}},"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":"Q5901618$6F97F9A2-6285-4E96-8E66-9E7ED51BE912","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":"Q5901618$3608A60F-DDA1-470F-A007-96F7238D8AF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bd59c971bffa4de0f3dc325c07534a049f8351bc","datavalue":{"value":"1196.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901618$FFBD194D-7483-4A75-95C9-C7F5B6D79BDA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2786704b3b74043997659c4409f084037af9abb","datavalue":{"value":{"entity-type":"item","numeric-id":276463,"id":"Q276463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901618$5D8B6C89-5399-40AA-94B2-39BD521C6202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6566f7241c7ed7c04cc74ecd005197b6f32908c7","datavalue":{"value":{"entity-type":"item","numeric-id":295007,"id":"Q295007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901618$F6E8D1C8-D61B-45C4-8A7D-58A6A405EFC4","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":"Q5901618$F63F622A-5E84-445C-9E55-8D9344E79611","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":"Q5901618$F94F5AE2-2332-4F86-B1AD-449204B6D3BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901618$9DE2D782-CBAD-4E82-B064-F19C5C3AB30F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901618$4A2E290F-DD13-4A71-A3F8-7848BB89CF88","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b4478d8b1f541cbbdd73505ee20c0b313bfe54c","datavalue":{"value":"5551747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901618$760E5C08-28D7-445D-8A1A-80D7F3701825","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":"Q5901618$29A6E436-4D45-4147-AC2B-6419693241B5","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":"Q5901618$5AC1B90E-788F-4EB6-9422-7ED98B074E25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7834f17505de512196794debbaa63da7abf0e2b","datavalue":{"value":"W1531155000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901618$438E9B7B-D8EC-4BF8-B6C0-E2A3F31F7C35","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3267ab4ac3fab364d557efcedb8054fe67b3f56","datavalue":{"value":"10.1007/B96106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901618$D32BC0D3-4C88-4DC1-8800-324C955017AC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beeff9edac3bf6d71a5fd0a7b8613924bbe193af","datavalue":{"value":{"entity-type":"item","numeric-id":1815427,"id":"Q1815427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c17100a72eb276ac9042ced9810f0d05fc5c8c","datavalue":{"value":{"amount":"+0.7714220881462097","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":"Q5901618$EC6D9263-8FC6-4A53-851F-1DF939007857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c55f85f53393bee55e959bd25fa8ad7bd3f4cce","datavalue":{"value":{"entity-type":"item","numeric-id":4518411,"id":"Q4518411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61fbbee666e0c108fbe02b30dc03f87bc18b1c5b","datavalue":{"value":{"amount":"+0.7566519975662231","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":"Q5901618$093F69D7-2AB5-4276-9289-7452C317F526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c5ec15ee0f67fbf59b664154ed71f6505c11ee","datavalue":{"value":{"entity-type":"item","numeric-id":4383696,"id":"Q4383696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4838299de7814fd2f7c6a5ea75de51dced8ec21","datavalue":{"value":{"amount":"+0.7529222369194031","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":"Q5901618$8C8B22C4-F593-4550-9BC5-557552130D19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"703098d28f9d515f26515b8f0364c519314d5033","datavalue":{"value":{"entity-type":"item","numeric-id":1801315,"id":"Q1801315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4838299de7814fd2f7c6a5ea75de51dced8ec21","datavalue":{"value":{"amount":"+0.7529222369194031","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":"Q5901618$5083969F-942F-425C-80CC-906A08FEC47F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4500d149d6e08f4777983a3ea471b80e6a88a668","datavalue":{"value":{"entity-type":"item","numeric-id":5096734,"id":"Q5096734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea767ad7ac640ecb9d8a21d67c91b1b0785621ae","datavalue":{"value":{"amount":"+0.7335037589073181","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":"Q5901618$7D5C06B1-9E0D-4C63-898F-D5F7BB0DB840","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901618","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901618"}}}}}