{"entities":{"Q2226726":{"pageid":2237469,"ns":120,"title":"Item:Q2226726","lastrevid":78348572,"modified":"2026-05-06T11:22:48Z","type":"item","id":"Q2226726","labels":{"en":{"language":"en","value":"Global guidance for local generalization in model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7307961"}},"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":"Q2226726$FD10EC30-1EC2-499A-AA10-61579EB443E3","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":"Q2226726$1A227AD9-1235-49A3-9B89-8A42C01BF361","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8843297c789f229d056df85286329d8ad15ed43","datavalue":{"value":"1478.68167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226726$4F98FEB9-CAC6-4F44-8CA2-C0E55FA1C9D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c50dc75309c36c116c3bc906909a3d305f8057e3","datavalue":{"value":"10.1007/978-3-030-53291-8_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226726$02D9D3BE-41BE-4C1A-86C9-44B173F0C971","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":"Q2226726$A57C410F-DBF0-456B-A02E-D3A4DFC9AA0D","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":"Q2226726$7601A881-1EF0-4B3C-B99A-9BCA6B3840AB","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":"Q2226726$0E243045-8481-4113-94CE-15ACAFE271BF","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":"Q2226726$9924537E-25DF-450E-9412-D3E58DDF105D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"44995ee145c1f02a174e4b3916219598c7e9c4ff","datavalue":{"value":{"time":"+2021-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2226726$00A1189E-1F8B-4939-BBFD-3B57DE65D9E1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9fbb547435d8de86bf0ffc0cb446a838c47ecbab","datavalue":{"value":"https://arxiv.org/abs/2005.13301","type":"string"},"datatype":"url"},"type":"statement","id":"Q2226726$D4DE6EE2-F48F-47C4-AC6E-A28748AA3BAA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226726$2313711B-E18E-4EAE-81E7-265358E3ECDD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5dbed52109927e9aa54f45b194f07e3719b5203","datavalue":{"value":"7307961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226726$1CAC8384-9BDA-4437-93DC-0D0794197CB0","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":"Q2226726$189B2BFC-B4CC-414A-8FC8-A9F271C78ABC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2aa94f6eddc1f5809a2ff7bead5fa7c5170072a1","datavalue":{"value":"W3046688479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2226726$3FA52BE3-EDC7-489D-8734-CDA8401360BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76786349afbdce93bcd872ae78047a9edc6dd163","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1c9bc33ab4dd2062008e0097ecad24cf1aee5a1","datavalue":{"value":{"amount":"+0.7282702326774597","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":"Q2226726$786B6A1D-8C56-4C0F-9DF8-50B62F509E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8dc85fdf23c7e28c3f82b541163d76b420111cf","datavalue":{"value":{"entity-type":"item","numeric-id":5883575,"id":"Q5883575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36df208d1ebd2617dd650defcfad6ecb84bbf0d","datavalue":{"value":{"amount":"+0.7068673968315125","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":"Q2226726$276CF0FE-5AD1-4078-A277-40BDD87DF9B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49990f37c04b48abcd6917e02a08ac498ef18891","datavalue":{"value":{"entity-type":"item","numeric-id":3296348,"id":"Q3296348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efdefebbb64342f409f5d98b5c5180c4e415d4e1","datavalue":{"value":{"amount":"+0.7040754556655884","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":"Q2226726$F62FBFE6-643F-4C65-B64C-A70B90F2D2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f135000cfb5801f33f862789e630b25bcf69549","datavalue":{"value":{"entity-type":"item","numeric-id":6160910,"id":"Q6160910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef9831d30dfe2d93136c0013859fcd04b455bcf","datavalue":{"value":{"amount":"+0.697889506816864","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":"Q2226726$E60605A1-B468-4922-BC5E-74983F1F6AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c691aecc9bca87709b78492381ae5b4e3f0d7f8d","datavalue":{"value":{"entity-type":"item","numeric-id":2843317,"id":"Q2843317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b8448fc0f73f6a048ae362abc113c0ba86ed01","datavalue":{"value":{"amount":"+0.6970994472503662","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":"Q2226726$F25E7265-37D9-46DC-8A4F-A143B845A302","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":"Q2226726$00E34C4C-5B00-40A3-96E0-6226076EDCF8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Global guidance for local generalization in model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Global_guidance_for_local_generalization_in_model_checking"}}}}}