{"entities":{"Q4031327":{"pageid":6061063,"ns":120,"title":"Item:Q4031327","lastrevid":55225585,"modified":"2026-02-05T01:12:04Z","type":"item","id":"Q4031327","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 148938"}},"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":"Q4031327$F4C46A7B-E9FA-45A4-9AC6-BE768C97C543","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b2cef98db89dcec18693e52036bbb1ad60fae362","datavalue":{"value":"0791.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031327$186493AA-7B01-4407-93BE-D74F2DA7853D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da5325cc36b78f25c273c9ac6495e67d48861a69","datavalue":{"value":{"entity-type":"item","numeric-id":2018422,"id":"Q2018422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4031327$3B5C5245-144B-4477-AFD3-5183D26701F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4031327$1AB66820-E529-44A9-B10A-23987028CFC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031327$ADB64FAC-656F-4AFE-BD3F-A4AE7E034698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031327$50612F22-D999-42F4-8E31-AF08D30E8742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031327$FE14D305-2453-4622-BF09-D2726F76D69B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4281e8329638734b66b58e33c27ad65b37f2024d","datavalue":{"value":"148938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4031327$46D507DF-4634-4BB7-84D4-1B05B642E09B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"707a924c1b5d4d79010d6723fcc4df62213e5d5a","datavalue":{"value":"formal analysis of software","type":"string"},"datatype":"string"},"type":"statement","id":"Q4031327$75ABBD2B-27B3-4B52-8B03-4D4C17860268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb49467b0eaac11205bea2d762375c665f5d0a6b","datavalue":{"value":"software engineering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4031327$2B2735BA-7B62-4182-AFC6-FBFF36CD5999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4031327$41980ED5-7006-417D-A42B-031C58FD8032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77a7d7d8472340b211513bd3e4e6350c75eeea48","datavalue":{"value":"analysis of correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4031327$8C55A31C-F394-4654-8315-BB0011F7BFB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4031327$897D6843-9F9E-4A75-BDC8-851B3B29A2E0","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":"Q4031327$638D5B5F-76F9-456C-9613-4C333F3FB65A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"157640a3dc95f22be3775391d69db1ab13ff75aa","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a3c3d445b653085f9f5fb768cd3ad48c1ec68d6","datavalue":{"value":{"amount":"+0.9439645","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":"Q4031327$38E39236-6C42-48A2-845B-3DA687F856F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d885a6b1bd128d2ae79869745e4b7954534fe14","datavalue":{"value":{"entity-type":"item","numeric-id":5930938,"id":"Q5930938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50f0f942d87fb1d934c4d5df387a3f4c61f0e0e5","datavalue":{"value":{"amount":"+0.92696714","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":"Q4031327$5505B7FF-6547-4ED0-9A2A-644A5CBBB2E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f12f09a85a3e80166149c364db6599477a28da1a","datavalue":{"value":{"entity-type":"item","numeric-id":3677141,"id":"Q3677141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb18859cbaf52ea551f41a5abcef68ab9dbe6db9","datavalue":{"value":{"amount":"+0.91874653","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":"Q4031327$B0B0A769-3A94-401A-A422-97F1DDE57ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844611b28045e4d89e73d9c7828d2270a11c0b8f","datavalue":{"value":{"entity-type":"item","numeric-id":4809041,"id":"Q4809041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8238e77a08fa3f2f9c129ecade3b01550d82017d","datavalue":{"value":{"amount":"+0.9169644","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":"Q4031327$BF5BFACB-F699-4EC9-AEC0-64B5F01AB11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f11e5ae3dbb6281a837da9b0d3b5443db23c8145","datavalue":{"value":{"entity-type":"item","numeric-id":2441713,"id":"Q2441713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e7c05636a9c635a7ac7b7483a070c2ea0dccf6","datavalue":{"value":{"amount":"+0.9166162","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":"Q4031327$EBBA0940-3C7F-483F-BC41-8E0D68454CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6223bf91c46c04c0011b1fe68d8bb668a4ff7a46","datavalue":{"value":{"entity-type":"item","numeric-id":4907867,"id":"Q4907867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8f4856d5f84c42a1f84ae10d8ff543f93769a49","datavalue":{"value":{"amount":"+0.91463643","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":"Q4031327$BC5D5327-CEA4-4914-A21D-CD48AB66C8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c6dcb26f81f28ca3adc206ce4640d34ec6e1800","datavalue":{"value":{"entity-type":"item","numeric-id":4716201,"id":"Q4716201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bfe9a382f61ee3856b2ce188fa650ba01948a6e","datavalue":{"value":{"amount":"+0.91311556","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":"Q4031327$EF6D939D-5A8B-4DF6-B1A8-35999931C69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f1ccc7e86a83a5f27d18b7c8109122b742abd8c","datavalue":{"value":{"entity-type":"item","numeric-id":2220776,"id":"Q2220776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0504d138ea16e62d806c8bd8041030faff9d93","datavalue":{"value":{"amount":"+0.9119973","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":"Q4031327$25EFDFFD-B0B0-4075-BDF4-2280DA682C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608b9093d236f9882b3ec155317f397ae3bd9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":3623967,"id":"Q3623967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"490ad81412b861bfa514be72fe6468e7b60fe899","datavalue":{"value":{"amount":"+0.91043484","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":"Q4031327$5AA788DF-FAED-4B00-954A-8B44FD5CAA4F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4031327","badges":[]}}}}}