{"entities":{"Q3003246":{"pageid":3013970,"ns":120,"title":"Item:Q3003246","lastrevid":45233962,"modified":"2025-12-03T14:34:52Z","type":"item","id":"Q3003246","labels":{"en":{"language":"en","value":"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5899987"}},"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":"Q3003246$47A73EB5-B4BE-4075-8ABF-DFE47D25F31C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afd2a7ce72c634483d0f87b8dc0603d7d4ef9c8c","datavalue":{"value":{"text":"Pushing Efficient Evaluation of HEX Programs by Modular Decomposition","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003246$9DB9E931-0E21-41C7-A317-A5527ECCF022","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"90d6a9dbfea6000c9c0a02093616e273839bc3d4","datavalue":{"value":"1327.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003246$AC4B5EE7-5C06-4BFD-97F2-C69DE05434D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fff0c9145961379430b9166348ecb43f0c588dd6","datavalue":{"value":"10.1007/978-3-642-20895-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003246$1BFDBF22-14B0-402B-AC0F-1396C7634064","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0e2771a73d1b8d307276d7afc6997154a7082ea","datavalue":{"value":{"entity-type":"item","numeric-id":171927,"id":"Q171927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003246$F753EEFE-C1A3-4B5E-9C63-FDED25FA2D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c426544bb8ac422f7f01b16c87ed6dcb0cd6104c","datavalue":{"value":{"entity-type":"item","numeric-id":253990,"id":"Q253990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003246$3FE0BD03-C14F-4D0E-8D58-2FF302B38AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fc3cea1023443facf31c491cea41a57c32f9817","datavalue":{"value":{"entity-type":"item","numeric-id":814505,"id":"Q814505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003246$D52641FA-4B02-4C69-B304-3035674FF187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d63d6cf008583cf83539d518f2ff6f46e31a686","datavalue":{"value":{"entity-type":"item","numeric-id":254000,"id":"Q254000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003246$7AD41777-6192-4225-8BA4-EEABCF4B93F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5841eac5cc3c2145e87f90594190380e6166e816","datavalue":{"value":{"entity-type":"item","numeric-id":460630,"id":"Q460630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003246$DEE576F8-70C8-4C0F-B0C0-7E5138945D86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"51a68d4cc2fc48fe2102403b77e8fce99df4def2","datavalue":{"value":{"entity-type":"item","numeric-id":2851222,"id":"Q2851222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003246$223A14A2-B9E6-4672-B614-EBB230CBBE0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d0d41ce3332fcf97fd23ad798d4a05a02b8284bd","datavalue":{"value":{"time":"+2011-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003246$13922262-5300-4E07-9AA4-121B81A9212F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003246$91B1E38E-4499-495E-BCAC-2142AC5C515B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"455f42a4f1a2f4aff3adafcb8407287f4eed9f21","datavalue":{"value":"5899987","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003246$E04EBBE1-4AEE-43FD-A05F-65B8E5D554FE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4427084468290c7c5ed341e88f1aade154c1cbd0","datavalue":{"value":"Q57549102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003246$325C7D78-5B33-44C3-B7C0-5CA9C7DE04D8","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b1da121714b17d37c0202a580fc288d94b43d180","datavalue":{"value":{"entity-type":"item","numeric-id":25788,"id":"Q25788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003246$04B1675C-8F22-4169-A5AD-B876BF76D4D4","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":"Q3003246$CB05176E-6D07-4198-A7D4-AA8F9BFC290D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cc85bb28e40e94eecdefba275fc2a30c80eaa25","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20895-9_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003246$89757510-8B99-4C39-B017-F3822D91BD16","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d16014bb096eff4e263f0c8f8af2cd0b6a5c9051","datavalue":{"value":"W1725632631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003246$904DF1DB-9C67-472F-94BE-1D009EF657DD","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"718a0fcec05bfe17f2b56a07f6469642aed8bf2e","datavalue":{"value":"conf/lpnmr/EiterFIKS11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003246$1E22B551-2622-488B-A33A-737F95A3E8CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6b36426d71925471652acccf46dc9980c15547","datavalue":{"value":{"entity-type":"item","numeric-id":5404394,"id":"Q5404394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aaef744a9a020568c52bcbc4e6a6016036e5b72","datavalue":{"value":{"amount":"+0.86616457","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003246$670A0F65-D4DB-495C-812F-F7544CE76BB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f186d006df1747b800f6f9f627359e91f3621d","datavalue":{"value":{"entity-type":"item","numeric-id":2296747,"id":"Q2296747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd1b629d0973726163350214d000e05084852f25","datavalue":{"value":{"amount":"+0.8619003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003246$D997CB9D-77AF-467E-A783-5B75CFFD24DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58c72c2fd66a56098b46d66afe06707953e10304","datavalue":{"value":{"entity-type":"item","numeric-id":2915067,"id":"Q2915067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a1570635916f9b5c67afe2a1b808ca4a342b2ed","datavalue":{"value":{"amount":"+0.84245735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003246$E133BB1B-713D-4077-82BF-34F05BF8F204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926fe7dfb76f995dd131e99826f8cb89eb3eff17","datavalue":{"value":{"entity-type":"item","numeric-id":5408194,"id":"Q5408194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92c5abf0fea4737baa9ed92b06b02effa91bf95","datavalue":{"value":{"amount":"+0.8232234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003246$B49D5E63-B552-44B2-9FBA-057E5D330F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52afc0ced41039a3de986185c7bbd482dc3273e3","datavalue":{"value":{"entity-type":"item","numeric-id":3296335,"id":"Q3296335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea85cd628612abc17fcc1f21fe1738febd7790c0","datavalue":{"value":{"amount":"+0.82188815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003246$8FE10DF9-C64F-4648-8080-65EE87BACBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464c11ac3b1d801089c951fd46d87ef06347b2b4","datavalue":{"value":{"entity-type":"item","numeric-id":5505563,"id":"Q5505563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cca0e58c7f853b46c1ec4db91554326ec3f9b77d","datavalue":{"value":{"amount":"+0.819329","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3003246$1AB2D2B8-6B02-42D7-9ADC-0C8CAC1E2CEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003246","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003246"}}}}}