{"entities":{"Q5716916":{"pageid":7746470,"ns":120,"title":"Item:Q5716916","lastrevid":48628099,"modified":"2026-01-05T10:44:36Z","type":"item","id":"Q5716916","labels":{"en":{"language":"en","value":"FM 2005: Formal Methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2245878"}},"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":"Q5716916$936A0CE0-1208-4235-88AF-567F09322681","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09931771c06d46aeabc60a38e18ef709b76800bb","datavalue":{"value":{"text":"FM 2005: Formal Methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5716916$3CDB0E11-BD59-4CFE-9CE3-23C35A04D5E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6bf30b1eab59e93cedbc0d850501bbc31a494b76","datavalue":{"value":"1120.68385","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716916$C61CA682-2847-4873-B9C3-E9683075F47F","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":"Q5716916$1A752FEF-21C5-4C9A-91FE-0E0885F140BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e93cf8dacd1ede76e69913529f9bf4e8192e151","datavalue":{"value":{"time":"+2006-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5716916$0666367C-D8E8-42DF-A20A-159B39FA0DB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716916$7937F247-5E93-4162-B101-FC19DBDB26FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716916$CB129656-BC65-462E-AF1A-C6E9A038816A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716916$90594450-0FCA-4182-9A5D-AC8C6FBED2AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50fef78bf67c70fe1c9712ce40bef607aebc441c","datavalue":{"value":"2245878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716916$097BF90E-9832-4A91-BDBE-A4F2D9E3F5DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f703cf63359ecd7050cea6c21c99cfc53c4ff1b3","datavalue":{"value":"Program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716916$FA63D481-A42D-48A6-942A-A63DBFDE6833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f13a902a648a5e3b2f39d5852ec0704bb9112a","datavalue":{"value":"certified memory analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716916$1ADE9102-5E6D-431C-B964-E60AB103B904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716916$13727497-E71A-4C21-953E-367AD04EC794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5716916$918DD9D2-B894-460B-A8CC-72268D68EC95","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5716916$4090BF8A-DB63-4833-BCFE-0D81C9C77B93","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":"Q5716916$41D02C01-4C02-46D7-8847-0804B54F2F79","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3233b52d4c27ffc27fd1bfa49d7d5f3d07054b6d","datavalue":{"value":"https://doi.org/10.1007/b27882","type":"string"},"datatype":"url"},"type":"statement","id":"Q5716916$3D4578B1-04BD-4D2C-B891-F2677A21B3E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55f052cb6c18c24f5f203508a475311220b949c","datavalue":{"value":"W1497681073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716916$F27EC72E-B4B2-4005-B2BE-70B50B18E4C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eaa007e633ec1708432ed373ff88263c1941e73c","datavalue":{"value":"10.1007/B27882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5716916$00108453-9251-424B-972D-9AB1C5A494C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67c011ce202f24d7b1156a23247f9852a88be8fd","datavalue":{"value":{"entity-type":"item","numeric-id":5898176,"id":"Q5898176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bdb0b4126b61b8ae4669fd49ee81314b4b33aa9","datavalue":{"value":{"amount":"+0.8111428618431091","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":"Q5716916$6D93BD71-A616-4962-9299-41DEC9893A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f49f78ce79e3f09e8799733e1027e4aab21dc99","datavalue":{"value":{"entity-type":"item","numeric-id":3184788,"id":"Q3184788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cead857c4b9d736411412baafba893788b28bcdd","datavalue":{"value":{"amount":"+0.8056582808494568","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":"Q5716916$F52E6300-EC46-49A9-A948-006BDA6801F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93972f99f4ccc3c31ac89dd80f46d521d4edcb66","datavalue":{"value":{"entity-type":"item","numeric-id":5493388,"id":"Q5493388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda88b7c3fda0c264b0d9f90519377bbf49fbc4b","datavalue":{"value":{"amount":"+0.7655202746391296","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":"Q5716916$23B5799B-60DF-4D05-AB31-C9990BD53ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22e44dbe8372a6af1444e365e211c442dff80025","datavalue":{"value":{"entity-type":"item","numeric-id":5705934,"id":"Q5705934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbaf9ce01a83c022912cfd5803420a09db96fd9c","datavalue":{"value":{"amount":"+0.7618135213851929","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":"Q5716916$CFFFEE5E-9250-432C-8451-4217227A8C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d734c03f5f6d9083ee8afcf391a52ee9c864bbe5","datavalue":{"value":{"entity-type":"item","numeric-id":5178852,"id":"Q5178852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"248189f9fd41dae1630b2180bab5c414477c39e1","datavalue":{"value":{"amount":"+0.7613292336463928","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":"Q5716916$E5705734-ED79-451C-A269-1CE862F8C41D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5716916","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5716916"}}}}}