{"entities":{"Q5901607":{"pageid":8009441,"ns":120,"title":"Item:Q5901607","lastrevid":40926867,"modified":"2025-04-14T05:32:30Z","type":"item","id":"Q5901607","labels":{"en":{"language":"en","value":"Integrated Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551729"}},"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":"Q5901607$648ED66E-6077-41AF-A013-29788DB7512E","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":"Q5901607$89DECDF6-45A2-4BB8-AEDE-492E830A9EAA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef10fd9c835d2edc50cf8ece7e5c8baf54cb7dca","datavalue":{"value":"1196.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901607$AC1D1947-3211-489A-A20B-65F972C34BFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901607$86FDC3A8-7D77-4C16-8688-6F09B9F04063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901607$B1D02372-4A40-452E-8B88-B81A0131090B","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":"Q5901607$BF3CCE81-3230-41AE-81E9-C5CE2EEF135B","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":"Q5901607$DBD717B6-943B-4DD1-8FDD-27E13149681D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901607$CD63DA31-79DC-4D4C-9663-E00409A8AAC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ecbd7a14c8fcb7d54ab8eee08caacb17f64bae2","datavalue":{"value":"5551729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901607$09EFC399-96E6-4061-B958-9A45D80B40D6","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":"Q5901607$B7571452-FD14-4B85-BECC-20656BE97FDA","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":"Q5901607$0273B7A5-70D1-4A3A-B43F-1623E0963602","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7834f17505de512196794debbaa63da7abf0e2b","datavalue":{"value":"W1531155000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901607$17FB8D7E-6B62-4202-AB6E-535864339D79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3267ab4ac3fab364d557efcedb8054fe67b3f56","datavalue":{"value":"10.1007/B96106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901607$28264ECD-8F11-45E0-A075-6DF29F947940","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97c2df393c93ae6260556f3da6ece8d18376ae43","datavalue":{"value":{"entity-type":"item","numeric-id":1125425,"id":"Q1125425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1fa038e605fa8490730268f57a3ef8b80ec5e05","datavalue":{"value":{"amount":"+0.8531274","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":"Q5901607$882A7A3E-98C9-47E1-96AE-FC41FEA3A459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f4fdb3b7f81e72f9966371d5c7adfa90ead5938","datavalue":{"value":{"entity-type":"item","numeric-id":4364526,"id":"Q4364526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd270196fdb0548038cf947d31b74ffab0d50ab3","datavalue":{"value":{"amount":"+0.8522622","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":"Q5901607$1690B7E3-E4BA-4C15-8FCD-1AFB737DA1A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad398db2afedcb8e8060a47e83c032820b5a5656","datavalue":{"value":{"entity-type":"item","numeric-id":4364533,"id":"Q4364533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752c989d3735758d548535ed5cdf4eb4a4c520ae","datavalue":{"value":{"amount":"+0.8506457","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":"Q5901607$8D33E3D4-39CC-48CF-804E-37C5031CFC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e8cc3ae2f7a9e90c847ebf868582b97c9666f55","datavalue":{"value":{"entity-type":"item","numeric-id":5307471,"id":"Q5307471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb82c1e7a027b82e8dcb5f8d3aed992514ea6dd","datavalue":{"value":{"amount":"+0.84748834","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":"Q5901607$98328F10-1426-4988-B85C-6C51E1DBF2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e90b1bab7414cabece2e22aa89459927a2619e9a","datavalue":{"value":{"entity-type":"item","numeric-id":4269812,"id":"Q4269812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79fc2147f4c232b690ce805c12d3d21fc73575bd","datavalue":{"value":{"amount":"+0.8455486","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":"Q5901607$691DC8A9-3217-4A08-A256-CF8E0B502C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dcfc1459c3178220e1b52f9eed8387bf60d0f86","datavalue":{"value":{"entity-type":"item","numeric-id":2971173,"id":"Q2971173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2be754cae778f09646829cdfc7f2b21f5137e81b","datavalue":{"value":{"amount":"+0.84541273","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":"Q5901607$D6A9AD57-DD44-4343-9AF7-63026A35CD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6442d5e89d0411d47ef58a6a762b691cfeb68bf8","datavalue":{"value":{"entity-type":"item","numeric-id":2948230,"id":"Q2948230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d717fb102adb7a40d8126214f6b085ca5ee0954c","datavalue":{"value":{"amount":"+0.8408666","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":"Q5901607$890E5375-28F4-4140-9BB4-E9FDCD401A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"770d7b7f464a5a060b2a076eb7953f7c70f2c196","datavalue":{"value":{"entity-type":"item","numeric-id":4851524,"id":"Q4851524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"788b0b7e1b36df6200be7e1f406f092e7f4929a3","datavalue":{"value":{"amount":"+0.83861303","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":"Q5901607$AFA8B965-F501-4B9D-8D04-88F0392D0E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60594d7b62203eed3895c9345b7f0b2522f438db","datavalue":{"value":{"entity-type":"item","numeric-id":4445772,"id":"Q4445772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dae9c2be3a74acd98958952a1740bab0430968f","datavalue":{"value":{"amount":"+0.8366462","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":"Q5901607$75BC37DC-8F1A-4FAA-B563-990CADA149BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901607","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901607"}}}}}