{"entities":{"Q3681909":{"pageid":5711815,"ns":120,"title":"Item:Q3681909","lastrevid":50100124,"modified":"2026-01-12T22:48:24Z","type":"item","id":"Q3681909","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3903944"}},"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":"Q3681909$44E8B270-CDBC-4C0C-9C8B-C0836B2BC4A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e90f0d238343408ca5228cc9f1bd941f197583b4","datavalue":{"value":"0566.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681909$19DEFA0F-A9EF-4BE5-AA80-DCEFA1A8E05A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6066cea2292dad22804c025246b70830e1a1139","datavalue":{"value":{"entity-type":"item","numeric-id":439941,"id":"Q439941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3681909$EB4B6706-E14C-43AE-A657-105EC1C3B79E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3681909$13AE2B48-0F40-4098-93F9-16AD969DA467","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681909$ECA32922-3CC7-4E2E-BBCA-5E5A43B8C681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681909$9F4F9586-C2FC-4BE2-B70E-4E32AF5CBA87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10f6a964268010a31f5c64268a90e3e8f185d604","datavalue":{"value":"3903944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3681909$07C9B182-4080-4371-908A-02ED3285C2F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c30c9919b52328fb456f2f74f30e404352b5ba74","datavalue":{"value":"proof system for CSP programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681909$32C54E20-7EA5-4818-8B2C-116795AD1E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681909$09E19960-0E1B-4ACC-8DB2-1ACBAD3C569C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4734a47521c48b7b32ae545a74ae18917855b200","datavalue":{"value":"total correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3681909$5C885FB9-397C-4237-8AC0-F40E54D766FA","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":"Q3681909$9A2B0C62-90FB-4275-8536-4B12D3B280C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad16f45463e13c094618bcfe21faf97c7c861684","datavalue":{"value":{"entity-type":"item","numeric-id":1079011,"id":"Q1079011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c694ca184c8111ac65f90ca2fc1cf7ae529f3ce3","datavalue":{"value":{"amount":"+0.8670446872711182","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":"Q3681909$EB736517-189E-4734-8B36-9F4F9090CD2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8efc8c7430246b76b9c5d04dac1dde5a944c611","datavalue":{"value":{"entity-type":"item","numeric-id":3347264,"id":"Q3347264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af79753d0651a5246ebb395dd6079adb2ec7aaf","datavalue":{"value":{"amount":"+0.8604759573936462","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":"Q3681909$B8F09999-C3CA-43E1-8D27-9C4C6297BAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a54033ca11b10d6cbc68a1024d7df16b9217d30","datavalue":{"value":{"entity-type":"item","numeric-id":3731019,"id":"Q3731019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d6bdb61f49db6743ce1c3e692681f7f4a0893b9","datavalue":{"value":{"amount":"+0.8330782651901245","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":"Q3681909$563A0141-E7C7-45AA-967E-C2220B3F9A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ae772c6a3459e9fbabf3f56064e1b0c1cd84e9c","datavalue":{"value":{"entity-type":"item","numeric-id":5198499,"id":"Q5198499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60c4942e636cf251a09d509c81b26f5273a94055","datavalue":{"value":{"amount":"+0.8215429186820984","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":"Q3681909$588F5BE2-4F06-4189-B641-6B13F4B08B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c5d0df6fe669a15d6b97018db584c41fd2f339","datavalue":{"value":{"entity-type":"item","numeric-id":3343421,"id":"Q3343421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2759df48c1b1be821a5a4f14a091dd8f4c11a732","datavalue":{"value":{"amount":"+0.8064111471176147","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":"Q3681909$1DDAD6A1-0FE9-4BAF-BF48-74E6CA99DC10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3681909","badges":[]}}}}}