{"entities":{"Q6632197":{"pageid":14243349,"ns":120,"title":"Item:Q6632197","lastrevid":57480090,"modified":"2026-03-31T02:50:55Z","type":"item","id":"Q6632197","labels":{"en":{"language":"en","value":"Global guidance for local generalization in model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7938229"}},"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":"Q6632197$EAEE4F07-2EDB-4094-8656-FB59CDA99ED5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"47d21f8c4b0f5ae6fc833382f844f3d1819f819c","datavalue":{"value":{"text":"Global guidance for local generalization in model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6632197$C835CAEB-7D2A-4B86-9B29-A6B8A2A7D28C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f8c8b27245792f1afa01ca4bb02d6450248403f","datavalue":{"value":{"entity-type":"item","numeric-id":2226725,"id":"Q2226725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$261614CA-787B-47AD-AD26-8A261148AE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cc7f4df5c91a521ec11b4bab20d74ea5e76a731","datavalue":{"value":{"entity-type":"item","numeric-id":268778,"id":"Q268778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$53618B12-A325-4877-8DD7-DAB41FC77400","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cec177c60e5a5e06c4135c2d656205cdaac4e3ae","datavalue":{"value":{"entity-type":"item","numeric-id":259064,"id":"Q259064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$EB80334F-DEE2-4541-B901-4245701172FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"697eb087dc816293f4ade2b72dca7f3d4888f3b9","datavalue":{"value":{"entity-type":"item","numeric-id":246144,"id":"Q246144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$80C9B0F0-90E6-426D-90E4-8FE57FA7E3AD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$24141F3F-1E7B-4FC2-A354-90C750045336","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"afbddbbaa886e152d37fb2fb83e2897e565225ee","datavalue":{"value":{"time":"+2024-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6632197$E08BB189-966F-4C84-A25B-8F80066A35A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6632197$FEF98D59-DF9B-4B80-AFFF-06CA0C5A9F70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"391cdb64e9547886c49c2a22783e66dccec2ae53","datavalue":{"value":"7938229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6632197$FB2D63C9-54F6-4B57-9839-EA8670D01B6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6632197$742276B7-23DE-4BAC-BE07-4D8AE3B88E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e47d18da5a3cc46f307e12b53d17a8f72c7da71","datavalue":{"value":"constrained Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q6632197$795A587C-24F7-4018-86D8-4F27C19E4418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6632197$0F9F337B-10B8-4059-BC4E-3DDBF918DE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc78408fbc497fcbe8bb75f63e78c8cb8bd8ba73","datavalue":{"value":"automatic program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6632197$1A4247FF-8CBF-4A62-B09C-258329E3550B","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":"Q6632197$451BDD3F-B05C-457E-8AD5-AA4F918E3E63","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$966E416A-4F02-43AC-AFA9-1626A41AB4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$723675EC-28FD-487F-BCA9-16EFA476CF54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171f2f23484cc563361b9a949250d7cf0cf0889e","datavalue":{"value":{"entity-type":"item","numeric-id":2479551,"id":"Q2479551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$55598EE8-8B57-4C80-90D3-1D261FD61C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c36c36a33f99dd120f8ee638e971c8b19f681cb1","datavalue":{"value":{"entity-type":"item","numeric-id":2226726,"id":"Q2226726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$74E69595-4303-493B-B9DE-B11CD6819C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b361b18378330ee5493a4a7224369a123369e872","datavalue":{"value":{"entity-type":"item","numeric-id":3402293,"id":"Q3402293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$8B059CCD-63DA-4E40-A294-EC6DE5AAFAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231701673b72a1a014860677dc8b2f679972417d","datavalue":{"value":{"entity-type":"item","numeric-id":5108501,"id":"Q5108501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$2DF188CC-57DB-489F-918D-A8F5A32438B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be0f0c8f4f384813ae0886f52af47278ee3138e","datavalue":{"value":{"entity-type":"item","numeric-id":4673547,"id":"Q4673547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$6E56882F-DA48-448F-A3FD-E030621511EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaff131682deb6ad1bffecaae47bca13d452055a","datavalue":{"value":{"entity-type":"item","numeric-id":300418,"id":"Q300418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$D0F2D6D9-623E-470E-8CAD-7FFF24CB3A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb2ada01f2a5df2219780857a93a43f3585326f1","datavalue":{"value":{"entity-type":"item","numeric-id":6091330,"id":"Q6091330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$E8502F74-AD2B-4D1C-818B-3981CC15C1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdc8e219c2aff1198435cd2334b59193c9a24b5a","datavalue":{"value":{"entity-type":"item","numeric-id":3296348,"id":"Q3296348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$57F2B913-D0A2-4A00-AB97-39F38C0C41C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc85e7648787a5ed94053adc1ecf581a9fa4439a","datavalue":{"value":{"entity-type":"item","numeric-id":5919615,"id":"Q5919615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$80108AF4-E38E-4C0C-BCC4-D10BBF068BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf127aacc48403a7b3907e5c9de96f1a874f90aa","datavalue":{"value":{"entity-type":"item","numeric-id":3636877,"id":"Q3636877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$DF68D3D3-3596-4820-8F8D-F7ABFEEEA985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"348369ca3fccbe91226809a75cbf31afd7f3186d","datavalue":{"value":{"entity-type":"item","numeric-id":5900666,"id":"Q5900666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$0BA5C210-DEC4-49AA-A976-419D351875AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2d9d5673d377c95422809e446c2052b58cca8ec","datavalue":{"value":{"entity-type":"item","numeric-id":5756749,"id":"Q5756749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$DA89215D-39E3-4B0F-A94B-0757B7641A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$1FC200BC-D355-46D6-ACDF-F1AB501C2C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48c2c388a22640ac9d5b19d2053fe4b933139852","datavalue":{"value":{"entity-type":"item","numeric-id":5172647,"id":"Q5172647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$52C53D3C-98C7-4EA5-928C-E40A4135BDED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c857a2001633163c4e5399e86a8a77663efd0c54","datavalue":{"value":"10.1007/S10703-023-00412-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6632197$3B0B597F-05DB-4E27-976C-9B9F86DAC034","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b5c9b35d8e9d156fad0e174bf1ededba57ccca7","datavalue":{"value":{"entity-type":"item","numeric-id":13572,"id":"Q13572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$C7C1F69A-A71A-4BA0-A139-939B67621B9B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6632197$CC33B410-0721-4124-8771-0FF90C510358","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6632197","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6632197"}}}}}