{"entities":{"Q6493534":{"pageid":14072307,"ns":120,"title":"Item:Q6493534","lastrevid":95499851,"modified":"2026-06-05T09:09:52Z","type":"item","id":"Q6493534","labels":{"en":{"language":"en","value":"Avoiding state explosion by composition of minimal covering graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7839231"}},"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":"Q6493534$EDC8049C-74A9-4D2E-A488-40EE1A1AA4BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24ec2bfce9fcd9435d599237cebe7d582b770c64","datavalue":{"value":{"text":"Avoiding state explosion by composition of minimal covering graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6493534$20294080-8F0A-4017-A6C9-0366D0996DCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67a641a7dd3d76ee8cc3ef68ae29f092662c1415","datavalue":{"value":"10.1007/3-540-55179-4_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493534$B1088AD5-81BA-4829-A1A7-852BEC280413","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493534$63059000-F363-4DCA-B957-3C2FBF5FBDC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4872af84a584556ac338a1ed7d0fa0ccf3730535","datavalue":{"value":{"entity-type":"item","numeric-id":225085,"id":"Q225085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493534$5F2346F7-4B54-474E-B0AF-9F2EFA0128CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bfa9a0f33f50a2c6d2c799c7a2fa7a1f56f2d9e2","datavalue":{"value":{"time":"+2024-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6493534$D37E8D7C-858F-4449-AC7E-3F108A34CA1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493534$FC15FF6D-7E6B-4C58-BF1A-C56B1450CF1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65ccca00845bdafe4ee020840e106e8e216d34d5","datavalue":{"value":"7839231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6493534$A9BC1C14-0972-4ED8-ADB5-0984D7A60832","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":"Q6493534$8E5C157A-73F7-4C5C-8C49-8F7CC2A6D32D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6493534$9B51ABF8-3033-4D6B-8CC1-FEAD3E46C5A5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Avoiding state explosion by composition of minimal covering graphs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Avoiding_state_explosion_by_composition_of_minimal_covering_graphs"}}}}}