{"entities":{"Q6567754":{"pageid":14178909,"ns":120,"title":"Item:Q6567754","lastrevid":55703908,"modified":"2026-02-17T21:20:18Z","type":"item","id":"Q6567754","labels":{"en":{"language":"en","value":"Mechanized formal methods: progress and prospects"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876713"}},"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":"Q6567754$DADE9AC2-C425-4E55-A725-9931E6CF03E4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5a7f430ac068dba20aa322a057d8b62ee95122c","datavalue":{"value":{"text":"Mechanized formal methods: progress and prospects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567754$3843F99F-2123-45D0-8293-83F90C4285AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41bd9ffc0ed0579206f8d2dc13da2dbf5630fed3","datavalue":{"value":"1541.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567754$3239B6F2-5FCC-41D9-8F35-19F4A9C5718E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8226139e5f95e5d343dbaf96fc655115c0f32c71","datavalue":{"value":"10.1007/3-540-62034-6_36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567754$2A86934A-6C2A-46BC-93BD-30A2CDCF4B77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"45e26016f41a9add44c87112d66c917b6d5eb85b","datavalue":{"value":{"entity-type":"item","numeric-id":2754110,"id":"Q2754110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567754$69C8A24D-514C-4E73-9C88-087E61A4F80C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567754$7C232AFD-A0C1-4463-B085-15FDD6F3938D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567754$5D168D1B-96A0-4B25-A538-5F99CFE912E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567754$CF707361-3D1E-4CA6-A633-FE7714AC32E5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f82dc7af32e1a5d748d631caebb70b898cebd44f","datavalue":{"value":"7876713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567754$00167748-AF4C-4B03-9E04-D9A2AC1FDBCA","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":"Q6567754$405451BE-D968-4DF2-8879-A4D0E9AEA056","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b32a99c10e32559e3ab4db22c7269a43cf71de7","datavalue":{"value":{"entity-type":"item","numeric-id":1920213,"id":"Q1920213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567754$38F33C0C-207C-4328-A283-48AF7943C6BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a98e1d68003b0040c15c163e66f3fd9578fb9386","datavalue":{"value":{"entity-type":"item","numeric-id":3997074,"id":"Q3997074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567754$7260D15B-7C5A-4F26-991E-B674F1D72529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567754$10BF4D62-C4F9-4A2F-BD4B-0FBA6826E0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed625e8b390cbc97fab52f504f2eb0f5cb3595c5","datavalue":{"value":{"entity-type":"item","numeric-id":4843402,"id":"Q4843402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567754$4E6B5B62-1E66-4298-92D8-76774569D2DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c713c84ebc4d139b30309042596d2f27933b9eb","datavalue":{"value":{"entity-type":"item","numeric-id":2563365,"id":"Q2563365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567754$50D3B872-AF06-4342-880D-6123D1948B89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff9cf26616ec71c3ac535804dd89c30dd46fd4de","datavalue":{"value":{"entity-type":"item","numeric-id":5498750,"id":"Q5498750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b3deca3c05c33e5d54d0318b47ae77826efe5f6","datavalue":{"value":{"amount":"+0.7715974450111389","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":"Q6567754$E7CE08E7-6F75-4231-B78F-25B22D304425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beb74eb51fc4e08f9ff2236d0723886d6f837b04","datavalue":{"value":{"entity-type":"item","numeric-id":5196885,"id":"Q5196885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eacd7da038f083a25e54919f24c9c8d4a925beb","datavalue":{"value":{"amount":"+0.7686049938201904","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":"Q6567754$84D461DE-1E8A-4089-A9A5-9201B05B2E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a14bbc2415120cf6e4ae74ad733245df7d23b91","datavalue":{"value":{"entity-type":"item","numeric-id":5034385,"id":"Q5034385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824a55bcc8460efd0544cb2cc77cc3a3e308057c","datavalue":{"value":{"amount":"+0.7623466849327087","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":"Q6567754$EE46B2E2-1F33-4F54-9BF3-1B016263C1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb43334ac7746281204b8e0cbcfbfca6907ac941","datavalue":{"value":{"entity-type":"item","numeric-id":5493260,"id":"Q5493260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841a364b2574531a9ca9eccbb384f434a357d666","datavalue":{"value":{"amount":"+0.7584877014160156","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":"Q6567754$47E9B58C-8463-44F6-B698-DC40C8F0EF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b5a640b2aa08a40f52b7762342761ddc44de8bc","datavalue":{"value":{"entity-type":"item","numeric-id":5312945,"id":"Q5312945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b39fc902e98f7a1a837ed7b2aabbe9f314401e1","datavalue":{"value":{"amount":"+0.7502437233924866","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":"Q6567754$E19B915F-AC27-4514-AFC2-EEEC4DB821C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567754","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567754"}}}}}