{"entities":{"Q6638063":{"pageid":14249215,"ns":120,"title":"Item:Q6638063","lastrevid":42396543,"modified":"2025-06-14T19:26:07Z","type":"item","id":"Q6638063","labels":{"en":{"language":"en","value":"Compound logics for modification problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7944099"}},"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":"Q6638063$BDC29F9E-7D78-4135-88DD-604F29BA6B2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b441187ccf52df8500d440eb17447afd12bf6916","datavalue":{"value":{"text":"Compound logics for modification problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6638063$B8226404-D5EC-4FC3-8D38-B3417B0DFFE9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a8874875f41e100f7dd0c90f8e9a202da131938","datavalue":{"value":{"entity-type":"item","numeric-id":259035,"id":"Q259035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638063$1FB3A1F7-B3D0-4BF3-8C87-EEC45ABCF917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a4df628262abf79464ed4f15ac79f197844f8c4","datavalue":{"value":{"entity-type":"item","numeric-id":259036,"id":"Q259036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638063$B6086ADC-909D-4E50-87D4-32BA64725C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b3bd1f8068d70bb73a77a25077b9bca15a05fe8","datavalue":{"value":{"entity-type":"item","numeric-id":284715,"id":"Q284715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638063$948BCBDE-0C62-4837-A727-C6AD92FFAF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc6dedfe21f5b414287c502dbc2427a2eaaebbd","datavalue":{"value":{"entity-type":"item","numeric-id":777433,"id":"Q777433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638063$B5E1189E-3527-4146-A9F3-DDCB92AD8590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1348fb004fb071dffe1335a9785ae0b754bd6be2","datavalue":{"value":{"entity-type":"item","numeric-id":284716,"id":"Q284716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6638063$E514B850-5BDE-4269-AD54-D3ACFEE277F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb9cdf9730b26db5897216e4448861f44aafb525","datavalue":{"value":{"time":"+2024-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6638063$4509F53D-D8E1-4D98-BF89-36A85548C256","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638063$8F53B6E7-7BD0-4EB6-B0BF-5A48A832A2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638063$0E8482F8-3097-48F1-8B38-F7922C82EF3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c528e37571317cb27b918a7f1372500e0909ca34","datavalue":{"value":"7944099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638063$F27F8BFF-7241-4C06-A081-2D390672DCF9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d04a45d8c175ef3a9272448d5a5ec15d2d1d2d2e","datavalue":{"value":"algorithmic meta-theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638063$90952AA3-D993-4F27-8892-9944EACEEB19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19b51503b736262f971931b2ca6d22cb5216e76b","datavalue":{"value":"graph modification problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638063$906AF913-F92C-442B-BB2C-1B3558EA49DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638063$95847027-6939-4DFD-9BB4-8AC5AFEE00A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15b4a7e94f67b1256fa87c9c444c77ea9a3d63a5","datavalue":{"value":"graph minors","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638063$2436C891-656E-4398-AB3D-BB79305ABC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638063$D9069A3F-3774-4BA3-A36D-5916A64EE7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638063$29186526-9AD3-40A0-89F3-118F6038E3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c90cfc32d72e7873269ab33d5535475431fa1d21","datavalue":{"value":"flat wall theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638063$339F0585-D8A5-4BF0-82EF-681452D3D422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95277702c5617d4d21be4c353f6d2f976e5ef759","datavalue":{"value":"irrelevant vertex technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q6638063$1DCE6153-8562-4A0A-86C6-B456DD98E645","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":"Q6638063$91EEFA12-E882-4ED3-AEE8-521A97E699C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6b4441dc392ed37f773f3a78821d67c6e46d929","datavalue":{"value":"10.4230/LIPICS.ICALP.2023.61","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6638063$0D225612-8A5B-47CA-93C8-98D21C519FD3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6638063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6638063"}}}}}