{"entities":{"Q6535540":{"pageid":14146683,"ns":120,"title":"Item:Q6535540","lastrevid":57343761,"modified":"2026-03-30T14:04:51Z","type":"item","id":"Q6535540","labels":{"en":{"language":"en","value":"Searching for i-good lemmas to accelerate safety model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7787558"}},"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":"Q6535540$6DC1EC26-4133-4C11-A327-6607A616A2E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccb404f15b5368439b6200c16e6b75035a168aaf","datavalue":{"value":{"text":"Searching for i-good lemmas to accelerate safety model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535540$874D7836-0200-4D63-B31D-DF7B13126BE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2c49deb152244b12b1b22f4cb6d5d5860ade9ed","datavalue":{"value":"1545.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535540$CE9EB442-9EE9-49E0-A598-88AD35B86E69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5316ce2d44c9718fb89c4204a70d69c8626f6b5d","datavalue":{"value":"10.1007/978-3-031-37703-7_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535540$CB6512E5-3359-4EC5-90C7-9316CF513954","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c097ae66a8cb84c055743e10f5089b5fc55c05ea","datavalue":{"value":{"entity-type":"item","numeric-id":6535539,"id":"Q6535539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535540$3978764F-9F1F-41C6-AE7D-E1069D33B272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f35c86ae55a04d3e9b7a2ea1b7260a4c1958f841","datavalue":{"value":{"entity-type":"item","numeric-id":2038041,"id":"Q2038041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535540$A051DAA7-97CD-42BA-820E-BEC78BB10F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535540$C56B5A24-21AC-4072-A5E8-0B677D718794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535540$9DBDDF26-8F03-4781-A568-6064D549FE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82832e6ead7fd0129a06a766786f66a3d6aee0bc","datavalue":{"value":{"entity-type":"item","numeric-id":1707338,"id":"Q1707338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535540$2BFF44BC-8FAA-4A7A-8C5C-037B915AFC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f8b1a64d507a032cda525aa6a0e7593e342c9a4","datavalue":{"value":{"entity-type":"item","numeric-id":1707340,"id":"Q1707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535540$B5398387-7BD8-49BD-B8CE-E9475242208A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"40fd68081729c6be8998aaadacd681a24ffbfcb3","datavalue":{"value":{"time":"+2024-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535540$168C3206-9531-4D8E-AAF3-D9AEE733EA77","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535540$456B255F-AF05-45F9-A3FC-977F7FF5613B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd052dce05f3a7102102a5cddf074eaea3e697de","datavalue":{"value":"7787558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535540$B0478323-649F-4E64-8EF9-8EC67C852582","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":"Q6535540$1ECA55E6-50C4-424A-B01D-CC2D6F49FB50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61dda01843e95818179a3ead525eeae3fb8f96f6","datavalue":{"value":{"entity-type":"item","numeric-id":5935897,"id":"Q5935897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535540$44A8FE6A-C352-421E-9AA4-7C2DDCCF41D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b448328659c53b39c3b23ae508f95e38910428b9","datavalue":{"value":{"entity-type":"item","numeric-id":3453243,"id":"Q3453243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535540$6327B02C-815E-47B7-A47C-B4BB53A211F4","rank":"normal"},{"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":"Q6535540$F379696D-57F6-41A3-A928-5F62D3A3B1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef993e1a6f9e1affb5ec0a35f6683de283af104b","datavalue":{"value":{"entity-type":"item","numeric-id":2441772,"id":"Q2441772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535540$5BB5CE8C-7CA5-4184-95E7-E713E1626DE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535540$FF4DC33F-2C8D-46D1-A476-DD5FCD08BD1C","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":"Q6535540$69EBDF02-6B31-4AAA-9609-3BDC2FC02E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce5a4d6dd5f0e7356ed8d1127addf4b8632b1c04","datavalue":{"value":{"entity-type":"item","numeric-id":6194955,"id":"Q6194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535540$3B911AE2-2C05-4AAD-83B1-BC63E255E2B4","rank":"normal"}],"P1643":[{"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":"47ca641b8e0c140469d3d5694360d38f4d5e8462","datavalue":{"value":{"amount":"+0.7606034874916077","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":"Q6535540$C2D289D4-28DE-4246-AA41-C72A42F9BE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6ff91e010703ee4fbad84024e8d0fa028fb1cd","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29356d0680ae81cd94e5f43480517d04cbef933b","datavalue":{"value":{"amount":"+0.7082644701004028","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":"Q6535540$D3CB3AD4-6840-48C2-83B0-056EE48C71A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a601b7873b1373e7aa846c82044f5ed1d504783","datavalue":{"value":{"entity-type":"item","numeric-id":2796039,"id":"Q2796039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"772969a444812830b242b180253fe3c4fbba225d","datavalue":{"value":{"amount":"+0.7073082327842712","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":"Q6535540$D09BEE5A-448C-4BC8-8D56-5EE470E3E600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88ee59f685486073e6b4f04ebb3d5fa59e5a1220","datavalue":{"value":{"entity-type":"item","numeric-id":2234081,"id":"Q2234081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0106d751157f11fe4408526a114c1f22820a7bc1","datavalue":{"value":{"amount":"+0.691053032875061","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":"Q6535540$B9A69C32-5027-436F-862A-7064BDC59CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f42da8edbca079b6a499d2bad177c9e5e69247","datavalue":{"value":{"entity-type":"item","numeric-id":6102162,"id":"Q6102162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08c1b033bb4a94eee5281c9c0adc9803b17b6700","datavalue":{"value":{"amount":"+0.690953254699707","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":"Q6535540$ED88EB67-33B6-47ED-87BA-30641BA20EA8","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":"Q6535540$FE4799E5-1464-41D3-8937-8BA741DC91B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535540"}}}}}