{"entities":{"Q5901613":{"pageid":8009454,"ns":120,"title":"Item:Q5901613","lastrevid":97696148,"modified":"2026-06-05T15:14:50Z","type":"item","id":"Q5901613","labels":{"en":{"language":"en","value":"Integrated Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551741"}},"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":"Q5901613$B906B80D-EE2F-4C0D-9A46-EC034FF008BD","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":"Q5901613$744A8447-C87B-4C31-BBE8-1CC2523EE47F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c87c74454f427d432aa7953541f389df838f0514","datavalue":{"value":"1196.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901613$A8EF659F-E24A-4AC2-8857-6B6965CA6B09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d813821bd2a7033d2ecf1abd8224ddc49daff7c2","datavalue":{"value":{"entity-type":"item","numeric-id":2842865,"id":"Q2842865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901613$63A31037-BF3D-4F5C-9D72-2A33350801A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e639d2eeaa2d3553e052d48e38290f102cbe38","datavalue":{"value":{"entity-type":"item","numeric-id":227613,"id":"Q227613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901613$47E00759-BD1A-4EBB-BCB5-28BD3F3ADA48","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":"Q5901613$859398E6-ACE2-4C4B-97F1-35F166AB0018","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":"Q5901613$DEF23F62-BF32-4C94-BC80-A9C819A696CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901613$B2253201-AC80-4389-A7F5-B7150A0DC170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901613$707CFB65-FDC1-45A8-86C2-D1E82DA75EBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad041a97323228d1e8358443e89a6103fa942152","datavalue":{"value":"5551741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901613$0296B71E-4817-41E4-A8C0-CD676C9F6512","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4138e3a677fc7dde9f63e3d3afbc71fe6f94f495","datavalue":{"value":{"entity-type":"item","numeric-id":21125,"id":"Q21125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901613$3038B182-4887-4BE1-92D3-4432E288F437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"edcace3dc89b22d58a69f050505a82c29f25cdcf","datavalue":{"value":{"entity-type":"item","numeric-id":16312,"id":"Q16312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901613$F3D5AD3E-6DD8-4C42-B355-5AE79FE15A16","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":"Q5901613$23A19576-F5EE-4F46-9109-7D13BAD98787","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":"Q5901613$90452E84-3A05-4C55-9791-1EFCDBD9C8F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7834f17505de512196794debbaa63da7abf0e2b","datavalue":{"value":"W1531155000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901613$BFDE84A2-457C-4B70-97EE-E4C7AFC6064C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3267ab4ac3fab364d557efcedb8054fe67b3f56","datavalue":{"value":"10.1007/B96106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901613$BF1623F6-422B-45A4-9048-0C0CB400C618","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a385179ac4761757cbd1cf7f88bcdca50784a3fd","datavalue":{"value":{"entity-type":"item","numeric-id":2761701,"id":"Q2761701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b64c932e407be1fd19842b0a22cff3ca69d84594","datavalue":{"value":{"amount":"+0.9640808","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":"Q5901613$51BDDCC6-5637-40DD-A53C-BE55820A1E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c045f46766c66cfbea313e621f59121300afc237","datavalue":{"value":{"entity-type":"item","numeric-id":4461754,"id":"Q4461754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6a575f7eb5c397a9b483ee74ccac8168ab9b1ba","datavalue":{"value":{"amount":"+0.9463379","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":"Q5901613$7BAD7488-0934-493E-82BB-245DF588403C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c1748d5d84903074f89593edb107a62223be61","datavalue":{"value":{"entity-type":"item","numeric-id":4868994,"id":"Q4868994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba1f52faae78a995c2ee2628cb348ca227b9736","datavalue":{"value":{"amount":"+0.9317318","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":"Q5901613$2CF07B1B-5989-46A3-96A1-428BFA5B182B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aacd65098793a535560f600115920bd376d2683","datavalue":{"value":{"entity-type":"item","numeric-id":3163560,"id":"Q3163560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0de61270be51bba8ad93c83dacef3cb7df7e180","datavalue":{"value":{"amount":"+0.91809493","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":"Q5901613$76981836-4D66-41C2-BD95-3E697DFB5B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870acb5a0171e04a9205a26c825e34273b063656","datavalue":{"value":{"entity-type":"item","numeric-id":5946273,"id":"Q5946273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd6adf12a0f8c94431ae3c20c677c8fc2b7a1558","datavalue":{"value":{"amount":"+0.9128295","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":"Q5901613$EBA04868-BDB0-4EAE-8CBC-94214F587CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bae849ab8da231f84b841758e4c313df09b0c5f7","datavalue":{"value":{"entity-type":"item","numeric-id":4761807,"id":"Q4761807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc65f4d41da0000330dbfbcc8609c58ba62ffc78","datavalue":{"value":{"amount":"+0.9083452","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":"Q5901613$77F5B78B-91FE-4AEC-95EB-26A0CC4750AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"094e47f9ea5442bcf0405217f006576b87e2c22d","datavalue":{"value":{"entity-type":"item","numeric-id":3152836,"id":"Q3152836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6789215fb34498b01b851ba528872085f27d0384","datavalue":{"value":{"amount":"+0.906147","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":"Q5901613$454F17DB-E993-4801-A158-25EAD3A6E506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d30b203d7a9aa47e832ded294aa23b8e6bdda75e","datavalue":{"value":{"entity-type":"item","numeric-id":4385603,"id":"Q4385603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95f5dedde1fe1720976b6963d031deead34be650","datavalue":{"value":{"amount":"+0.9029418","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":"Q5901613$46305B87-7889-472A-B4CD-6DE03AE32133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbb41e0172a931aef1e7f4bffc0d2c5bf35ed600","datavalue":{"value":{"entity-type":"item","numeric-id":4246005,"id":"Q4246005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7d8c1c15f9fca4177454043e19ab6c4c7b1f6f9","datavalue":{"value":{"amount":"+0.8882381","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":"Q5901613$60BDC6AE-1185-4E97-9F24-AAC3E50613CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Integrated Formal Methods (scientific article; zbMATH DE number 5551741)","badges":[]}}}}}