{"entities":{"Q6611955":{"pageid":14223112,"ns":120,"title":"Item:Q6611955","lastrevid":55759915,"modified":"2026-02-17T22:18:18Z","type":"item","id":"Q6611955","labels":{"en":{"language":"en","value":"Introduction to the special collection from iFM 2022"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7919836"}},"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":"Q6611955$653E9979-1B3B-467D-AAB5-61150755022F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5a95887d7cef6f23750dbfe33b0fde33078f38b","datavalue":{"value":{"text":"Introduction to the special collection from iFM 2022","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6611955$779FA486-1DC0-445C-9181-EDB2F8220F6D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82003bcc2900c3d0aa081c2921b048cefccdf23f","datavalue":{"value":"10.1145/3622995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6611955$18678A34-80AB-433B-8FEA-F2C18AC96905","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea73710e75de038367ca4babce17a988d124fe92","datavalue":{"value":{"entity-type":"item","numeric-id":1624586,"id":"Q1624586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611955$FD7F575C-D1E7-49FC-BED9-FADEC3B1B85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b4ddb4e18c709d52412f29e118ee0635e94738a","datavalue":{"value":{"entity-type":"item","numeric-id":246443,"id":"Q246443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611955$CAD2CCCD-D274-4664-BB1E-8494558877B9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611955$3117171E-7B26-4730-8623-8A07339EAE6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa77625b6793398e9785907ea2f3653fa0fbf243","datavalue":{"value":{"time":"+2024-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6611955$5FC98982-13DB-44F3-BED1-C9C9C2548FF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb92a23a58a049f3c204d4eddc79bea9d2a42861","datavalue":{"value":"00Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6611955$197FC705-2837-47F3-A7B3-D8E9063ACBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6611955$2107C9B9-1942-4D24-A847-5E11B305389A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aa7512c664844924f849cf29935359a8ea99b76d","datavalue":{"value":"7919836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6611955$BB19243F-43FC-4A08-A2B4-92D0A7710FAD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4da41c8b6ea72247a4511ba36fa94230c2e6cb3","datavalue":{"value":"integrated formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q6611955$5683547A-0CCF-4124-8F2C-770F58EBD1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6611955$D1D91B8D-4077-4063-8645-5E6C33A2C59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dca5cc682e76d80a491afdf82202532c8173882c","datavalue":{"value":"static analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6611955$4E1147E3-FE47-42BE-9481-9BCC2861DB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6611955$736105CA-4CAD-44D7-9BE3-52A6BA35177A","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":"Q6611955$733E4776-2CD6-4082-8D6F-A6C1271D9003","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd4cc864a332ab0e061dce9695eb7f0b10571ab","datavalue":{"value":{"entity-type":"item","numeric-id":5895137,"id":"Q5895137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6b94d5cdd02f1387f7638f9dfebe509b767df1d","datavalue":{"value":{"amount":"+0.704856276512146","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":"Q6611955$8B56E102-9C4A-4EB8-90EA-A61CA0D4E9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a7efcddd8b94a3654dc3596fc652f69e5204cc5","datavalue":{"value":{"entity-type":"item","numeric-id":5970677,"id":"Q5970677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055fff8222525b05fc6ad24e1be25b1fe61b2eea","datavalue":{"value":{"amount":"+0.6999701261520386","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":"Q6611955$37EF54F6-30B3-4C87-8223-78DB55BD6070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"602299dd09ef1987edb6e4f3064628a940d11c81","datavalue":{"value":{"entity-type":"item","numeric-id":2147686,"id":"Q2147686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"068a6870467b3747d0f973ef71a6b11c619dfeec","datavalue":{"value":{"amount":"+0.6973591446876526","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":"Q6611955$C32B7816-E48E-45CA-96DB-CBD4FD9ED091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2cdbf432ae8870a5a058a0345e83e30594a04e2","datavalue":{"value":{"entity-type":"item","numeric-id":5915731,"id":"Q5915731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aac6e55dbb17872c116178a2cc98913658f3f03","datavalue":{"value":{"amount":"+0.6966392397880554","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":"Q6611955$90AEBCBD-DEB4-42F9-A31A-E3C8F69A10B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6611955","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6611955"}}}}}