{"entities":{"Q4923520":{"pageid":6953102,"ns":120,"title":"Item:Q4923520","lastrevid":92186807,"modified":"2026-06-05T01:05:23Z","type":"item","id":"Q4923520","labels":{"en":{"language":"en","value":"Refining and compressing abstract model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6165884"}},"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":"Q4923520$7D22BEA8-AA79-4745-858E-4BCEA7368127","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd39bf049c08b723ac3683842f9c99742d4ece1b","datavalue":{"value":{"text":"Refining and Compressing Abstract Model Checking1 1The work is partially supported by MURST project: Certificazione automatica di programmi mediante interpretazione astratta.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4923520$DA527AC1-DFD8-4D19-8541-6064F51EB801","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8eb2387a0acd790326ec1c2f5d8dc84d0f6d5cc0","datavalue":{"value":"1263.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923520$E1FAE5E5-210A-4C62-8112-CB303A407848","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3c75cd04da04cb8aa2f2513488f3cbde254f639","datavalue":{"value":"10.1016/S1571-0661(04)00151-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923520$8A524C76-8337-4D53-9B44-A90FF7AC74E4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00ee95eed4ca024e7da7af55e9d7b99b24c7e015","datavalue":{"value":{"entity-type":"item","numeric-id":206864,"id":"Q206864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923520$E6254A41-E899-4AD0-9ED7-EEAB5CEA3C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ffbc2222258f7a4fa78be49047dfe2a14b0df82","datavalue":{"value":{"entity-type":"item","numeric-id":511010,"id":"Q511010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923520$EB3AFB44-E7FD-4559-9760-AF1B6CED1B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"698911fa5ac0476471a6cccfa4e87b56c0cf5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":1607221,"id":"Q1607221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923520$E48431D6-A3EE-4549-9E6C-3F1964B8FB82","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923520$EC9FD654-C0FB-43FB-9EDD-8265589FF07B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9aab91b8c1f524235c5c2b07908fadf10314dd3b","datavalue":{"value":{"time":"+2013-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4923520$975E1CFB-7358-4732-A8F4-B1B43225A7D8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923520$4410ED21-6D65-4054-936C-6451D762DE52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b71302d492bebc3d087544961663342a61b72aa9","datavalue":{"value":"6165884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923520$545581D4-41BE-4223-A5AE-63D84BEF987F","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":"Q4923520$E8E98711-E04E-4B0E-AACE-0ECB397FF944","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923520$1C2E006A-BB78-455D-A589-A414B6B27EA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923520$E069BAA1-DA7F-46F7-95E0-70C0A9FAC1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49174fe89898f1b3ced6aaf4b838f363e2ceefde","datavalue":{"value":{"entity-type":"item","numeric-id":655410,"id":"Q655410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923520$06F9B00B-4880-4F36-86A7-01834C836142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350f5c3549df6ad966d6ccb596b2708361911a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5178838,"id":"Q5178838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923520$91F51AF6-CF03-47D7-92F7-61923087BB22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d4dd4faeed82b17a31b15b4f4a630199ca52442","datavalue":{"value":{"entity-type":"item","numeric-id":4692885,"id":"Q4692885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923520$3697EACB-26AE-481A-9111-BC4681122897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e520ac910e5e7e247de7017e5d4cfab23d4f6a4","datavalue":{"value":{"entity-type":"item","numeric-id":3998976,"id":"Q3998976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923520$BD482579-56DE-4428-9915-94746BE46BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95c5f143921a59174cd3ed61a5b1aeca1c11f68f","datavalue":{"value":{"entity-type":"item","numeric-id":4572005,"id":"Q4572005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923520$6DD86349-EDEC-4DE0-B50E-CFCE79983672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9af677e614b80799ce2fac10e1841dcbb8e90c","datavalue":{"value":{"entity-type":"item","numeric-id":1818325,"id":"Q1818325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923520$FD1ABDF3-9437-4525-8CFF-DF567E363872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a24b2524d8d6d47e95766596d33abecc3ac5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4494387,"id":"Q4494387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923520$FA8CE960-15A5-4A02-B100-EE85FC874181","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dce5cfd9f03d9a0ba61f291e4026b26bede70abc","datavalue":{"value":{"entity-type":"item","numeric-id":4823139,"id":"Q4823139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b5daace6a7d2ef59ac9d2aaea1eceb44430f9f","datavalue":{"value":{"amount":"+0.8414574265480042","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":"Q4923520$204F0CB9-2303-43DC-90F7-4F6E481EC015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de6e153b5969c090d61eb6bf4582a31803e6130","datavalue":{"value":{"entity-type":"item","numeric-id":4411974,"id":"Q4411974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f60e1be3fc009541779da9a79ff5c483b984595f","datavalue":{"value":{"amount":"+0.8371050357818604","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":"Q4923520$CCD0534E-9BF3-4004-BD22-C6827D6AADB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abdfcf297e1870fbdc9ebe5100f7830f5105aa58","datavalue":{"value":{"entity-type":"item","numeric-id":4884237,"id":"Q4884237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faeff0333234b3c611b3fb7b6c77af1cb7ae089b","datavalue":{"value":{"amount":"+0.8291476964950562","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":"Q4923520$49559CE9-DC27-49E0-B01B-CDEC1178BBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b3630aac79ff9218da345a9db86dee931ca6a02","datavalue":{"value":{"entity-type":"item","numeric-id":3591392,"id":"Q3591392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07fbbd6ee65f0f9a6278870ec0c2d80ee4e526b","datavalue":{"value":{"amount":"+0.822855532169342","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":"Q4923520$ADAF5ADE-FBA7-41F0-A627-3F46010C029C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"181b345fff4d2eb34a2f989927fd91232f0e0e17","datavalue":{"value":{"entity-type":"item","numeric-id":3437262,"id":"Q3437262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db624b7f667e75ca588f73d2307ec4f8849356d5","datavalue":{"value":{"amount":"+0.8200046420097351","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":"Q4923520$4E646AEE-6247-41A0-93FD-416A7972DFFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refining and compressing abstract model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refining_and_compressing_abstract_model_checking"}}}}}