{"entities":{"Q5901620":{"pageid":8009472,"ns":120,"title":"Item:Q5901620","lastrevid":50649629,"modified":"2026-01-14T16:44:09Z","type":"item","id":"Q5901620","labels":{"en":{"language":"en","value":"Integrated Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5551753"}},"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":"Q5901620$F05835FE-7CC1-4C1B-A99D-1FB28453007B","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":"Q5901620$639F2A3A-4306-40A2-890B-C7F87A2A6AD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e34622b92ef6d9e385e275dd989c7286057d2ea8","datavalue":{"value":"1196.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901620$FA1AEF9B-14FA-4F72-A79E-867AD292E772","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce58584766758a970cac8a8766451672584cda61","datavalue":{"value":{"entity-type":"item","numeric-id":3625034,"id":"Q3625034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901620$A127D9EA-9D67-45E7-98A7-5341A49EAF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc222a71d2f6cc2e0165a87843f1851796ba7eb9","datavalue":{"value":{"entity-type":"item","numeric-id":3625035,"id":"Q3625035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5901620$8C867FCC-9946-4C87-AF19-61C296CE1968","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":"Q5901620$38F46739-412F-44E0-A3FB-10B80D989B18","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":"Q5901620$D5AADFD3-EB5F-4881-8845-4DCD78F44A9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901620$0E6F9B7C-1324-4A92-B52A-BDD380F24B32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901620$50A20842-9A47-4D57-8E47-8DE695D0ABAD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78f3c0256b9580ffe953a3219f96d4464384dee3","datavalue":{"value":"5551753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901620$260395B6-35ED-414C-9ADC-EC9E193CFD90","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211c0a282ed1c362ea9e705108f2140d599deb1b","datavalue":{"value":"assertion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901620$9B362DFF-280C-43C4-B304-3B0C5D270CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901620$188BCCF8-55ED-423E-A697-6CC6C17D5143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901620$2F8A68DF-5A6B-437E-9262-39158DDDD3BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901620$17ADF465-5122-496F-9125-4D9024A4CDE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901620$410BEDAB-5736-459A-BD66-E92C6AE7C301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f06363d0bfcfc2c116e01ff353e45d7091966873","datavalue":{"value":"programming with assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901620$29C766C0-A558-4A8A-8219-D68536A906A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e35e5121dac5b5112ad8f995a47a33b5a1a56c94","datavalue":{"value":"meaning-preserving transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901620$F53D42E7-AB2C-452F-86D8-066060269801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0b02200c6b6f46ca6bdfe1551afa6691b5d3cb9","datavalue":{"value":"testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5901620$ADE46834-CD4C-4876-9E74-693038FFE872","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":"Q5901620$4FF1394E-D2AC-4F70-8F8B-42901E1F3F9D","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":"Q5901620$65CF4D17-A90F-4169-B70C-4FAE4EAB314A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7834f17505de512196794debbaa63da7abf0e2b","datavalue":{"value":"W1531155000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901620$33ED9FD2-9D01-44D5-A831-92E2089D96C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3267ab4ac3fab364d557efcedb8054fe67b3f56","datavalue":{"value":"10.1007/B96106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5901620$9ACE5D6C-D65F-4CE4-AC9B-634C2DE8DE4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13fbe7ce758dee5db32ee750644842cf5b4283ef","datavalue":{"value":{"entity-type":"item","numeric-id":2723933,"id":"Q2723933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f57a158842fa99142afa756c9b07c47c30685e","datavalue":{"value":{"amount":"+0.7193859219551086","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":"Q5901620$11662960-E497-43D9-9F7E-83B806D6194F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ceb98e9f1f7b87ac262b76da86297b305c0477b","datavalue":{"value":{"entity-type":"item","numeric-id":5387906,"id":"Q5387906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da6f06c1eb388c4be1eec951b17d11ae68b599cd","datavalue":{"value":{"amount":"+0.7182809114456177","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":"Q5901620$6BC15C04-EC31-487E-A90E-44C4F2ED1A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9710f4030e49187b39ca798ce2f3b5a0d178205b","datavalue":{"value":{"entity-type":"item","numeric-id":3067480,"id":"Q3067480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99271a659fb9c690f2a6def8ab29ae7a28cf8fbe","datavalue":{"value":{"amount":"+0.7172505259513855","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":"Q5901620$5862677A-EDB4-4FE1-848D-2E863DC31465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea95e49f05526edb7368d843c6ed27a9c17b632","datavalue":{"value":{"entity-type":"item","numeric-id":4923522,"id":"Q4923522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7b94aecae6934fce4049e91995c673cf7d242ca","datavalue":{"value":{"amount":"+0.7122169733047485","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":"Q5901620$52F758E7-9549-44B7-9D8F-9E2356A29410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4e75fd6a7a667c878559547437708d6953acf8","datavalue":{"value":{"entity-type":"item","numeric-id":4702568,"id":"Q4702568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f21428534094a96abbaccfd3bfa22a7f3e0d2a5","datavalue":{"value":{"amount":"+0.7108871340751648","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":"Q5901620$6D242285-A56E-4735-9E8B-FFCFE57A326B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5901620","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5901620"}}}}}